def Fragments.Magahi.Pronouns.hum : Core.Pronouns.PronounEntry

hum — 1sg.

Equations

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

def Fragments.Magahi.Pronouns.humSab : Core.Pronouns.PronounEntry

hum sab — 1pl.

Equations

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

def Fragments.Magahi.Pronouns.toN : Core.Pronouns.PronounEntry

tõ — 2sg non-honorific.

Equations

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

def Fragments.Magahi.Pronouns.tuN : Core.Pronouns.PronounEntry

tũ — 2sg honorific.

Equations

• Fragments.Magahi.Pronouns.tuN = { form := "tũ", person := some UD.Person.second, number := some Number.sg, register := Core.Register.Level.neutral }

def Fragments.Magahi.Pronouns.apne : Core.Pronouns.PronounEntry

apne — 2sg high-honorific.

Equations

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

def Fragments.Magahi.Pronouns.i_prox : Core.Pronouns.PronounEntry

i — 3sg proximal.

Equations

• Fragments.Magahi.Pronouns.i_prox = { form := "i", person := some UD.Person.third, number := some Number.sg }

def Fragments.Magahi.Pronouns.uN : Core.Pronouns.PronounEntry

ũ — 3sg distal.

Equations

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

def Fragments.Magahi.Pronouns.uNSab : Core.Pronouns.PronounEntry

ũ sab — 3pl distal.

Equations

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

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

Equations

• Fragments.Magahi.Pronouns.secondPersonPronouns = [Fragments.Magahi.Pronouns.toN, Fragments.Magahi.Pronouns.tuN, Fragments.Magahi.Pronouns.apne]

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

Equations

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

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

-l non-honorific past suffix.

Equations

• Fragments.Magahi.Pronouns.suffNH = { form := "-l", register := Core.Register.Level.informal, gloss := "PST.NH" }

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

-lah honorific past suffix.

Equations

• Fragments.Magahi.Pronouns.suffH = { form := "-lah", register := Core.Register.Level.neutral, gloss := "PST.H" }

def Fragments.Magahi.Pronouns.suffHH : Core.Pronouns.AllocutiveEntry

-lnhi high-honorific past suffix.

Equations

• Fragments.Magahi.Pronouns.suffHH = { form := "-lnhi", register := Core.Register.Level.formal, gloss := "PST.HH" }

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

Equations

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

theorem Fragments.Magahi.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.Magahi.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.Magahi.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.Magahi.Pronouns.three_levels : List.map (fun (x : Core.Pronouns.PronounEntry) => x.register) secondPersonPronouns = [Core.Register.Level.informal, Core.Register.Level.neutral, Core.Register.Level.formal]

Three-level register distinction in 2nd person.

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

Allocutive markers have three levels matching 2nd person pronouns.