Tsotsil possession profile

[Sta09b] [Nic86] [Hei97] [AP25]

Per-language possession data for Tsotsil (Mayan; ISO tzo), per the project's "per-language data flows through Fragments" rule, as bare field-by-field defs. Substrate types (PredicativeStrategy, AdnominalMarking, …) live in Linglib/Features/Possession.lean. Cross-linguistic theorems consuming these values live in Studies/NicholsBickel2013.lean.

Examples: oy s-k'ox barko 'EXIS A3-little.boat', s-me' Xun 'A3-mother Juan' = "Juan's mother", y-ak'-il li mok=e 'A3-vine-NCLS DET fence=ENC'. Existential oy + possessive pivot for predicative; Set A prefixes on possessum for adnominal (head-marking); three noun classes: must/may/cannot be possessed [AP25].

def Tsotsil.Possession.obligatoryPossession : Possession.Obligatoriness

Equations

• Tsotsil.Possession.obligatoryPossession = Possession.Obligatoriness.exists_

def Tsotsil.Possession.possessiveClassification : Possession.Classification

Equations

• Tsotsil.Possession.possessiveClassification = Possession.Classification.threeOrMore

def Tsotsil.Possession.predicativeStrategy : Possession.PredicativeStrategy

Equations

• Tsotsil.Possession.predicativeStrategy = Possession.PredicativeStrategy.locational

def Tsotsil.Possession.adnominalStrategy : Possession.AdnominalMarking

Equations

• Tsotsil.Possession.adnominalStrategy = Possession.AdnominalMarking.headMarking

def Tsotsil.Possession.affixPosition : Option Possession.AffixPosition

Equations

• Tsotsil.Possession.affixPosition = some Possession.AffixPosition.prefixes