Yanyuwa gender

This file records the noun classes of Yanyuwa (Pama-Nyungan, Northern Territory), the prefixes that agree with them, and the body-part nouns, after Kirton.

Kirton describes seven classes: female, male, feminine, masculine, food, arboreal and abstract. Adjectives and numerals agree with a noun by a class prefix, and a body-part noun takes a prefix for the person, number and class of its possessor. The prefixes depend on the sex of the speaker. The female and feminine classes share their class prefix for every speaker, and in men's speech the male and masculine classes do too. A modifier of a female or male noun takes the personal dual and plural prefixes in place of the class prefix, so only those two classes distinguish number (injective_agreementPrefix_iff).

Implementation notes

• Prefixes are given in their nuclear forms. Kirton also lists referent and directive or accessory forms.
• Kirton lists men's-speech variants only for the male and masculine class prefixes, so the dual and plural prefixes are recorded alike for both speakers.
• A modifier of wini 'name', which takes the class of its possessor, agrees with it by the class prefix in every number.
• The possessor prefixes are those of a third person singular possessor, which mark its class.

References

• [Kir71a]
• [Kir71b]

inductive Yanyuwa.Gender : Type

The noun classes, Kirton's classes 1 to 7.

• female : Gender

  Female humans, class 1.

• male : Gender

  Male humans, class 2.

• feminine : Gender

  Nonhuman females, among them many animals, class 3.

• masculine : Gender

  The masculine class, class 4.

• food : Gender

  Food, class 5.

• arboreal : Gender

  Trees and plants, class 6.

• abstract : Gender

  Abstract nouns, class 7.

@[instance_reducible]

instance Yanyuwa.instDecidableEqGender : DecidableEq Gender

Equations

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

@[instance_reducible]

instance Yanyuwa.instReprGender : Repr Gender

Equations

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

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.instFintypeGender : Fintype Gender

Equations

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

def Yanyuwa.numberSystem : Number.System

Yanyuwa distinguishes the singular, the dual and the plural.

Equations

• Yanyuwa.numberSystem = { values := {Number.singular, Number.dual, Number.plural} }

inductive Yanyuwa.Speaker : Type

The sex of the speaker.

• woman : Speaker
• man : Speaker

@[instance_reducible]

instance Yanyuwa.instDecidableEqSpeaker : DecidableEq Speaker

Equations

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

@[instance_reducible]

instance Yanyuwa.instReprSpeaker : Repr Speaker

Equations

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

def Yanyuwa.instReprSpeaker.repr : Speaker → ℕ → Std.Format

Equations

• Yanyuwa.instReprSpeaker.repr Yanyuwa.Speaker.woman prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Speaker.woman")).group prec✝
• Yanyuwa.instReprSpeaker.repr Yanyuwa.Speaker.man prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Yanyuwa.Speaker.man")).group prec✝

@[instance_reducible]

instance Yanyuwa.instFintypeSpeaker : Fintype Speaker

Equations

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

def Yanyuwa.classPrefix : Speaker → Gender → String

The class prefix of an adjective or numeral ([Kir71b] §1.1). The masculine class takes none, and in men's speech neither does the male class.

Equations

• Yanyuwa.classPrefix x✝ Yanyuwa.Gender.female = "řa-"
• Yanyuwa.classPrefix x✝ Yanyuwa.Gender.feminine = "řa-"
• Yanyuwa.classPrefix Yanyuwa.Speaker.woman Yanyuwa.Gender.male = "nja-"
• Yanyuwa.classPrefix Yanyuwa.Speaker.man Yanyuwa.Gender.male = ""
• Yanyuwa.classPrefix x✝ Yanyuwa.Gender.masculine = ""
• Yanyuwa.classPrefix x✝ Yanyuwa.Gender.food = "ma-"
• Yanyuwa.classPrefix x✝ Yanyuwa.Gender.arboreal = "na-"
• Yanyuwa.classPrefix x✝ Yanyuwa.Gender.abstract = "naṇu-"

def Yanyuwa.agreementPrefix (s : Speaker) (g : Gender) (n : ↥numberSystem.values) : String

The prefix of an adjective or numeral agreeing with a noun of a class in a number: the personal dual ři- and plural li- with a female or male noun, the class prefix otherwise ([Kir71b] §1.1).

Equations

• Yanyuwa.agreementPrefix s Yanyuwa.Gender.female n = "ři-"
• Yanyuwa.agreementPrefix s Yanyuwa.Gender.male n = "ři-"
• Yanyuwa.agreementPrefix s Yanyuwa.Gender.female n = "li-"
• Yanyuwa.agreementPrefix s Yanyuwa.Gender.male n = "li-"
• Yanyuwa.agreementPrefix s g✝ n = Yanyuwa.classPrefix s g✝

theorem Yanyuwa.injective_agreementPrefix_iff (s : Speaker) (g : Gender) : Function.Injective (agreementPrefix s g) ↔ g = Gender.female ∨ g = Gender.male

Only the female and male classes distinguish number ([Kir71b] §1.1).

def Yanyuwa.possessorPrefix : Speaker → Gender → Option String

The prefix of a body-part noun for a possessor of each class. The abstract class has none. Before a stem in w the male niwa- is niya-, and men also use nula- for the male class.

Equations

• Yanyuwa.possessorPrefix x✝ Yanyuwa.Gender.female = some "nanda-"
• Yanyuwa.possessorPrefix x✝ Yanyuwa.Gender.feminine = some "nanda-"
• Yanyuwa.possessorPrefix Yanyuwa.Speaker.woman Yanyuwa.Gender.male = some "niwa-"
• Yanyuwa.possessorPrefix Yanyuwa.Speaker.woman Yanyuwa.Gender.masculine = some "ni-"
• Yanyuwa.possessorPrefix Yanyuwa.Speaker.man Yanyuwa.Gender.male = some "na-"
• Yanyuwa.possessorPrefix Yanyuwa.Speaker.man Yanyuwa.Gender.masculine = some "na-"
• Yanyuwa.possessorPrefix x✝ Yanyuwa.Gender.food = some "nu-"
• Yanyuwa.possessorPrefix x✝ Yanyuwa.Gender.arboreal = some "nanu-"
• Yanyuwa.possessorPrefix x✝ Yanyuwa.Gender.abstract = none

Body-part nouns

def Yanyuwa.malidji : Noun

malidji 'finger'.

Equations

• Yanyuwa.malidji = { form := "malidji", gloss := "finger" }

def Yanyuwa.«maṇḍa» : Noun

maṇḍa 'foot'.

Equations

• Yanyuwa.«maṇḍa» = { form := "maṇḍa", gloss := "foot" }

def Yanyuwa.liřbi : Noun

liřbi 'scales'.

Equations

• Yanyuwa.liřbi = { form := "liřbi", gloss := "scales" }

def Yanyuwa.mulu : Noun

mulu 'mouth'.

Equations

• Yanyuwa.mulu = { form := "mulu", gloss := "mouth" }

def Yanyuwa.wini : Noun

wini 'name'.

Equations

• Yanyuwa.wini = { form := "wini", gloss := "name" }

def Yanyuwa.bodyPartNouns : List Noun

The body-part nouns, which take a possessor prefix, and wini 'name', which does too.

Equations

• Yanyuwa.bodyPartNouns = [Yanyuwa.malidji, Yanyuwa.«maṇḍa», Yanyuwa.liřbi, Yanyuwa.mulu, Yanyuwa.wini]