Tamil noun gender

Tamil divides nouns into rationals, the male and female humans and deities, and the non-rational rest: three genders, masculine, feminine and neuter, shown by third-person agreement on the verb. In the singular the three are distinct; in the plural the two rational genders share one form against the neuter ([asher-1985]; [Cor91]).

References

• [R. E. Asher, Tamil (1985)][asher-1985]
• G. G. Corbett, Gender (1991)

inductive Tamil.Gender.Value : Type

The three controller genders.

• masc : Value
• fem : Value
• neut : Value

@[instance_reducible]

instance Tamil.Gender.instDecidableEqValue : DecidableEq Value

Equations

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

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

Equations

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

@[instance_reducible]

instance Tamil.Gender.instReprValue : Repr Value

Equations

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

@[instance_reducible]

instance Tamil.Gender.instFintypeValue : Fintype Value

Equations

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

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

A Tamil noun with the agreement it takes and the two semantic facts the gender tracks: whether the referent is rational, and whether the gender comes from the referent's sex.

• form : String
• gloss : String
• gender : Tamil.Gender.Value
• isNaturalGender : Bool
• rational : Bool

  Whether the referent is rational: a human or a deity.

def Tamil.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 Tamil.Gender.instDecidableEqNoun : DecidableEq Noun

Equations

• Tamil.Gender.instDecidableEqNoun = Tamil.Gender.instDecidableEqNoun.decEq

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

Equations

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

@[instance_reducible]

instance Tamil.Gender.instReprNoun : Repr Noun

Equations

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

def Tamil.Gender.aaN : Noun

Equations

• Tamil.Gender.aaN = { form := "aaN", gloss := "man", gender := Tamil.Gender.Value.masc, isNaturalGender := true, rational := true }

def Tamil.Gender.civaN : Noun

Equations

• Tamil.Gender.civaN = { form := "CivaN", gloss := "Shiva", gender := Tamil.Gender.Value.masc, isNaturalGender := true, rational := true }

def Tamil.Gender.peN : Noun

Equations

• Tamil.Gender.peN = { form := "peN", gloss := "woman", gender := Tamil.Gender.Value.fem, isNaturalGender := true, rational := true }

def Tamil.Gender.kaali : Noun

Equations

• Tamil.Gender.kaali = { form := "kaali", gloss := "Kali", gender := Tamil.Gender.Value.fem, isNaturalGender := true, rational := true }

def Tamil.Gender.maram : Noun

Equations

• Tamil.Gender.maram = { form := "maram", gloss := "tree", gender := Tamil.Gender.Value.neut, rational := false }

def Tamil.Gender.viiTu : Noun

Equations

• Tamil.Gender.viiTu = { form := "viiTu", gloss := "house", gender := Tamil.Gender.Value.neut, rational := false }

def Tamil.Gender.raaman : Noun

Equations

• Tamil.Gender.raaman = { form := "raaman", gloss := "Raman", gender := Tamil.Gender.Value.masc, isNaturalGender := true, rational := true }

def Tamil.Gender.murukan : Noun

Equations

• Tamil.Gender.murukan = { form := "murukan", gloss := "Murugan", gender := Tamil.Gender.Value.masc, isNaturalGender := true, rational := true }

def Tamil.Gender.akkaa : Noun

Equations

• Tamil.Gender.akkaa = { form := "akkaa", gloss := "elder sister", gender := Tamil.Gender.Value.fem, isNaturalGender := true, rational := true }

def Tamil.Gender.tankacci : Noun

Equations

• Tamil.Gender.tankacci = { form := "tankacci", gloss := "younger sister", gender := Tamil.Gender.Value.fem, isNaturalGender := true, rational := true }

def Tamil.Gender.annan : Noun

Equations

• Tamil.Gender.annan = { form := "annan", gloss := "elder brother", gender := Tamil.Gender.Value.masc, isNaturalGender := true, rational := true }

def Tamil.Gender.naay : Noun

Equations

• Tamil.Gender.naay = { form := "naay", gloss := "dog", gender := Tamil.Gender.Value.neut, rational := false }

def Tamil.Gender.puune : Noun

Equations

• Tamil.Gender.puune = { form := "puune", gloss := "cat", gender := Tamil.Gender.Value.neut, rational := false }

def Tamil.Gender.allNouns : List Noun

Equations

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

inductive Tamil.Gender.SgConcord : Type

Third-person singular verb agreement: -aan masculine, -aaL feminine, -atu neuter.

• aan : SgConcord
• aaL : SgConcord
• atu : SgConcord

@[instance_reducible]

instance Tamil.Gender.instDecidableEqSgConcord : DecidableEq SgConcord

Equations

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

def Tamil.Gender.instReprSgConcord.repr : SgConcord → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Tamil.Gender.instReprSgConcord : Repr SgConcord

Equations

• Tamil.Gender.instReprSgConcord = { reprPrec := Tamil.Gender.instReprSgConcord.repr }

@[instance_reducible]

instance Tamil.Gender.instFintypeSgConcord : Fintype SgConcord

Equations

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

inductive Tamil.Gender.PlConcord : Type

Third-person plural verb agreement: one form for rationals, one for neuters.

• rational : PlConcord
• neuter : PlConcord

@[instance_reducible]

instance Tamil.Gender.instDecidableEqPlConcord : DecidableEq PlConcord

Equations

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

def Tamil.Gender.instReprPlConcord.repr : PlConcord → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Tamil.Gender.instReprPlConcord : Repr PlConcord

Equations

• Tamil.Gender.instReprPlConcord = { reprPrec := Tamil.Gender.instReprPlConcord.repr }

@[instance_reducible]

instance Tamil.Gender.instFintypePlConcord : Fintype PlConcord

Equations

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

def Tamil.Gender.Value.sgConcord : Value → SgConcord

Equations

• Tamil.Gender.Value.masc.sgConcord = Tamil.Gender.SgConcord.aan
• Tamil.Gender.Value.fem.sgConcord = Tamil.Gender.SgConcord.aaL
• Tamil.Gender.Value.neut.sgConcord = Tamil.Gender.SgConcord.atu

def Tamil.Gender.Value.plConcord : Value → PlConcord

Equations

• Tamil.Gender.Value.masc.plConcord = Tamil.Gender.PlConcord.rational
• Tamil.Gender.Value.fem.plConcord = Tamil.Gender.PlConcord.rational
• Tamil.Gender.Value.neut.plConcord = Tamil.Gender.PlConcord.neuter

def Tamil.Gender.system : Gender.System Value

The gender system: fully labelled, neuter the default.

Equations

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

def Tamil.Gender.assigned : Gender.System.Assigned Noun Value

Every noun gets its controller gender.

Equations

• Tamil.Gender.assigned = { toSystem := Tamil.Gender.system, assign := fun (x : Tamil.Gender.Noun) => x.gender }

@[instance_reducible]

instance Tamil.Gender.instHasGenderValue : HasGender Value

Equations

• Tamil.Gender.instHasGenderValue = { genderOf := fun (g : Tamil.Gender.Value) => Tamil.Gender.system.label g }

@[instance_reducible]

instance Tamil.Gender.instHasGenderNoun : HasGender Noun

Equations

• Tamil.Gender.instHasGenderNoun = { genderOf := fun (n : Tamil.Gender.Noun) => genderOf n.gender }

theorem Tamil.Gender.faithful_sgConcord : Function.Injective Value.sgConcord

Singular verb agreement alone distinguishes the three genders.