Irish possession profile

[Sta09b] [Nic86] [Hei97]

Per-language possession values for Irish (Indo-European, ISO gle): forms ta leabhar agam, teach an fhir; Celtic at-possession (ta X ag-PRON) with genitive case on the possessor in adnominal possession. Substrate types (PredicativeStrategy, AdnominalMarking, …) live in Linglib/Features/Possession.lean. Cross-linguistic theorems consuming these values live in Studies/NicholsBickel2013.lean.

def Irish.Possession.obligatoryPossession : Possession.Obligatoriness

Equations

• Irish.Possession.obligatoryPossession = Possession.Obligatoriness.noObligatory

def Irish.Possession.possessiveClassification : Possession.Classification

Equations

• Irish.Possession.possessiveClassification = Possession.Classification.noClassification

def Irish.Possession.predicativeStrategy : Possession.PredicativeStrategy

Equations

• Irish.Possession.predicativeStrategy = Possession.PredicativeStrategy.locational

def Irish.Possession.adnominalStrategy : Possession.AdnominalMarking

Equations

• Irish.Possession.adnominalStrategy = Possession.AdnominalMarking.dependentMarking

def Irish.Possession.affixPosition : Option Possession.AffixPosition

Equations

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