Person Feature Decomposition for Spanish Clitics

@cite{cysouw-2009} @cite{munoz-perez-2026}

Bridges @cite{cysouw-2009}'s Category to the person feature decomposition used in Muñoz @cite{munoz-perez-2026}: [±PART], [±AUTHOR], [±SING].

Fission (the postsyntactic operation producing stylistic applicatives) applies iff [+PART, +SING] — i.e., only to 1SG and 2SG. This is derived from the feature geometry, not stipulated per person.

Person features ([±participant], [±author]) come from the canonical Core decomposition Category.toFeatures; this module only adds the Fission-specific combination with [±singular].

def Fragments.Spanish.PersonFeatures.fissionApplicable (p : Core.Person.Category) : Bool

Fission applies iff [+PARTICIPANT, +SINGULAR]. This derives the person restriction on stylistic applicatives: only 1SG and 2SG trigger Fission, not 3SG or any plural.

Equations

• Fragments.Spanish.PersonFeatures.fissionApplicable p = (p.toFeatures.hasParticipant && p.isSingular)

theorem Fragments.Spanish.PersonFeatures.fission_1sg : fissionApplicable Core.Person.Category.s1 = true

Fission applies to 1SG.

theorem Fragments.Spanish.PersonFeatures.fission_2sg : fissionApplicable Core.Person.Category.s2 = true

Fission applies to 2SG.

theorem Fragments.Spanish.PersonFeatures.fission_not_3sg : fissionApplicable Core.Person.Category.s3 = false

Fission does NOT apply to 3SG (not a participant).

theorem Fragments.Spanish.PersonFeatures.fission_not_groups : fissionApplicable Core.Person.Category.minIncl = false ∧ fissionApplicable Core.Person.Category.augIncl = false ∧ fissionApplicable Core.Person.Category.excl = false ∧ fissionApplicable Core.Person.Category.secondGrp = false ∧ fissionApplicable Core.Person.Category.thirdGrp = false

Fission does NOT apply to group categories (not singular).

theorem Fragments.Spanish.PersonFeatures.fission_count : (List.filter fissionApplicable Core.Person.Category.all).length = 2

Exactly 2 of the 8 person categories trigger Fission.