Mandarin possession profile

[Sta09b] [Nic86] [Hei97]

Per-language possession values for Mandarin (Sino-Tibetan, ISO cmn): forms wo you yi-ben shu, wo de shu, wo mama; have-verb you, and de marks adnominal possession but drops with inalienable/close relations. Substrate types (PredicativeStrategy, AdnominalMarking, …) live in Linglib/Features/Possession.lean. Cross-linguistic theorems consuming these values live in Studies/NicholsBickel2013.lean.

def Mandarin.Possession.obligatoryPossession : Possession.Obligatoriness

Equations

• Mandarin.Possession.obligatoryPossession = Possession.Obligatoriness.noObligatory

def Mandarin.Possession.possessiveClassification : Possession.Classification

Equations

• Mandarin.Possession.possessiveClassification = Possession.Classification.noClassification

def Mandarin.Possession.predicativeStrategy : Possession.PredicativeStrategy

Equations

• Mandarin.Possession.predicativeStrategy = Possession.PredicativeStrategy.haveVerb

def Mandarin.Possession.adnominalStrategy : Possession.AdnominalMarking

Equations

• Mandarin.Possession.adnominalStrategy = Possession.AdnominalMarking.dependentMarking

def Mandarin.Possession.affixPosition : Option Possession.AffixPosition

Equations

• Mandarin.Possession.affixPosition = some Possession.AffixPosition.noAffix