Afar noun gender

Afar (Qafar) has two genders. Nouns denoting men and women take the gender of their referents; for the rest, the position of the accent decides: a citation form ending in an accented vowel is feminine, any other masculine, with the pairs bàxa 'son' ~ baxà 'daughter' carrying both signals at once ([PH85]; [Cor91]).

References

• E. M. Parker, R. J. Hayward, An Afar-English-French Dictionary (1985)
• G. G. Corbett, Gender (1991)

inductive Afar.Gender.Value : Type

The two controller genders.

• masc : Value
• fem : Value

@[instance_reducible]

instance Afar.Gender.instDecidableEqValue : DecidableEq Value

Equations

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

@[instance_reducible]

instance Afar.Gender.instReprValue : Repr Value

Equations

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

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

Equations

• Afar.Gender.instReprValue.repr Afar.Gender.Value.masc prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Afar.Gender.Value.masc")).group prec✝
• Afar.Gender.instReprValue.repr Afar.Gender.Value.fem prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Afar.Gender.Value.fem")).group prec✝

@[instance_reducible]

instance Afar.Gender.instFintypeValue : Fintype Value

Equations

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

def Afar.Gender.Value.ofReferentGender : ReferentGender → Value

Male humans are masculine and female humans feminine.

Equations

• Afar.Gender.Value.ofReferentGender ReferentGender.male = Afar.Gender.Value.masc
• Afar.Gender.Value.ofReferentGender ReferentGender.female = Afar.Gender.Value.fem

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

An Afar noun with its grammatical gender, the gender it restricts its referents to where it does, and whether its citation form ends in an accented vowel.

• form : String
• gloss : String
• gender : Afar.Gender.Value
• referentGender : Option ReferentGender
• finalAccentedVowel : Bool

  Whether the citation form ends in an accented vowel.

@[instance_reducible]

instance Afar.Gender.instDecidableEqNoun : DecidableEq Noun

Equations

• Afar.Gender.instDecidableEqNoun = Afar.Gender.instDecidableEqNoun.decEq

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

Equations

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

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

Equations

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

@[instance_reducible]

instance Afar.Gender.instReprNoun : Repr Noun

Equations

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

def Afar.Gender.baqla : Noun

Equations

• Afar.Gender.baqla = { form := "bàqla", gloss := "husband", gender := Afar.Gender.Value.masc, referentGender := some ReferentGender.male, finalAccentedVowel := false }

def Afar.Gender.barra : Noun

Equations

• Afar.Gender.barra = { form := "barrà", gloss := "woman, wife", gender := Afar.Gender.Value.fem, referentGender := some ReferentGender.female, finalAccentedVowel := true }

def Afar.Gender.baxa : Noun

Equations

• Afar.Gender.baxa = { form := "bàxa", gloss := "son", gender := Afar.Gender.Value.masc, referentGender := some ReferentGender.male, finalAccentedVowel := false }

def Afar.Gender.baxa' : Noun

Equations

• Afar.Gender.baxa' = { form := "baxà", gloss := "daughter", gender := Afar.Gender.Value.fem, referentGender := some ReferentGender.female, finalAccentedVowel := true }

def Afar.Gender.toobokoyta : Noun

Equations

• Afar.Gender.toobokoyta = { form := "toobokòyta", gloss := "brother", gender := Afar.Gender.Value.masc, referentGender := some ReferentGender.male, finalAccentedVowel := false }

def Afar.Gender.toobokoyta' : Noun

Equations

• Afar.Gender.toobokoyta' = { form := "toobokoytà", gloss := "sister", gender := Afar.Gender.Value.fem, referentGender := some ReferentGender.female, finalAccentedVowel := true }

def Afar.Gender.bariseyna : Noun

Equations

• Afar.Gender.bariseyna = { form := "barisèyna", gloss := "male teacher", gender := Afar.Gender.Value.masc, referentGender := some ReferentGender.male, finalAccentedVowel := false }

def Afar.Gender.bariseyna' : Noun

Equations

• Afar.Gender.bariseyna' = { form := "bariseynà", gloss := "female teacher", gender := Afar.Gender.Value.fem, referentGender := some ReferentGender.female, finalAccentedVowel := true }

def Afar.Gender.kuta : Noun

Equations

• Afar.Gender.kuta = { form := "kùta", gloss := "dog", gender := Afar.Gender.Value.masc, referentGender := some ReferentGender.male, finalAccentedVowel := false }

def Afar.Gender.kuta' : Noun

Equations

• Afar.Gender.kuta' = { form := "kutà", gloss := "bitch", gender := Afar.Gender.Value.fem, referentGender := some ReferentGender.female, finalAccentedVowel := true }

def Afar.Gender.cato : Noun

Equations

• Afar.Gender.cato = { form := "catò", gloss := "help", gender := Afar.Gender.Value.fem, finalAccentedVowel := true }

def Afar.Gender.karma : Noun

Equations

• Afar.Gender.karma = { form := "karmà", gloss := "autumn", gender := Afar.Gender.Value.fem, finalAccentedVowel := true }

def Afar.Gender.ceder : Noun

Equations

• Afar.Gender.ceder = { form := "cedèr", gloss := "supper time", gender := Afar.Gender.Value.masc, finalAccentedVowel := false }

def Afar.Gender.gilal : Noun

Equations

• Afar.Gender.gilal = { form := "gilàl", gloss := "winter", gender := Afar.Gender.Value.masc, finalAccentedVowel := false }

def Afar.Gender.tamu : Noun

Equations

• Afar.Gender.tamu = { form := "tàmu", gloss := "taste", gender := Afar.Gender.Value.masc, finalAccentedVowel := false }

def Afar.Gender.baanta : Noun

Equations

• Afar.Gender.baanta = { form := "baànta", gloss := "trumpet", gender := Afar.Gender.Value.masc, finalAccentedVowel := false }

def Afar.Gender.doonik : Noun

doònik 'sail-boat': feminine against the accent rule.

Equations

• Afar.Gender.doonik = { form := "doònik", gloss := "sail-boat", gender := Afar.Gender.Value.fem, finalAccentedVowel := false }

def Afar.Gender.abba : Noun

abbà 'father' is masculine by its referents against the accent rule.

Equations

• Afar.Gender.abba = { form := "abbà", gloss := "father", gender := Afar.Gender.Value.masc, referentGender := some ReferentGender.male, finalAccentedVowel := true }

def Afar.Gender.gabbixeera : Noun

gabbixeèra 'slender-waisted female' is feminine by its referents against the accent rule.

Equations

• Afar.Gender.gabbixeera = { form := "gabbixeèra", gloss := "slender-waisted female", gender := Afar.Gender.Value.fem, referentGender := some ReferentGender.female, finalAccentedVowel := false }

def Afar.Gender.allNouns : List Noun

Equations

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