def Fragments.Punjabi.Pronouns.maiN : Core.Pronouns.PronounEntry

maiṃ — 1sg.

Equations

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

def Fragments.Punjabi.Pronouns.asiiN : Core.Pronouns.PronounEntry

asiiṃ — 1pl.

Equations

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

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

tũ — 2sg non-honorific.

Equations

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

def Fragments.Punjabi.Pronouns.tusii : Core.Pronouns.PronounEntry

tusii — 2sg honorific (also 2pl).

Equations

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

def Fragments.Punjabi.Pronouns.uh_sg : Core.Pronouns.PronounEntry

uh — 3sg (distal demonstrative).

Equations

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

def Fragments.Punjabi.Pronouns.uh_pl : Core.Pronouns.PronounEntry

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

Equations

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

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

Equations

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

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

Equations

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

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

Non-honorific agreement suffix.

Equations

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

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

Honorific agreement suffix.

Equations

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

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

Equations

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

theorem Fragments.Punjabi.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.Punjabi.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.Punjabi.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.Punjabi.Pronouns.tv_distinction : (secondPersonPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.register == Core.Register.Level.informal) = true ∧ (secondPersonPronouns.any fun (x : Core.Pronouns.PronounEntry) => x.register == Core.Register.Level.formal) = true

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

theorem Fragments.Punjabi.Pronouns.markers_match_2p : List.map (fun (x : Core.Pronouns.AllocutiveEntry) => x.register) allAllocMarkers = List.map (fun (x : Core.Pronouns.PronounEntry) => x.register) secondPersonPronouns

Allocutive markers match 2nd person pronoun register levels.

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

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