Chiquihuitlán Mazatec verb inflection

Two of the three cross-cutting inflection-class systems of Chiquihuitlán Mazatec verbs over the cells 1sg, 2sg, 3, 1incl, 1pl, 2pl, after Jamieson's description as Ackerman and Malouf tabulate it: the ten final-vowel classes and the six neutral-aspect tone patterns.

References

• [AM13a]

inductive Mazatec.Verbs.Row : Type

The cells of the paper's Tables 6 and 7: 1sg, 2sg, 3, 1incl, 1pl and 2pl.

• sg1 : Row
• sg2 : Row
• third : Row
• incl : Row
• pl1 : Row
• pl2 : Row

@[instance_reducible]

instance Mazatec.Verbs.instDecidableEqRow : DecidableEq Row

Equations

• Mazatec.Verbs.instDecidableEqRow x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Mazatec.Verbs.instFintypeRow : Fintype Row

Equations

• Mazatec.Verbs.instFintypeRow = { elems := { val := ↑Mazatec.Verbs.Row.enumList, nodup := Mazatec.Verbs.Row.enumList_nodup }, complete := Mazatec.Verbs.instFintypeRow._proof_1 }

@[instance_reducible]

instance Mazatec.Verbs.instReprRow : Repr Row

Equations

• Mazatec.Verbs.instReprRow = { reprPrec := Mazatec.Verbs.instReprRow.repr }

def Mazatec.Verbs.instReprRow.repr : Row → ℕ → Std.Format

Equations

• Mazatec.Verbs.instReprRow.repr Mazatec.Verbs.Row.sg1 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mazatec.Verbs.Row.sg1")).group prec✝
• Mazatec.Verbs.instReprRow.repr Mazatec.Verbs.Row.sg2 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mazatec.Verbs.Row.sg2")).group prec✝
• Mazatec.Verbs.instReprRow.repr Mazatec.Verbs.Row.third prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mazatec.Verbs.Row.third")).group prec✝
• Mazatec.Verbs.instReprRow.repr Mazatec.Verbs.Row.incl prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mazatec.Verbs.Row.incl")).group prec✝
• Mazatec.Verbs.instReprRow.repr Mazatec.Verbs.Row.pl1 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mazatec.Verbs.Row.pl1")).group prec✝
• Mazatec.Verbs.instReprRow.repr Mazatec.Verbs.Row.pl2 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mazatec.Verbs.Row.pl2")).group prec✝

def Mazatec.Verbs.Row.person : Row → Person

The person of a row. The first plural is exclusive, the inclusive being a row of its own.

Equations

• Mazatec.Verbs.Row.sg1.person = Person.first
• Mazatec.Verbs.Row.sg2.person = Person.second
• Mazatec.Verbs.Row.pl2.person = Person.second
• Mazatec.Verbs.Row.third.person = Person.third
• Mazatec.Verbs.Row.incl.person = Person.firstInclusive
• Mazatec.Verbs.Row.pl1.person = Person.firstExclusive

def Mazatec.Verbs.Row.number : Row → Option Number

The number of a row, none where the paper's label gives none.

Equations

• Mazatec.Verbs.Row.sg1.number = some Number.singular
• Mazatec.Verbs.Row.sg2.number = some Number.singular
• Mazatec.Verbs.Row.pl1.number = some Number.plural
• Mazatec.Verbs.Row.pl2.number = some Number.plural
• Mazatec.Verbs.Row.third.number = none
• Mazatec.Verbs.Row.incl.number = none

def Mazatec.Verbs.finalVowels : Morphology.ParadigmSystem (Fin 10) Row String

The ten final-vowel classes, the paper's Table 6.

Equations

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

def Mazatec.Verbs.tones : Morphology.ParadigmSystem (Fin 6) Row String

The six neutral-aspect tone patterns, the paper's Table 7.

Equations

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