Chichewa noun gender

Chichewa genders are pairs of Bantu noun classes, one for each number, and are named by them. Subject agreement does not distinguish them all: the plural of gender 1/2, the human gender, and the plural of gender 5/6 both take the verbal prefix a-, while the plural of gender 7/8 takes zi-, as Corbett and Mtenje and Corbett describe. The entries are the plural nouns the sources cite.

TODO

• The remaining genders and their prefixes, and number on the nouns, from Corbett and Mtenje.

References

• G. G. Corbett, A. D. Mtenje, Gender agreement in Chichewa (1987)
• G. G. Corbett, Gender (1991)
• G. G. Corbett, Morphology and agreement (1998)

inductive Chichewa.Gender.Value : Type

The genders the sources attest, named by their singular and plural classes.

• g1_2 : Value
• g5_6 : Value
• g7_8 : Value

@[instance_reducible]

instance Chichewa.Gender.instDecidableEqValue : DecidableEq Value

Equations

• Chichewa.Gender.instDecidableEqValue x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Chichewa.Gender.instReprValue : Repr Value

Equations

• Chichewa.Gender.instReprValue = { reprPrec := Chichewa.Gender.instReprValue.repr }

def Chichewa.Gender.instReprValue.repr : Value → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Chichewa.Gender.instFintypeValue : Fintype Value

Equations

• Chichewa.Gender.instFintypeValue = { elems := { val := ↑Chichewa.Gender.Value.enumList, nodup := Chichewa.Gender.Value.enumList_nodup }, complete := Chichewa.Gender.instFintypeValue._proof_1 }

inductive Chichewa.Gender.SubjPrefix : Type

The subject prefixes plural controllers take.

• a : SubjPrefix
• zi : SubjPrefix

@[instance_reducible]

instance Chichewa.Gender.instDecidableEqSubjPrefix : DecidableEq SubjPrefix

Equations

• Chichewa.Gender.instDecidableEqSubjPrefix x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Chichewa.Gender.instReprSubjPrefix.repr : SubjPrefix → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Chichewa.Gender.instReprSubjPrefix : Repr SubjPrefix

Equations

• Chichewa.Gender.instReprSubjPrefix = { reprPrec := Chichewa.Gender.instReprSubjPrefix.repr }

@[instance_reducible]

instance Chichewa.Gender.instFintypeSubjPrefix : Fintype SubjPrefix

Equations

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

def Chichewa.Gender.Value.singularClass : Value → Bantu.NounClass

The singular class of a gender.

Equations

• Chichewa.Gender.Value.g1_2.singularClass = Bantu.NounClass.cl1
• Chichewa.Gender.Value.g5_6.singularClass = Bantu.NounClass.cl5
• Chichewa.Gender.Value.g7_8.singularClass = Bantu.NounClass.cl7

def Chichewa.Gender.Value.pluralClass : Value → Bantu.NounClass

The plural class of a gender.

Equations

• Chichewa.Gender.Value.g1_2.pluralClass = Bantu.NounClass.cl2
• Chichewa.Gender.Value.g5_6.pluralClass = Bantu.NounClass.cl6
• Chichewa.Gender.Value.g7_8.pluralClass = Bantu.NounClass.cl8

def Chichewa.Gender.subjPrefix : Bantu.NounClass → Option SubjPrefix

The subject prefix of a plural class the sources attest.

Equations

• Chichewa.Gender.subjPrefix Bantu.NounClass.cl2 = some Chichewa.Gender.SubjPrefix.a
• Chichewa.Gender.subjPrefix Bantu.NounClass.cl6 = some Chichewa.Gender.SubjPrefix.a
• Chichewa.Gender.subjPrefix Bantu.NounClass.cl8 = some Chichewa.Gender.SubjPrefix.zi
• Chichewa.Gender.subjPrefix x✝ = none

theorem Chichewa.Gender.Value.isSome_subjPrefix_pluralClass (v : Value) : (subjPrefix v.pluralClass).isSome = true

def Chichewa.Gender.Value.plSubjPrefix (v : Value) : SubjPrefix

The subject prefix of each gender's plural.

Equations

• v.plSubjPrefix = (Chichewa.Gender.subjPrefix v.pluralClass).get ⋯

structure Chichewa.Gender.Nounextends GenderedNoun Chichewa.Gender.Value : Type

A plural noun, its form carrying its class prefix, with its gender and the animacy of its referents.

• form : String
• gloss : String
• gender : Chichewa.Gender.Value
• referentGender : Option ReferentGender
• animacy : Animacy

  The animacy of the noun's referents.

def Chichewa.Gender.instDecidableEqNoun.decEq (x✝ x✝¹ : Noun) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Chichewa.Gender.instDecidableEqNoun : DecidableEq Noun

Equations

• Chichewa.Gender.instDecidableEqNoun = Chichewa.Gender.instDecidableEqNoun.decEq

@[instance_reducible]

instance Chichewa.Gender.instReprNoun : Repr Noun

Equations

• Chichewa.Gender.instReprNoun = { reprPrec := Chichewa.Gender.instReprNoun.repr }

def Chichewa.Gender.instReprNoun.repr : Noun → ℕ → Std.Format

Equations

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

def Chichewa.Gender.mphaka : Noun

a-mphaka 'cats': gender 1/2 without denoting humans.

Equations

• Chichewa.Gender.mphaka = { form := "a-mphaka", gloss := "cats", gender := Chichewa.Gender.Value.g1_2, animacy := Animacy.animate }

def Chichewa.Gender.galu : Noun

a-galu 'dogs'.

Equations

• Chichewa.Gender.galu = { form := "a-galu", gloss := "dogs", gender := Chichewa.Gender.Value.g1_2, animacy := Animacy.animate }

def Chichewa.Gender.ana : Noun

a-na 'children'.

Equations

• Chichewa.Gender.ana = { form := "a-na", gloss := "children", gender := Chichewa.Gender.Value.g1_2, animacy := Animacy.human }

def Chichewa.Gender.lalanje : Noun

ma-lalanje 'oranges'.

Equations

• Chichewa.Gender.lalanje = { form := "ma-lalanje", gloss := "oranges", gender := Chichewa.Gender.Value.g5_6, animacy := Animacy.inanimate }

def Chichewa.Gender.samba : Noun

ma-samba 'leaves'.

Equations

• Chichewa.Gender.samba = { form := "ma-samba", gloss := "leaves", gender := Chichewa.Gender.Value.g5_6, animacy := Animacy.inanimate }

def Chichewa.Gender.zipewa : Noun

zipewa 'hats'.

Equations

• Chichewa.Gender.zipewa = { form := "zipewa", gloss := "hats", gender := Chichewa.Gender.Value.g7_8, animacy := Animacy.inanimate }

def Chichewa.Gender.allNouns : List Noun

The nouns the sources cite.

Equations

• Chichewa.Gender.allNouns = [Chichewa.Gender.mphaka, Chichewa.Gender.galu, Chichewa.Gender.ana, Chichewa.Gender.lalanje, Chichewa.Gender.samba, Chichewa.Gender.zipewa]