Spanish Pronoun Fragment

@cite{adamson-zompi-2025}

Personal pronouns (strong forms) for Spanish, including the polite pronoun USTED.

T/V distinction

Spanish has a T/V distinction:

• Singular: tú (familiar T) vs usted (formal V, 3sg agreement)
• Plural: vosotros (familiar, Peninsular) vs ustedes (formal / general)

USTED and the PCC

Like Italian LEI, USTED triggers 3sg verbal agreement but is interpretably 2nd person. @cite{rezac-2011} observes PCC effects with USTED: the accusative clitic la is grammatical in a 3>3 configuration if its referent is 3rd person, but ungrammatical as polite USTED (§6.1, (43)).

USTED's forms are identical to the 3sg feminine series in some cases (like LEI), though it also has the dedicated citation form usted. Unlike Italian LEI, USTED can also be used in laísta varieties where 3rd person clitics for animates are le (syncretic with dative).

def Fragments.Spanish.Pronouns.yo : Core.Pronouns.PronounEntry

yo — 1sg.

Equations

• Fragments.Spanish.Pronouns.yo = { form := "yo", person := some UD.Person.first, number := some Number.sg }

def Fragments.Spanish.Pronouns.tu : Core.Pronouns.PronounEntry

tú — 2sg familiar (T form).

Equations

• Fragments.Spanish.Pronouns.tu = { form := "tú", person := some UD.Person.second, number := some Number.sg }

def Fragments.Spanish.Pronouns.usted : Core.Pronouns.PronounEntry

usted — polite 2sg (V form, triggers 3sg agreement). Agreement person is 3rd, interpretable person is 2nd. Triggers PCC effects: la as USTED.ACC is banned in 3>USTED configurations (@cite{rezac-2011}, @cite{adamson-zompi-2025} §6.1). @cite{adamson-zompi-2025}

Equations

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

def Fragments.Spanish.Pronouns.el : Core.Pronouns.PronounEntry

él — 3sg masculine.

Equations

• Fragments.Spanish.Pronouns.el = { form := "él", person := some UD.Person.third, number := some Number.sg }

def Fragments.Spanish.Pronouns.ella : Core.Pronouns.PronounEntry

ella — 3sg feminine.

Equations

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

def Fragments.Spanish.Pronouns.nosotros : Core.Pronouns.PronounEntry

nosotros — 1pl.

Equations

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

def Fragments.Spanish.Pronouns.vosotros : Core.Pronouns.PronounEntry

vosotros — 2pl familiar (Peninsular).

Equations

• Fragments.Spanish.Pronouns.vosotros = { form := "vosotros", person := some UD.Person.second, number := some Number.pl }

def Fragments.Spanish.Pronouns.ustedes : Core.Pronouns.PronounEntry

ustedes — 2pl formal / general (triggers 3pl agreement).

Equations

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

def Fragments.Spanish.Pronouns.ellos : Core.Pronouns.PronounEntry

ellos — 3pl masculine.

Equations

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

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

Equations

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

theorem Fragments.Spanish.Pronouns.tv_distinction : tu.register = Core.Register.Level.informal ∧ usted.register = Core.Register.Level.formal

T/V distinction: tú is informal, usted is formal.

theorem Fragments.Spanish.Pronouns.usted_dual_person : usted.person = some UD.Person.third ∧ usted.referentialPerson = some Core.Prominence.PersonLevel.second

USTED has 3rd person agreement features but 2nd person interpretable features. @cite{adamson-zompi-2025}

theorem Fragments.Spanish.Pronouns.ustedes_dual_person : ustedes.person = some UD.Person.third ∧ ustedes.referentialPerson = some Core.Prominence.PersonLevel.second

ustedes (2pl formal) also has dual person features.

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