Stem-to-Lexicon Bridge

Connects morphological stems (Core.Morphology.Stem) to semantic lexical entries (Semantics.Montague.SemLexEntry). A SemStem pairs a morphological paradigm with a Montague-style type and base denotation; SemStem.allEntries auto-generates one SemLexEntry per paradigm cell.

This replaces the pattern of manually duplicating SemLexEntry values for each inflected form (e.g., student_entry and students_entry sharing student_sem).

structure Core.Morphology.SemStem (m : Semantics.Montague.Model) : Type

A semantic stem: pairs morphological structure with Montague-style type and denotation. This is what researchers define in fragments.

The semantic type ty determines the meaning type via m.interpTy ty; morph.paradigm lists the morphological rules whose semEffect operates on values of that type.

• ty : Semantics.Montague.Ty

  Semantic type

• morph : Stem (m.interpTy self.ty)

  Morphological structure

• baseDenot : m.interpTy self.ty

  Base denotation

• scaleMembership : Option Semantics.Montague.ScaleMembership

  Scale membership (inherited by all inflected forms)

def Core.Morphology.SemStem.inflect {m : Semantics.Montague.Model} (s : SemStem m) (rule : MorphRule (m.interpTy s.ty)) : Semantics.Montague.SemLexEntry m

Generate a SemLexEntry from a SemStem by applying a MorphRule.

This is the key function: it takes a stem and a morphological rule and produces a fully specified lexical entry with the correct surface form, features, type, AND denotation.

Equations

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

def Core.Morphology.SemStem.base {m : Semantics.Montague.Model} (s : SemStem m) : Semantics.Montague.SemLexEntry m

Generate the base (uninflected) SemLexEntry.

Equations

• s.base = { word := { form := s.morph.lemma_, cat := s.morph.cat, features := s.morph.baseFeatures }, ty := s.ty, denot := s.baseDenot, scaleMembership := s.scaleMembership }

def Core.Morphology.SemStem.allEntries {m : Semantics.Montague.Model} (s : SemStem m) : List (Semantics.Montague.SemLexEntry m)

Generate all SemLexEntry values in the paradigm.

Equations

• s.allEntries = s.base :: List.map s.inflect s.morph.paradigm

def Core.Morphology.buildLexicon (m : Semantics.Montague.Model) (stems : List (SemStem m)) : Semantics.Montague.SemLexicon m

Build a SemLexicon from a list of SemStems (auto-expanding paradigms).

Equations

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