def Fragments.Tamil.Pronouns.naan : Core.Pronouns.PronounEntry

naan — 1sg.

Equations

• Fragments.Tamil.Pronouns.naan = { form := "naan", person := some UD.Person.first, number := some Number.sg }

def Fragments.Tamil.Pronouns.naam : Core.Pronouns.PronounEntry

naam — 1pl inclusive (speaker + addressee).

Equations

• Fragments.Tamil.Pronouns.naam = { form := "naam", person := some UD.Person.first, number := some Number.pl }

def Fragments.Tamil.Pronouns.naangaL : Core.Pronouns.PronounEntry

naangaL — 1pl exclusive (speaker + others, not addressee).

Equations

• Fragments.Tamil.Pronouns.naangaL = { form := "naangaL", person := some UD.Person.first, number := some Number.pl }

def Fragments.Tamil.Pronouns.nii : Core.Pronouns.PronounEntry

nii — 2sg non-honorific.

Equations

• Fragments.Tamil.Pronouns.nii = { form := "nii", person := some UD.Person.second, number := some Number.sg }

def Fragments.Tamil.Pronouns.niingaL : Core.Pronouns.PronounEntry

niingaL — 2sg honorific (also 2pl).

Equations

• Fragments.Tamil.Pronouns.niingaL = { form := "niingaL", person := some UD.Person.second, number := some Number.sg, register := Core.Register.Level.formal }

def Fragments.Tamil.Pronouns.avan : Core.Pronouns.PronounEntry

avan — 3sg masculine.

Equations

• Fragments.Tamil.Pronouns.avan = { form := "avan", person := some UD.Person.third, number := some Number.sg }

def Fragments.Tamil.Pronouns.avaL : Core.Pronouns.PronounEntry

avaL — 3sg feminine.

Equations

• Fragments.Tamil.Pronouns.avaL = { form := "avaL", person := some UD.Person.third, number := some Number.sg }

def Fragments.Tamil.Pronouns.avar : Core.Pronouns.PronounEntry

avar — 3sg honorific.

Equations

• Fragments.Tamil.Pronouns.avar = { form := "avar", person := some UD.Person.third, number := some Number.sg, register := Core.Register.Level.formal }

def Fragments.Tamil.Pronouns.avarkaL : Core.Pronouns.PronounEntry

avarkaL — 3pl (human).

Equations

• Fragments.Tamil.Pronouns.avarkaL = { form := "avarkaL", person := some UD.Person.third, number := some Number.pl }

def Fragments.Tamil.Pronouns.secondPersonPronouns : List Core.Pronouns.PronounEntry

Equations

• Fragments.Tamil.Pronouns.secondPersonPronouns = [Fragments.Tamil.Pronouns.nii, Fragments.Tamil.Pronouns.niingaL]

def Fragments.Tamil.Pronouns.allPronouns : List Core.Pronouns.PronounEntry

Equations

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

def Fragments.Tamil.Pronouns.suffNH : Core.Pronouns.AllocutiveEntry

-aay non-honorific suffix.

Equations

• Fragments.Tamil.Pronouns.suffNH = { form := "-aay", register := Core.Register.Level.informal, gloss := "2sg.NH" }

def Fragments.Tamil.Pronouns.suffH : Core.Pronouns.AllocutiveEntry

-iingaL honorific suffix.

Equations

• Fragments.Tamil.Pronouns.suffH = { form := "-iingaL", register := Core.Register.Level.formal, gloss := "2sg.H" }

def Fragments.Tamil.Pronouns.allAllocMarkers : List Core.Pronouns.AllocutiveEntry

Equations

• Fragments.Tamil.Pronouns.allAllocMarkers = [Fragments.Tamil.Pronouns.suffNH, Fragments.Tamil.Pronouns.suffH]

theorem Fragments.Tamil.Pronouns.has_all_persons : (allPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.person == some UD.Person.first) = true ∧ (allPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.person == some UD.Person.second) = true ∧ (allPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.person == some UD.Person.third) = true

All three persons are attested.

theorem Fragments.Tamil.Pronouns.has_both_numbers : (allPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.number == some Number.sg) = true ∧ (allPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.number == some Number.pl) = true

Both singular and plural are attested.

theorem Fragments.Tamil.Pronouns.has_incl_excl : (List.filter (fun (p : Core.Pronouns.PronounEntry) => p.person == some UD.Person.first && p.number == some Number.pl) allPronouns).length = 2

Tamil has inclusive/exclusive distinction in 1pl.

theorem Fragments.Tamil.Pronouns.second_person_all_2p : (secondPersonPronouns.all fun (x : Core.Pronouns.PronounEntry) => x.person == some UD.Person.second) = true

2nd person pronouns are all second person.

theorem Fragments.Tamil.Pronouns.tv_distinction : (secondPersonPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.register == Core.Register.Level.informal) = true ∧ (secondPersonPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.register == Core.Register.Level.formal) = true

The T/V register distinction is present in 2nd person.

theorem Fragments.Tamil.Pronouns.markers_match_2p : List.map (fun (x : Core.Pronouns.AllocutiveEntry) => x.register) allAllocMarkers = List.map (fun (x : Core.Pronouns.PronounEntry) => x.register) secondPersonPronouns

Allocutive markers match 2nd person pronoun register levels.