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- ([corbett-mtenje-1987]; [Cor91]; [Cor98]). The entries are the plural nouns the sources cite.

TODO

• The remaining genders and their prefixes, and number on the nouns, from [corbett-mtenje-1987].

References

• [G. G. Corbett, A. D. Mtenje, Gender agreement in Chichewa (1987)][corbett-mtenje-1987]
• G. G. Corbett, Gender (1991)
• G. G. Corbett, Morphology and agreement (1998)

inductive Chichewa.Gender.Value : Type

The genders the sources attest, by singular and plural class.

• 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 ⋯

@[instance_reducible]

instance Chichewa.Gender.instReprSubjPrefix : Repr SubjPrefix

Equations

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

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.instFintypeSubjPrefix : Fintype SubjPrefix

Equations

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

def Chichewa.Gender.Value.plSubjPrefix : Value → SubjPrefix

The subject prefix of each gender's plural.

Equations

• Chichewa.Gender.Value.g1_2.plSubjPrefix = Chichewa.Gender.SubjPrefix.a
• Chichewa.Gender.Value.g5_6.plSubjPrefix = Chichewa.Gender.SubjPrefix.a
• Chichewa.Gender.Value.g7_8.plSubjPrefix = Chichewa.Gender.SubjPrefix.zi

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

A plural noun, its form carrying its class prefix, with its gender and whether it denotes humans.

• form : String
• gloss : String
• gender : Chichewa.Gender.Value
• isNaturalGender : Bool
• human : Bool

  Whether the noun denotes humans.

@[instance_reducible]

instance Chichewa.Gender.instDecidableEqNoun : DecidableEq Noun

Equations

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

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.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, human := false }

def Chichewa.Gender.galu : Noun

a-galu 'dogs'.

Equations

• Chichewa.Gender.galu = { form := "a-galu", gloss := "dogs", gender := Chichewa.Gender.Value.g1_2, human := false }

def Chichewa.Gender.ana : Noun

a-na 'children'.

Equations

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

def Chichewa.Gender.lalanje : Noun

ma-lalanje 'oranges'.

Equations

• Chichewa.Gender.lalanje = { form := "ma-lalanje", gloss := "oranges", gender := Chichewa.Gender.Value.g5_6, human := false }

def Chichewa.Gender.samba : Noun

ma-samba 'leaves'.

Equations

• Chichewa.Gender.samba = { form := "ma-samba", gloss := "leaves", gender := Chichewa.Gender.Value.g5_6, human := false }

def Chichewa.Gender.zipewa : Noun

zipewa 'hats'.

Equations

• Chichewa.Gender.zipewa = { form := "zipewa", gloss := "hats", gender := Chichewa.Gender.Value.g7_8, human := false }

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]