Person Feature Decomposition for Spanish Clitics

[Cys09] [MP26]

Bridges [Cys09]'s Category to the person feature decomposition used in Muñoz [MP26]: [±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 Spanish.PersonFeatures.IsFissionApplicable (p : Person.Category) : Prop

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

• Spanish.PersonFeatures.IsFissionApplicable p = (p.toFeatures.hasParticipant = true ∧ p.IsSingular)

@[implicit_reducible]

instance Spanish.PersonFeatures.instDecidablePredCategoryIsFissionApplicable : DecidablePred IsFissionApplicable

Equations

• Spanish.PersonFeatures.instDecidablePredCategoryIsFissionApplicable x✝ = Spanish.PersonFeatures.instDecidablePredCategoryIsFissionApplicable._aux_1 x✝

theorem Spanish.PersonFeatures.fission_1sg : IsFissionApplicable Person.Category.s1

Fission applies to 1SG.

theorem Spanish.PersonFeatures.fission_2sg : IsFissionApplicable Person.Category.s2

Fission applies to 2SG.

theorem Spanish.PersonFeatures.fission_not_3sg : ¬IsFissionApplicable Person.Category.s3

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

theorem Spanish.PersonFeatures.fission_not_groups : ¬IsFissionApplicable Person.Category.minIncl ∧ ¬IsFissionApplicable Person.Category.augIncl ∧ ¬IsFissionApplicable Person.Category.excl ∧ ¬IsFissionApplicable Person.Category.secondGrp ∧ ¬IsFissionApplicable Person.Category.thirdGrp

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

theorem Spanish.PersonFeatures.fission_count : (List.filter (fun (x : Person.Category) => decide (IsFissionApplicable x)) Person.Category.all).length = 2

Exactly 2 of the 8 person categories trigger Fission.