def Magahi.Pronouns.hum : PersonalPronoun

hum — 1sg.

Equations

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

def Magahi.Pronouns.humSab : PersonalPronoun

hum sab — 1pl.

Equations

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

def Magahi.Pronouns.toN : PersonalPronoun

tõ — 2sg non-honorific.

Equations

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

def Magahi.Pronouns.tuN : PersonalPronoun

tũ — 2sg honorific.

Equations

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

def Magahi.Pronouns.apne : PersonalPronoun

apne — 2sg high-honorific.

Equations

• Magahi.Pronouns.apne = { form := "apne", person := some Person.second, number := some Number.singular, register := Features.Register.Level.formal }

def Magahi.Pronouns.i_prox : PersonalPronoun

i — 3sg proximal.

Equations

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

def Magahi.Pronouns.uN : PersonalPronoun

ũ — 3sg distal.

Equations

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

def Magahi.Pronouns.uNSab : PersonalPronoun

ũ sab — 3pl distal.

Equations

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

def Magahi.Pronouns.secondPersonPronouns : List PersonalPronoun

Equations

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

def Magahi.Pronouns.allPronouns : List PersonalPronoun

Equations

• Magahi.Pronouns.allPronouns = [Magahi.Pronouns.hum, Magahi.Pronouns.humSab] ++ Magahi.Pronouns.secondPersonPronouns ++ [Magahi.Pronouns.i_prox, Magahi.Pronouns.uN, Magahi.Pronouns.uNSab]

def Magahi.Pronouns.suffNH : Pronoun.AllocutiveEntry

-l non-honorific past suffix.

Equations

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

def Magahi.Pronouns.suffH : Pronoun.AllocutiveEntry

-lah honorific past suffix.

Equations

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

def Magahi.Pronouns.suffHH : Pronoun.AllocutiveEntry

-lnhi high-honorific past suffix.

Equations

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

def Magahi.Pronouns.allAllocMarkers : List Pronoun.AllocutiveEntry

Equations

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

theorem Magahi.Pronouns.has_all_persons : (allPronouns.any fun (x : PersonalPronoun) => x.person == some Person.first) = true ∧ (allPronouns.any fun (x : PersonalPronoun) => x.person == some Person.second) = true ∧ (allPronouns.any fun (x : PersonalPronoun) => x.person == some Person.third) = true

All three persons are attested.

theorem Magahi.Pronouns.has_both_numbers : (allPronouns.any fun (x : PersonalPronoun) => x.number == some Number.singular) = true ∧ (allPronouns.any fun (x : PersonalPronoun) => x.number == some Number.plural) = true

Both singular and plural are attested.

theorem Magahi.Pronouns.second_person_all_2p : (secondPersonPronouns.all fun (x : PersonalPronoun) => x.person == some Person.second) = true

2nd person pronouns are all second person.

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

Three-level register distinction in 2nd person.

theorem Magahi.Pronouns.markers_three_levels : List.map (fun (x : Pronoun.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.