Verb stem entries

Verb.Stem is the light form-level verb lexical entry: citation form, lexically encoded viewpoint aspect, and gloss. It is the stem entry for languages that lexicalize the perfective / imperfective contrast on verb stems (Slavic canonically; cf. [Sve04]), the base that derivational morphology such as prefixation attaches to. The aspect field records the dictionary-consensus value; analytical reclassifications (e.g. [Ist04]'s aspectless homogeneous class) are study-level, never entry data.

Contrast Verb.Root (the lexical-semantic root) and the full semantic Verb entry of Syntax/Category/Verb/Defs.lean; Verb.Stem carries no semantics beyond its gloss.

structure Verb.Stem : Type

A verb-stem lexical entry: citation form, lexically encoded perfectivity (the dictionary-consensus value), and gloss.

• form : String

  Citation form.

• perfectivity : Semantics.Aspect.Perfectivity

  Perfectivity (dictionary-consensus value).

• gloss : String

  English gloss.

def Verb.instDecidableEqStem.decEq (x✝ x✝¹ : Stem) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Verb.instDecidableEqStem : DecidableEq Stem

Equations

• Verb.instDecidableEqStem = Verb.instDecidableEqStem.decEq

@[instance_reducible]

instance Verb.instReprStem : Repr Stem

Equations

• Verb.instReprStem = { reprPrec := Verb.instReprStem.repr }

def Verb.instReprStem.repr : Stem → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.