def Fragments.Maithili.Pronouns.hum : Typology.PronounEntry

hum — 1sg.

Equations

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

def Fragments.Maithili.Pronouns.humSab : Typology.PronounEntry

hum sab — 1pl.

Equations

• Fragments.Maithili.Pronouns.humSab = { form := "hum sab", person := some UD.Person.first, number := some Number.pl }

def Fragments.Maithili.Pronouns.toN : Typology.PronounEntry

tõ — 2sg non-honorific.

Equations

• Fragments.Maithili.Pronouns.toN = { form := "tõ", person := some UD.Person.second, number := some Number.sg }

def Fragments.Maithili.Pronouns.ahaN : Typology.PronounEntry

ahã — 2sg honorific.

Equations

• Fragments.Maithili.Pronouns.ahaN = { form := "ahã", person := some UD.Person.second, number := some Number.sg, register := Features.Register.Level.neutral }

def Fragments.Maithili.Pronouns.apne : Typology.PronounEntry

apne — 2sg high-honorific.

Equations

• Fragments.Maithili.Pronouns.apne = { form := "apne", person := some UD.Person.second, number := some Number.sg, register := Features.Register.Level.formal }

def Fragments.Maithili.Pronouns.uN : Typology.PronounEntry

ũ — 3sg non-honorific (distal).

Equations

• Fragments.Maithili.Pronouns.uN = { form := "ũ", person := some UD.Person.third, number := some Number.sg }

def Fragments.Maithili.Pronouns.o : Typology.PronounEntry

o — 3sg honorific.

Equations

• Fragments.Maithili.Pronouns.o = { form := "o", person := some UD.Person.third, number := some Number.sg, register := Features.Register.Level.neutral }

def Fragments.Maithili.Pronouns.uNSab : Typology.PronounEntry

ũ sab — 3pl.

Equations

• Fragments.Maithili.Pronouns.uNSab = { form := "ũ sab", person := some UD.Person.third, number := some Number.pl }

def Fragments.Maithili.Pronouns.secondPersonPronouns : List Typology.PronounEntry

Equations

• Fragments.Maithili.Pronouns.secondPersonPronouns = [Fragments.Maithili.Pronouns.toN, Fragments.Maithili.Pronouns.ahaN, Fragments.Maithili.Pronouns.apne]

def Fragments.Maithili.Pronouns.allPronouns : List Typology.PronounEntry

Equations

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

def Fragments.Maithili.Pronouns.suffNH : Typology.AllocutiveEntry

Non-honorific finite suffix.

Equations

• Fragments.Maithili.Pronouns.suffNH = { form := "-ah", register := Features.Register.Level.informal, gloss := "FIN.NH" }

def Fragments.Maithili.Pronouns.suffH : Typology.AllocutiveEntry

Honorific finite suffix.

Equations

• Fragments.Maithili.Pronouns.suffH = { form := "-thunh", register := Features.Register.Level.neutral, gloss := "FIN.H" }

def Fragments.Maithili.Pronouns.suffHH : Typology.AllocutiveEntry

High-honorific finite suffix.

Equations

• Fragments.Maithili.Pronouns.suffHH = { form := "-lnhi", register := Features.Register.Level.formal, gloss := "FIN.HH" }

def Fragments.Maithili.Pronouns.allAllocMarkers : List Typology.AllocutiveEntry

Equations

• Fragments.Maithili.Pronouns.allAllocMarkers = [Fragments.Maithili.Pronouns.suffNH, Fragments.Maithili.Pronouns.suffH, Fragments.Maithili.Pronouns.suffHH]

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

All three persons are attested.

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

Both singular and plural are attested.

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

2nd person pronouns are all second person.

theorem Fragments.Maithili.Pronouns.three_levels : List.map (fun (x : Typology.PronounEntry) => x.register) secondPersonPronouns = [Features.Register.Level.informal, Features.Register.Level.neutral, Features.Register.Level.formal]

Three-level register distinction in 2nd person.

theorem Fragments.Maithili.Pronouns.markers_three_levels : List.map (fun (x : Typology.AllocutiveEntry) => x.register) allAllocMarkers = [Features.Register.Level.informal, Features.Register.Level.neutral, Features.Register.Level.formal]

Allocutive markers have three levels matching 2nd person pronouns.

theorem Fragments.Maithili.Pronouns.third_person_honorific : uN.register = Features.Register.Level.informal ∧ o.register = Features.Register.Level.neutral

3rd person also has a register distinction.