Shawi

Shawi (Chayahuita; Kawapanan, Peru) inflects the verb for the person and number of both the subject and the object, on a minimal/augmented number system with a clusivity contrast in the first person, and marks some transitive subjects with the ergative suffix -ri while objects stay unmarked. The agreement tables are those of [CD26], compiled from [Har88], [BdG05] and Ulloa's corpus work; the ergative data are [Bou15]'s.

Main definitions

• subjectMarker: the indicative subject agreement suffix of a person–number cell.
• objectMarker: the object agreement suffix of a cell; third person has none.
• Case, Case.marker: the two morphological cases and their exponents.

Implementation notes

Clusivity is a person value (Person.firstInclusive, Person.firstExclusive), and the clusivity-neutral Person.first is not a cell of the paradigms. Number is Number.minimal and Number.augmented, so first inclusive minimal is the speaker–addressee dyad. The glottal stop is written ', and a segment in parentheses varies across the sources. A null exponent and an absent cell are both none.

References

• [CD26]
• [Har88]
• [BdG05]
• [Bou15]

def Kawapanan.Shawi.subjectMarker : Person → Number → Option String

Indicative subject agreement ([CD26] Table 1).

Equations

• Kawapanan.Shawi.subjectMarker Person.firstExclusive Number.minimal = some "-(a)we"
• Kawapanan.Shawi.subjectMarker Person.firstExclusive Number.augmented = some "-ai"
• Kawapanan.Shawi.subjectMarker Person.firstInclusive Number.minimal = some "-e'"
• Kawapanan.Shawi.subjectMarker Person.firstInclusive Number.augmented = some "-ewa'"
• Kawapanan.Shawi.subjectMarker Person.second Number.minimal = some "-(a)n"
• Kawapanan.Shawi.subjectMarker Person.second Number.augmented = some "-(a)ma'"
• Kawapanan.Shawi.subjectMarker Person.third Number.minimal = some "-in"
• Kawapanan.Shawi.subjectMarker Person.third Number.augmented = some "-pi"
• Kawapanan.Shawi.subjectMarker x✝¹ x✝ = none

def Kawapanan.Shawi.objectMarker : Person → Number → Option String

Object agreement ([CD26] Table 2); third-person objects have no exponent.

Equations

• Kawapanan.Shawi.objectMarker Person.firstExclusive Number.minimal = some "-ku"
• Kawapanan.Shawi.objectMarker Person.firstExclusive Number.augmented = some "-kui"
• Kawapanan.Shawi.objectMarker Person.firstInclusive Number.minimal = some "-(n)pu'"
• Kawapanan.Shawi.objectMarker Person.firstInclusive Number.augmented = some "-(n)pua'"
• Kawapanan.Shawi.objectMarker Person.second Number.minimal = some "-(n)ken"
• Kawapanan.Shawi.objectMarker Person.second Number.augmented = some "-((n)ke)ma'"
• Kawapanan.Shawi.objectMarker x✝¹ x✝ = none

inductive Kawapanan.Shawi.Case : Type

The morphological cases: an unmarked nominative and the ergative -ri of some transitive subjects ([CD26] (4)).

• nom : Case

  The nominative, unmarked.

• erg : Case

  The ergative.

@[instance_reducible]

instance Kawapanan.Shawi.instDecidableEqCase : DecidableEq Case

Equations

• Kawapanan.Shawi.instDecidableEqCase x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Kawapanan.Shawi.instFintypeCase : Fintype Case

Equations

• Kawapanan.Shawi.instFintypeCase = { elems := { val := ↑Kawapanan.Shawi.Case.enumList, nodup := Kawapanan.Shawi.Case.enumList_nodup }, complete := Kawapanan.Shawi.instFintypeCase._proof_1 }

def Kawapanan.Shawi.instReprCase.repr : Case → ℕ → Std.Format

Equations

• Kawapanan.Shawi.instReprCase.repr Kawapanan.Shawi.Case.nom prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Kawapanan.Shawi.Case.nom")).group prec✝
• Kawapanan.Shawi.instReprCase.repr Kawapanan.Shawi.Case.erg prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Kawapanan.Shawi.Case.erg")).group prec✝

@[instance_reducible]

instance Kawapanan.Shawi.instReprCase : Repr Case

Equations

• Kawapanan.Shawi.instReprCase = { reprPrec := Kawapanan.Shawi.instReprCase.repr }

def Kawapanan.Shawi.Case.label : Case → _root_.Case

The comparative value a case is named for.

Equations

• Kawapanan.Shawi.Case.nom.label = Case.nom
• Kawapanan.Shawi.Case.erg.label = Case.erg

def Kawapanan.Shawi.Case.marker : Case → Option String

The exponent of each case, none for the unmarked nominative.

Equations

• Kawapanan.Shawi.Case.nom.marker = none
• Kawapanan.Shawi.Case.erg.marker = some "-ri"