Galician pronouns and allocutive clitics

Personal pronouns of Galician, with the T/V contrast ti / vostede in the singular and vós / vostedes in the plural, and the familiar dative clitics che and vos that double as allocutive markers ([AB26] (9)–(10)): the same morphemes serve as thematic datives, and the allocutive use occurs in every finite embedded clause and inside infinitives.

References

• D. Alok and O. Bhalla, Allocutivity and the Syntax of Honorifics (2026)

inductive Galician.Grade : Type

The honorific grades of Galician pronouns, lowest first.

• familiar : Grade

  The familiar grade, ti and vós.

• formal : Grade

  The formal grade, vostede and vostedes.

@[instance_reducible]

instance Galician.instDecidableEqGrade : DecidableEq Grade

Equations

• Galician.instDecidableEqGrade x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Galician.instFintypeGrade : Fintype Grade

Equations

• Galician.instFintypeGrade = { elems := { val := ↑Galician.Grade.enumList, nodup := Galician.Grade.enumList_nodup }, complete := Galician.instFintypeGrade._proof_1 }

@[instance_reducible]

instance Galician.instReprGrade : Repr Grade

Equations

• Galician.instReprGrade = { reprPrec := Galician.instReprGrade.repr }

def Galician.instReprGrade.repr : Grade → ℕ → Std.Format

Equations

• Galician.instReprGrade.repr Galician.Grade.familiar prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Galician.Grade.familiar")).group prec✝
• Galician.instReprGrade.repr Galician.Grade.formal prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Galician.Grade.formal")).group prec✝

@[instance_reducible]

instance Galician.instLinearOrderGrade : LinearOrder Grade

Equations

• Galician.instLinearOrderGrade = LinearOrder.lift' Galician.Grade.ctorIdx Galician.instLinearOrderGrade._proof_1

def Galician.Pronouns.eu : PersonalPronoun

eu — 1sg.

Equations

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

def Galician.Pronouns.nos : PersonalPronoun

nós — 1pl.

Equations

• Galician.Pronouns.nos = { form := "nós", person := some Person.first, number := some Number.plural }

def Galician.Pronouns.ti : PersonalPronoun

ti — 2sg familiar.

Equations

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

def Galician.Pronouns.vostede : PersonalPronoun

vostede — 2sg formal.

Equations

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

def Galician.Pronouns.vosPl : PersonalPronoun

vós — 2pl familiar.

Equations

• Galician.Pronouns.vosPl = { form := "vós", person := some Person.second, number := some Number.plural }

def Galician.Pronouns.vostedes : PersonalPronoun

vostedes — 2pl formal.

Equations

• Galician.Pronouns.vostedes = { form := "vostedes", person := some Person.second, number := some Number.plural }

def Galician.Pronouns.el : PersonalPronoun

el — 3sg masculine.

Equations

• Galician.Pronouns.el = { form := "el", person := some Person.third, number := some Number.singular, gender := some UD.Gender.Masc }

def Galician.Pronouns.ela : PersonalPronoun

ela — 3sg feminine.

Equations

• Galician.Pronouns.ela = { form := "ela", person := some Person.third, number := some Number.singular, gender := some UD.Gender.Fem }

def Galician.Pronouns.eles : PersonalPronoun

eles — 3pl masculine.

Equations

• Galician.Pronouns.eles = { form := "eles", person := some Person.third, number := some Number.plural, gender := some UD.Gender.Masc }

def Galician.Pronouns.elas : PersonalPronoun

elas — 3pl feminine.

Equations

• Galician.Pronouns.elas = { form := "elas", person := some Person.third, number := some Number.plural, gender := some UD.Gender.Fem }

def Galician.Pronouns.addresseeSg : Grade → PersonalPronoun

The second person singular at each grade.

Equations

• Galician.Pronouns.addresseeSg Galician.Grade.familiar = Galician.Pronouns.ti
• Galician.Pronouns.addresseeSg Galician.Grade.formal = Galician.Pronouns.vostede

def Galician.Pronouns.addresseePl : Grade → PersonalPronoun

The second person plural at each grade.

Equations

• Galician.Pronouns.addresseePl Galician.Grade.familiar = Galician.Pronouns.vosPl
• Galician.Pronouns.addresseePl Galician.Grade.formal = Galician.Pronouns.vostedes

def Galician.Pronouns.pronouns : Finset PersonalPronoun

The pronoun inventory.

Equations

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

def Galician.Pronouns.che : Morphology.Morph

The familiar dative clitic che, for a single addressee.

Equations

• Galician.Pronouns.che = Morphology.Morph.encl "che"

def Galician.Pronouns.vos : Morphology.Morph

The familiar dative clitic vos, for several addressees.

Equations

• Galician.Pronouns.vos = Morphology.Morph.encl "vos"

def Galician.Pronouns.allocutiveClitics : List Morphology.Morph

The allocutive clitics.

Equations

• Galician.Pronouns.allocutiveClitics = [Galician.Pronouns.che, Galician.Pronouns.vos]