Re: [Toss-devel] Speagram and typed terms in Toss

[Lukasz S. <luk...@gm...>]

On Wed, Jun 6, 2012 at 5:24 PM, Lukasz Stafiniak <luk...@gm...> wrote:
> *Subtyping*
>
> We should follow closely the HPSG
> formalism (e.g. ALE) on one (Speagram-ish) side, and the "Word
> Grammar" theory on the other (more Toss-ish) side.

The consequence is that the "of type" relation is the same as the
"subtype" relation, i.e. "te : ty" is the same as "te <: ty", where
"subty <: superty" (my first mail in this thread might have suggested
otherwise).