def Hindi.Pronouns.maiN : PersonalPronoun

maiṃ — 1sg.

Equations

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

def Hindi.Pronouns.ham : PersonalPronoun

ham — 1pl.

Equations

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

def Hindi.Pronouns.tuu : PersonalPronoun

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

Equations

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

def Hindi.Pronouns.tum : PersonalPronoun

tum — 2sg honorific (neutral).

Equations

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

def Hindi.Pronouns.aap : PersonalPronoun

aap — 2sg high-honorific (respectful).

Equations

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

def Hindi.Pronouns.vah : PersonalPronoun

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

Equations

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

def Hindi.Pronouns.ve : PersonalPronoun

ve — 3pl (distal demonstrative plural).

Equations

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

def Hindi.Pronouns.secondPersonPronouns : List PersonalPronoun

Equations

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

def Hindi.Pronouns.allPronouns : List PersonalPronoun

Equations

• Hindi.Pronouns.allPronouns = [Hindi.Pronouns.maiN, Hindi.Pronouns.ham] ++ Hindi.Pronouns.secondPersonPronouns ++ [Hindi.Pronouns.vah, Hindi.Pronouns.ve]

def Hindi.Pronouns.suffNH : Pronoun.AllocutiveEntry

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

Equations

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

def Hindi.Pronouns.suffH : Pronoun.AllocutiveEntry

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

Equations

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

def Hindi.Pronouns.suffHH : Pronoun.AllocutiveEntry

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

Equations

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

def Hindi.Pronouns.allAllocMarkers : List Pronoun.AllocutiveEntry

Equations

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

theorem Hindi.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 Hindi.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 Hindi.Pronouns.second_person_all_2p : (secondPersonPronouns.all fun (x : PersonalPronoun) => x.person == some Person.second) = true

2nd person pronouns are all second person.

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