def Fragments.Hindi.Pronouns.maiN : Typology.PronounEntry

maiṃ — 1sg.

Equations

• Fragments.Hindi.Pronouns.maiN = { form := "maiṃ", person := some UD.Person.first, number := some Number.sg }

def Fragments.Hindi.Pronouns.ham : Typology.PronounEntry

ham — 1pl.

Equations

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

def Fragments.Hindi.Pronouns.tuu : Typology.PronounEntry

tuu — 2sg non-honorific (intimate/inferior).

Equations

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

def Fragments.Hindi.Pronouns.tum : Typology.PronounEntry

tum — 2sg honorific (neutral).

Equations

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

def Fragments.Hindi.Pronouns.aap : Typology.PronounEntry

aap — 2sg high-honorific (respectful).

Equations

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

def Fragments.Hindi.Pronouns.vah : Typology.PronounEntry

vah — 3sg (distal demonstrative, standard pronoun).

Equations

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

def Fragments.Hindi.Pronouns.ve : Typology.PronounEntry

ve — 3pl (distal demonstrative plural).

Equations

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

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

Equations

• Fragments.Hindi.Pronouns.secondPersonPronouns = [Fragments.Hindi.Pronouns.tuu, Fragments.Hindi.Pronouns.tum, Fragments.Hindi.Pronouns.aap]

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

Equations

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

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

-aa non-honorific imperative suffix (e.g., jaa "go!").

Equations

• Fragments.Hindi.Pronouns.suffNH = { form := "-aa", register := Features.Register.Level.informal, gloss := "IMP.NH" }

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

-e honorific imperative suffix (e.g., jao "go").

Equations

• Fragments.Hindi.Pronouns.suffH = { form := "-e", register := Features.Register.Level.neutral, gloss := "IMP.H" }

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

-iye high-honorific imperative suffix (e.g., jaaiye "please go").

Equations

• Fragments.Hindi.Pronouns.suffHH = { form := "-iye", register := Features.Register.Level.formal, gloss := "IMP.HH" }

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

Equations

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

theorem Fragments.Hindi.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.Hindi.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.Hindi.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.Hindi.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.Hindi.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.