Word tokens

import Linglib.Morphology.Word.Basic · namespace Morphology

A word token is a surface form with its part of speech and its morphosyntactic features. It is the morphosyntactic word, which Kalin and colleagues distinguish from the prosodic word of Phonology/Prosody/Word.lean.

Main definitions

Morphology.Word: a word token.
Morphology.Word.mk': the token with a form and a part of speech and no features.

References

Kalin et al. 2026, The Morphology/Syntax Interface formalized

Declarations

A word token is a surface form with its category, in the Universal Dependencies inventory, and its features.

structure Word L32–41

Type

form : String
The surface form.
cat : UD.UPOS
The category.
features : Features
The features.

Derives Repr, DecidableEq.

Instances Morphology.Word.instHasPhi

Used by Word.mk', instToStringWord

Used in Fragments/English/Auxiliaries, Fragments/English/Nouns, Fragments/English/Verbs/Basic, Fragments/Korean/Complementizers, Fragments/Turkish/Anaphors and 35 more

The featureless word with the given form and category.

def Word.mk'L43–44

(form : String) (cat : UD.UPOS) :

Word

Word.mk' form cat = { form := form, cat := cat }

Built from

Used in Fragments/English/Auxiliaries, Chomsky1981, FutrellEtAl2020, Gisborne2026, Kuhlmann2013 and 1 more

L46–47