Vocabulary insertion over Minimalist bundles

The bridge from Agree, which values features in narrow syntax, to PF: a valued FeatureBundle is spelled out by the Subset Principle over Vocabulary Items on GramFeatures, and a vocabulary is built from a paradigm's cells.

Main definitions

• Minimalist.spellout — the Subset Principle over a bundle's features.
• Agreement.Cell.toPhiFeatures, Minimalist.vocabularyOfCells — a vocabulary from paradigm cells.

def Agreement.Cell.toPhiFeatures (c : Cell) : List Minimalist.PhiFeature

The φ-feature list of a person-number cell, in the shape Minimalist.vocabularyOfCells consumes.

Equations

• c.toPhiFeatures = [Minimalist.PhiFeature.person c.toPerson, Minimalist.PhiFeature.number (if c.isPlural = true then Number.plural else Number.singular)]

def Minimalist.spellout (vocab : List (DistributedMorphology.VocabularyItem GramFeature String)) (target : FeatureBundle) : Option String

Spell out a valued bundle: the Subset Principle over its features; none is the zero exponent.

Equations

• Minimalist.spellout vocab target = DistributedMorphology.subsetPrinciple vocab (DistributedMorphology.Neighborhood.ofBundle target.toGramFeatures)

def Minimalist.vocabularyOfCells {PN : Type u_1} (cells : List PN) (toPhi : PN → List PhiFeature) (exponentOf : PN → String) : List (DistributedMorphology.VocabularyItem GramFeature String)

One item per paradigm cell: the cell's φ-features as valued features and its exponent. Elsewhere items are appended by the caller.

Equations

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