Burmeso object agreement

The two classes of Burmeso object agreement prefixes over six noun classes in two numbers, after Donohue's description as tabulated in [ackerman-malouf-2013].

References

• [ackerman-malouf-2013]

inductive Burmeso.ObjectAgreement.AgreementPrefix : Type

The agreement prefixes.

• j : AgreementPrefix
• s : AgreementPrefix
• g : AgreementPrefix
• b : AgreementPrefix
• t : AgreementPrefix
• n : AgreementPrefix

@[instance_reducible]

instance Burmeso.ObjectAgreement.instDecidableEqAgreementPrefix : DecidableEq AgreementPrefix

Equations

• Burmeso.ObjectAgreement.instDecidableEqAgreementPrefix x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Burmeso.ObjectAgreement.instReprAgreementPrefix.repr : AgreementPrefix → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Burmeso.ObjectAgreement.instReprAgreementPrefix : Repr AgreementPrefix

Equations

• Burmeso.ObjectAgreement.instReprAgreementPrefix = { reprPrec := Burmeso.ObjectAgreement.instReprAgreementPrefix.repr }

def Burmeso.ObjectAgreement.objectAgreement : Morphology.ParadigmSystem 12 AgreementPrefix

The two classes over the cells I.sg, I.pl, …, VI.sg, VI.pl, each with unit weight.

Equations

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