Shona noun classes

This file defines the Shona noun-class system: the fourteen classes with their subject markers, the eight genders that pair a singular class with its plural, two of them sharing a plural class, and the semantic core each gender bears ([Car26]).

References

• [Car26]

Classes

inductive Shona.NounClass : Type

The noun classes in the Bantu numbering; classes 15–18 are absent or unproductive.

• cl1 : NounClass

  mu-: murume 'man'.

• cl2 : NounClass

  va-: varume 'men'.

• cl3 : NounClass

  mu-: muti 'tree'.

• cl4 : NounClass

  mi-: miti 'trees'.

• cl5 : NounClass

  ri-, often unprefixed: zai 'egg'.

• cl6 : NounClass

  ma-: mazai 'eggs'.

• cl7 : NounClass

  chi-: chingwa 'bread'.

• cl8 : NounClass

  zvi-: zvingwa 'loaves'.

• cl9 : NounClass

  n-: imbwa 'dog'.

• cl10 : NounClass

  n-, dzi-: imbwa 'dogs'.

• cl11 : NounClass

  ru-: rukova 'stream'.

• cl12 : NounClass

  ka-, the diminutive singular: kasikana 'small girl'.

• cl13 : NounClass

  tu-, the diminutive plural: tusikana 'small girls'.

• cl14 : NounClass

  hu-, u-: huchi 'honey'.

@[instance_reducible]

instance Shona.instDecidableEqNounClass : DecidableEq NounClass

Equations

• Shona.instDecidableEqNounClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Shona.instReprNounClass.repr : NounClass → ℕ → Std.Format

Equations

• Shona.instReprNounClass.repr Shona.NounClass.cl1 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl1")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl2 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl2")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl3 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl3")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl4 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl4")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl5 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl5")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl6 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl6")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl7 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl7")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl8 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl8")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl9 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl9")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl10 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl10")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl11 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl11")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl12 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl12")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl13 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl13")).group prec✝
• Shona.instReprNounClass.repr Shona.NounClass.cl14 prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.NounClass.cl14")).group prec✝

@[instance_reducible]

instance Shona.instReprNounClass : Repr NounClass

Equations

• Shona.instReprNounClass = { reprPrec := Shona.instReprNounClass.repr }

def Shona.NounClass.subjPrefix : NounClass → String

The subject marker of a class on the verb.

Equations

• Shona.NounClass.cl1.subjPrefix = "a"
• Shona.NounClass.cl2.subjPrefix = "va"
• Shona.NounClass.cl3.subjPrefix = "u"
• Shona.NounClass.cl4.subjPrefix = "i"
• Shona.NounClass.cl5.subjPrefix = "ri"
• Shona.NounClass.cl6.subjPrefix = "a"
• Shona.NounClass.cl7.subjPrefix = "chi"
• Shona.NounClass.cl8.subjPrefix = "zvi"
• Shona.NounClass.cl9.subjPrefix = "i"
• Shona.NounClass.cl10.subjPrefix = "dzi"
• Shona.NounClass.cl11.subjPrefix = "ru"
• Shona.NounClass.cl12.subjPrefix = "ka"
• Shona.NounClass.cl13.subjPrefix = "tu"
• Shona.NounClass.cl14.subjPrefix = "hu"

Genders

inductive Shona.Gender : Type

The eight genders, each pairing a singular class with its plural; the plurals of classes 11 and 14 are those of classes 9 and 5.

• genderA : Gender

  Classes 1/2.

• genderB : Gender

  Classes 3/4.

• genderC : Gender

  Classes 5/6.

• genderD : Gender

  Classes 7/8.

• genderE : Gender

  Classes 9/10.

• genderF : Gender

  Classes 11/10.

• genderG : Gender

  Classes 14/6.

• genderH : Gender

  Classes 12/13, the diminutives.

@[instance_reducible]

instance Shona.instDecidableEqGender : DecidableEq Gender

Equations

• Shona.instDecidableEqGender x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Shona.instReprGender : Repr Gender

Equations

• Shona.instReprGender = { reprPrec := Shona.instReprGender.repr }

def Shona.instReprGender.repr : Gender → ℕ → Std.Format

Equations

• Shona.instReprGender.repr Shona.Gender.genderA prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderA")).group prec✝
• Shona.instReprGender.repr Shona.Gender.genderB prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderB")).group prec✝
• Shona.instReprGender.repr Shona.Gender.genderC prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderC")).group prec✝
• Shona.instReprGender.repr Shona.Gender.genderD prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderD")).group prec✝
• Shona.instReprGender.repr Shona.Gender.genderE prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderE")).group prec✝
• Shona.instReprGender.repr Shona.Gender.genderF prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderF")).group prec✝
• Shona.instReprGender.repr Shona.Gender.genderG prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderG")).group prec✝
• Shona.instReprGender.repr Shona.Gender.genderH prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Shona.Gender.genderH")).group prec✝

@[instance_reducible]

instance Shona.instFintypeGender : Fintype Gender

Equations

• Shona.instFintypeGender = { elems := { val := ↑Shona.Gender.enumList, nodup := Shona.Gender.enumList_nodup }, complete := Shona.instFintypeGender._proof_1 }

def Shona.Gender.singularClass : Gender → NounClass

Equations

• Shona.Gender.genderA.singularClass = Shona.NounClass.cl1
• Shona.Gender.genderB.singularClass = Shona.NounClass.cl3
• Shona.Gender.genderC.singularClass = Shona.NounClass.cl5
• Shona.Gender.genderD.singularClass = Shona.NounClass.cl7
• Shona.Gender.genderE.singularClass = Shona.NounClass.cl9
• Shona.Gender.genderF.singularClass = Shona.NounClass.cl11
• Shona.Gender.genderG.singularClass = Shona.NounClass.cl14
• Shona.Gender.genderH.singularClass = Shona.NounClass.cl12

def Shona.Gender.pluralClass : Gender → NounClass

Equations

• Shona.Gender.genderA.pluralClass = Shona.NounClass.cl2
• Shona.Gender.genderB.pluralClass = Shona.NounClass.cl4
• Shona.Gender.genderC.pluralClass = Shona.NounClass.cl6
• Shona.Gender.genderD.pluralClass = Shona.NounClass.cl8
• Shona.Gender.genderE.pluralClass = Shona.NounClass.cl10
• Shona.Gender.genderF.pluralClass = Shona.NounClass.cl10
• Shona.Gender.genderG.pluralClass = Shona.NounClass.cl6
• Shona.Gender.genderH.pluralClass = Shona.NounClass.cl13

def Shona.Gender.status : Gender → Bantu.GenderStatus

Gender A bears the core [human] and gender D [non-human], the core and default of everything else; the other six bear none.

Equations

• Shona.Gender.genderA.status = Bantu.GenderStatus.interpretable Bantu.SemanticCore.human
• Shona.Gender.genderD.status = Bantu.GenderStatus.interpretable Bantu.SemanticCore.nonhuman
• x✝.status = Bantu.GenderStatus.uninterpretable