def Punjabi.Pronouns.maiN : PersonalPronoun

maiṃ — 1sg.

Equations

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

def Punjabi.Pronouns.asiiN : PersonalPronoun

asiiṃ — 1pl.

Equations

• Punjabi.Pronouns.asiiN = { form := "asiiṃ", person := some Person.first, number := some Number.plural }

def Punjabi.Pronouns.tuN : PersonalPronoun

tũ — 2sg non-honorific.

Equations

• Punjabi.Pronouns.tuN = { form := "tũ", person := some Person.second, number := some Number.singular }

def Punjabi.Pronouns.tusii : PersonalPronoun

tusii — 2sg honorific (also 2pl).

Equations

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

def Punjabi.Pronouns.uh_sg : PersonalPronoun

uh — 3sg (distal demonstrative).

Equations

• Punjabi.Pronouns.uh_sg = { form := "uh", person := some Person.third, number := some Number.singular }

def Punjabi.Pronouns.uh_pl : PersonalPronoun

uh — 3pl (same form as 3sg in standard Punjabi).

Equations

• Punjabi.Pronouns.uh_pl = { form := "uh", person := some Person.third, number := some Number.plural }

def Punjabi.Pronouns.secondPersonPronouns : List PersonalPronoun

Equations

• Punjabi.Pronouns.secondPersonPronouns = [Punjabi.Pronouns.tuN, Punjabi.Pronouns.tusii]

def Punjabi.Pronouns.allPronouns : List PersonalPronoun

Equations

• Punjabi.Pronouns.allPronouns = [Punjabi.Pronouns.maiN, Punjabi.Pronouns.asiiN] ++ Punjabi.Pronouns.secondPersonPronouns ++ [Punjabi.Pronouns.uh_sg, Punjabi.Pronouns.uh_pl]

def Punjabi.Pronouns.suffNH : Pronoun.AllocutiveEntry

Non-honorific agreement suffix.

Equations

• Punjabi.Pronouns.suffNH = { form := "-ẽ", register := Features.Register.Level.informal, gloss := "AGR.NH" }

def Punjabi.Pronouns.suffH : Pronoun.AllocutiveEntry

Honorific agreement suffix.

Equations

• Punjabi.Pronouns.suffH = { form := "-o", register := Features.Register.Level.formal, gloss := "AGR.H" }

def Punjabi.Pronouns.allAllocMarkers : List Pronoun.AllocutiveEntry

Equations

• Punjabi.Pronouns.allAllocMarkers = [Punjabi.Pronouns.suffNH, Punjabi.Pronouns.suffH]

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

2nd person pronouns are all second person.

theorem Punjabi.Pronouns.tv_distinction : (secondPersonPronouns.any fun (x : PersonalPronoun) => x.register == Features.Register.Level.informal) = true ∧ (secondPersonPronouns.any fun (x : PersonalPronoun) => x.register == Features.Register.Level.formal) = true

The T/V register distinction is present in 2nd person.

theorem Punjabi.Pronouns.markers_match_2p : List.map (fun (x : Pronoun.AllocutiveEntry) => x.register) allAllocMarkers = List.map (fun (x : PersonalPronoun) => x.register) secondPersonPronouns

Allocutive markers match 2nd person pronoun register levels.

theorem Punjabi.Pronouns.third_person_homophony : uh_sg.form = uh_pl.form

3sg and 3pl share the same form (demonstrative-based).