Tamil noun gender

Tamil assigns nouns to three genders by their meaning alone: the masculine for gods and male humans, the feminine for goddesses and female humans, and the neuter for the rest, so that the masculine and the feminine together are the rational gender of the traditional grammars and the neuter the non-rational. Corbett gives the system as his first strict semantic assignment system, with the sun and the moon masculine as names of gods. The genders show on the finite verb: in the singular three forms, the masculine -aan, the feminine -aaL and the neuter -atu, and in the plural two, the rational -aanka for masculines and feminines alike and the neuter -atunka, which many speakers replace by the singular -atu. Corbett's data are from Asher's grammar of colloquial Tamil; the nouns are those of his assignment table and of the coordinations his resolution rules cover, the matter of Studies/Corbett1991.lean.

Main definitions

• Tamil.Gender.Value: the three genders.
• Tamil.Gender.Noun, Tamil.Gender.allNouns: a noun with its gender and rationality, and the entries.
• Tamil.Gender.SgConcord, Tamil.Gender.PlConcord: the verb's singular and plural agreement forms.

References

• [Cor91]

Genders

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 ⋯

@[instance_reducible]

instance Tamil.Gender.instReprValue : Repr Value

Equations

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

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.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 }

Nouns

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, a human or a deity, and the gender it restricts its referents to where it does.

• form : String
• gloss : String
• gender : Tamil.Gender.Value
• referentGender : Option ReferentGender
• 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

@[instance_reducible]

instance Tamil.Gender.instReprNoun : Repr Noun

Equations

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

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

Equations

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

def Tamil.Gender.aaN : Noun

aaN 'man', masculine.

Equations

• Tamil.Gender.aaN = { form := "aaN", gloss := "man", gender := Tamil.Gender.Value.masc, referentGender := some ReferentGender.male, rational := true }

def Tamil.Gender.civaN : Noun

CivaN 'Shiva', masculine.

Equations

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

def Tamil.Gender.peN : Noun

peN 'woman', feminine.

Equations

• Tamil.Gender.peN = { form := "peN", gloss := "woman", gender := Tamil.Gender.Value.fem, referentGender := some ReferentGender.female, rational := true }

def Tamil.Gender.kaali : Noun

kaali 'Kali', feminine.

Equations

• Tamil.Gender.kaali = { form := "kaali", gloss := "Kali", gender := Tamil.Gender.Value.fem, referentGender := some ReferentGender.female, rational := true }

def Tamil.Gender.maram : Noun

maram 'tree', neuter.

Equations

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

def Tamil.Gender.viiTu : Noun

viiTu 'house', neuter.

Equations

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

def Tamil.Gender.cuuriyan : Noun

cuuriyan 'sun', masculine as the name of a god.

Equations

• Tamil.Gender.cuuriyan = { form := "cuuriyan", gloss := "sun", gender := Tamil.Gender.Value.masc, referentGender := some ReferentGender.male, rational := true }

def Tamil.Gender.cantiran : Noun

cantiran 'moon', masculine as the name of a god.

Equations

• Tamil.Gender.cantiran = { form := "cantiran", gloss := "moon", gender := Tamil.Gender.Value.masc, referentGender := some ReferentGender.male, rational := true }

def Tamil.Gender.raaman : Noun

raaman 'Raman', masculine.

Equations

• Tamil.Gender.raaman = { form := "raaman", gloss := "Raman", gender := Tamil.Gender.Value.masc, referentGender := some ReferentGender.male, rational := true }

def Tamil.Gender.murukan : Noun

murukan 'Murugan', masculine.

Equations

• Tamil.Gender.murukan = { form := "murukan", gloss := "Murugan", gender := Tamil.Gender.Value.masc, referentGender := some ReferentGender.male, rational := true }

def Tamil.Gender.akkaa : Noun

akkaa 'elder sister', feminine.

Equations

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

def Tamil.Gender.tankacci : Noun

tankacci 'younger sister', feminine.

Equations

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

def Tamil.Gender.annan : Noun

annan 'elder brother', masculine.

Equations

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

def Tamil.Gender.naay : Noun

naay 'dog', neuter.

Equations

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

def Tamil.Gender.puune : Noun

puune 'cat', neuter.

Equations

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

def Tamil.Gender.allNouns : List Noun

The nouns of Corbett's assignment table, his masculine heavenly bodies, and his coordinations.

Equations

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

Verb agreement

inductive Tamil.Gender.SgConcord : Type

The third person singular agreement of the verb, -aan masculine, -aaL feminine and -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

The third person plural agreement of the verb, the rational -aanka and the neuter -atunka.

• 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

The singular agreement form of each gender.

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

The plural agreement form of each gender, one for the two rational genders.

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