Yanyuwa gender

The seven gender classes of Yanyuwa (Pama-Nyungan, Australia) after Kirton's descriptions as tabulated in [adamson-2024]: the agreement prefixes they take on adjectives and numerals, the possessor prefixes borne by body-part nouns and wini 'name', and the fact that the female and feminine classes share their prefix.

References

• [adamson-2024]

inductive Yanyuwa.Gender : Type

The gender classes.

• female : Gender
• male : Gender
• feminine : Gender
• masculine : Gender
• food : Gender
• arboreal : Gender
• abstract : Gender

@[instance_reducible]

instance Yanyuwa.instDecidableEqGender : DecidableEq Gender

Equations

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

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

Equations

• Yanyuwa.instReprGender.repr Yanyuwa.Gender.female prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Gender.female")).group prec✝
• Yanyuwa.instReprGender.repr Yanyuwa.Gender.male prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Gender.male")).group prec✝
• Yanyuwa.instReprGender.repr Yanyuwa.Gender.feminine prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Gender.feminine")).group prec✝
• Yanyuwa.instReprGender.repr Yanyuwa.Gender.masculine prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Gender.masculine")).group prec✝
• Yanyuwa.instReprGender.repr Yanyuwa.Gender.food prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Gender.food")).group prec✝
• Yanyuwa.instReprGender.repr Yanyuwa.Gender.arboreal prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Gender.arboreal")).group prec✝
• Yanyuwa.instReprGender.repr Yanyuwa.Gender.abstract prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Gender.abstract")).group prec✝

@[instance_reducible]

instance Yanyuwa.instReprGender : Repr Gender

Equations

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

@[instance_reducible]

instance Yanyuwa.instFintypeGender : Fintype Gender

Equations

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

def Yanyuwa.agreementPrefix : Gender → String

The agreement prefix on adjectives and numerals.

Equations

• Yanyuwa.agreementPrefix Yanyuwa.Gender.female = "řa-"
• Yanyuwa.agreementPrefix Yanyuwa.Gender.feminine = "řa-"
• Yanyuwa.agreementPrefix Yanyuwa.Gender.male = "nja-"
• Yanyuwa.agreementPrefix Yanyuwa.Gender.masculine = "∅-"
• Yanyuwa.agreementPrefix Yanyuwa.Gender.food = "ma-"
• Yanyuwa.agreementPrefix Yanyuwa.Gender.arboreal = "na-"
• Yanyuwa.agreementPrefix Yanyuwa.Gender.abstract = "naṇu-"

def Yanyuwa.possessorPrefix : Gender → Option String

Third-person singular possessor prefixes on body parts, by the possessor's class.

Equations

• Yanyuwa.possessorPrefix Yanyuwa.Gender.female = some "nanda-"
• Yanyuwa.possessorPrefix Yanyuwa.Gender.feminine = some "nanda-"
• Yanyuwa.possessorPrefix Yanyuwa.Gender.male = some "niwa-"
• Yanyuwa.possessorPrefix Yanyuwa.Gender.masculine = some "ni-"
• Yanyuwa.possessorPrefix Yanyuwa.Gender.food = some "nu-"
• Yanyuwa.possessorPrefix Yanyuwa.Gender.arboreal = some "nanu-"
• Yanyuwa.possessorPrefix Yanyuwa.Gender.abstract = none

def Yanyuwa.prefixedNouns : List (String × String)

Nouns that take the possessor prefixes: body parts and wini 'name'.

Equations

• Yanyuwa.prefixedNouns = [("malidji", "finger"), ("maṇḍa", "foot"), ("liřbi", "scales"), ("mulu", "mouth"), ("wini", "name")]