Scott 2021: Two Types of Resumptive Pronouns in Swahili

@cite{scott-2021}

Two Types of Resumptive Pronouns in Swahili. Linguistic Inquiry 52(4): 812–833.

Core Claims

Swahili distinguishes two types of resumptive pronouns:

1. Movement copies (personless: -ye, -o): lower copies of Ā-movement chains, reduced by chain reduction at PF. Diagnosed by parasitic gap constructions — the "true gap" position must license movement, and the "parasitic gap" position shows personless resumptives.

2. Base-generated bound pronouns (person-matching: -mi, -we, -si, -nyi): not copies — syntactically bound by the head of the RC. Diagnosed by adjunct islands — movement is blocked, so only binding is available, and bound resumptives obligatorily match person.

Analysis: Chain Reduction + MaxElide

Following @cite{landau-2006} and @cite{van-urk-2018}:

• Movement leaves full copies of the pronoun (including PersP)
• Chain reduction at PF deletes copies except the highest
• Where a phonological requirement (bimoraic Minimality on monosyllabic prepositions) prevents full deletion, MaxElide deletes the largest deletable constituent — PersP
• After PersP deletion, the remaining features [GEN: ANIM, NUM: SG/PL] trigger insertion of the less specific (personless) VI -ye or -o

DP Structure (Tree-Based)

Pronouns: [DP D [NumP Num [nP n_anim [PersP Pers:x]]]] Lexical DPs: [DP D [NumP Num [nP n/n_anim [√P √]]]]

Modeled using Core.Tree DPCat String with Minimalism-grounded categories (D, Num, n, Pers).

Vocabulary Insertion (FeatureBundle-Based)

Uses Minimalism.FeatureBundle and Morphology.DM.VI.vocabularyInsertSimple from the DM theory module. The Elsewhere Condition is structural: person- specified rules (specificity 3) beat personless defaults (specificity 2). Chain reduction removes person features from the bundle, so only the default matches.

inductive Phenomena.FillerGap.Studies.Scott2021.DPCat : Type

Categories for DP-internal structure. Grounded in Minimalism categories but restricted to the four projections relevant to Bantu pronoun structure (@cite{scott-2021}).

• D : DPCat
• Num : DPCat
• n : DPCat
• Pers : DPCat

instance Phenomena.FillerGap.Studies.Scott2021.instDecidableEqDPCat : DecidableEq DPCat

Equations

• Phenomena.FillerGap.Studies.Scott2021.instDecidableEqDPCat x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Phenomena.FillerGap.Studies.Scott2021.instBEqDPCat : BEq DPCat

Equations

• Phenomena.FillerGap.Studies.Scott2021.instBEqDPCat = { beq := Phenomena.FillerGap.Studies.Scott2021.instBEqDPCat.beq }

def Phenomena.FillerGap.Studies.Scott2021.instBEqDPCat.beq : DPCat → DPCat → Bool

Equations

• Phenomena.FillerGap.Studies.Scott2021.instBEqDPCat.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Phenomena.FillerGap.Studies.Scott2021.instReprDPCat.repr : DPCat → ℕ → Std.Format

Equations

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

instance Phenomena.FillerGap.Studies.Scott2021.instReprDPCat : Repr DPCat

Equations

• Phenomena.FillerGap.Studies.Scott2021.instReprDPCat = { reprPrec := Phenomena.FillerGap.Studies.Scott2021.instReprDPCat.repr }

instance Phenomena.FillerGap.Studies.Scott2021.instInhabitedDPCat : Inhabited DPCat

Equations

• Phenomena.FillerGap.Studies.Scott2021.instInhabitedDPCat = { default := Phenomena.FillerGap.Studies.Scott2021.DPCat.D }

def Phenomena.FillerGap.Studies.Scott2021.pronTree1sg : Core.Tree.Tree DPCat String

1SG pronoun mi: [DP D [NumP Num:sg [nP n_anim [PersP 1]]]] @cite{scott-2021}.

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.pronTree2sg : Core.Tree.Tree DPCat String

2SG pronoun we: [DP D [NumP Num:sg [nP n_anim [PersP 2]]]]

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.pronTreeCl1 : Core.Tree.Tree DPCat String

Noun class 1 pronoun ye (no person): [DP D [NumP Num:sg [nP n_anim]]] @cite{scott-2021}. This is also the structure AFTER chain reduction deletes PersP from a 1SG/2SG pronoun.

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.pronTree1pl : Core.Tree.Tree DPCat String

Plural counterparts.

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.pronTreeCl2 : Core.Tree.Tree DPCat String

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.deletePersP : Core.Tree.Tree DPCat String → Core.Tree.Tree DPCat String

Delete the PersP subtree from a pronoun tree. This is what MaxElide does to movement copies: it removes the biggest deletable constituent, which is PersP (nP cannot be deleted because Num and n form a portmanteau — no VI exists for Num alone).

Uses mutual recursion with list helpers so that tree operations reduce definitionally on concrete trees.

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.FillerGap.Studies.Scott2021.deletePersP (Core.Tree.Tree.node c children) = Core.Tree.Tree.node c (Phenomena.FillerGap.Studies.Scott2021.mapDeletePersP✝ children)
• Phenomena.FillerGap.Studies.Scott2021.deletePersP x✝ = x✝

theorem Phenomena.FillerGap.Studies.Scott2021.delete_persP_1sg : deletePersP pronTree1sg = pronTreeCl1

Deleting PersP from a 1SG pronoun yields a class 1 pronoun.

theorem Phenomena.FillerGap.Studies.Scott2021.delete_persP_2sg : deletePersP pronTree2sg = pronTreeCl1

Deleting PersP from a 2SG pronoun yields the same class 1 pronoun.

theorem Phenomena.FillerGap.Studies.Scott2021.delete_persP_1pl : deletePersP pronTree1pl = pronTreeCl2

Deleting PersP from a 1PL pronoun yields a class 2 pronoun.

theorem Phenomena.FillerGap.Studies.Scott2021.delete_persP_idempotent : deletePersP pronTreeCl1 = pronTreeCl1

Class 1 pronoun has no PersP — deletion is idempotent.

def Phenomena.FillerGap.Studies.Scott2021.terminalToFeature : DPCat → String → Option Minimalism.FeatureVal

Extract the feature bundle from a pronoun tree's terminals. Each terminal maps to a FeatureVal:

• Pers "1" → phi (person .first)
• Pers "2" → phi (person .second)
• Num "sg" → phi (number .Sing)
• Num "pl" → phi (number .Plur)
• n "anim" → phi (gender 1) (encoding animacy as gender 1)

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.FillerGap.Studies.Scott2021.terminalToFeature Phenomena.FillerGap.Studies.Scott2021.DPCat.Num "sg" = some (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.number UD.Number.Sing))
• Phenomena.FillerGap.Studies.Scott2021.terminalToFeature Phenomena.FillerGap.Studies.Scott2021.DPCat.Num "pl" = some (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.number UD.Number.Plur))
• Phenomena.FillerGap.Studies.Scott2021.terminalToFeature Phenomena.FillerGap.Studies.Scott2021.DPCat.n "anim" = some (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.gender 1))
• Phenomena.FillerGap.Studies.Scott2021.terminalToFeature x✝¹ x✝ = none

def Phenomena.FillerGap.Studies.Scott2021.extractFeatures : Core.Tree.Tree DPCat String → Minimalism.FeatureBundle

Collect all features from a tree's terminals. Uses mutual recursion for definitional reduction.

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.FillerGap.Studies.Scott2021.extractFeatures (Core.Tree.Tree.node a children) = Phenomena.FillerGap.Studies.Scott2021.extractFeaturesList✝ children
• Phenomena.FillerGap.Studies.Scott2021.extractFeatures (Core.Tree.Tree.trace a a_1) = []
• Phenomena.FillerGap.Studies.Scott2021.extractFeatures (Core.Tree.Tree.bind a a_1 body) = Phenomena.FillerGap.Studies.Scott2021.extractFeatures body

theorem Phenomena.FillerGap.Studies.Scott2021.features_1sg : extractFeatures pronTree1sg = [Minimalism.GramFeature.valued (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.number UD.Number.Sing)), Minimalism.GramFeature.valued (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.gender 1)), Minimalism.GramFeature.valued (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.person Core.Prominence.PersonLevel.first))]

1SG pronoun has features: [number:sg, gender:anim, person:1]. (Order follows depth-first tree traversal.)

theorem Phenomena.FillerGap.Studies.Scott2021.features_after_deletion : extractFeatures (deletePersP pronTree1sg) = [Minimalism.GramFeature.valued (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.number UD.Number.Sing)), Minimalism.GramFeature.valued (Minimalism.FeatureVal.phi (Minimalism.PhiFeature.gender 1))]

After PersP deletion, features are: [number:sg, gender:anim] — no person.

def Phenomena.FillerGap.Studies.Scott2021.hasPerson (fb : Minimalism.FeatureBundle) : Bool

Helper: does a feature bundle contain a person feature?

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.getPerson (fb : Minimalism.FeatureBundle) : Option Core.Prominence.PersonLevel

Helper: extract the person level if present.

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.isSg (fb : Minimalism.FeatureBundle) : Bool

Helper: is the number singular?

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.isAnim (fb : Minimalism.FeatureBundle) : Bool

Helper: does the bundle contain animacy?

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.resumptiveVIRules : List (Morphology.DM.VI.VocabItem Minimalism.FeatureBundle Unit)

Swahili resumptive VI rules using the DM VocabItem type. @cite{scott-2021}. Person-specified rules have specificity 3 (checking 3 features); personless defaults have specificity 2. The Elsewhere Condition in vocabularyInsertSimple picks the most specific matching rule.

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.insertResumptive (fb : Minimalism.FeatureBundle) : String

Insert the correct resumptive exponent for a feature bundle using the DM Elsewhere Condition.

Equations

• Phenomena.FillerGap.Studies.Scott2021.insertResumptive fb = (Morphology.DM.VI.vocabularyInsertSimple Phenomena.FillerGap.Studies.Scott2021.resumptiveVIRules fb).getD "-ye"

inductive Phenomena.FillerGap.Studies.Scott2021.PronOrigin : Type

Whether a pronoun occurrence is a movement copy (part of an Ā-movement chain). Only copies undergo chain reduction.

• bound : PronOrigin
• movementCopy : PronOrigin

instance Phenomena.FillerGap.Studies.Scott2021.instDecidableEqPronOrigin : DecidableEq PronOrigin

Equations

• Phenomena.FillerGap.Studies.Scott2021.instDecidableEqPronOrigin x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.FillerGap.Studies.Scott2021.instBEqPronOrigin.beq : PronOrigin → PronOrigin → Bool

Equations

• Phenomena.FillerGap.Studies.Scott2021.instBEqPronOrigin.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.FillerGap.Studies.Scott2021.instBEqPronOrigin : BEq PronOrigin

Equations

• Phenomena.FillerGap.Studies.Scott2021.instBEqPronOrigin = { beq := Phenomena.FillerGap.Studies.Scott2021.instBEqPronOrigin.beq }

instance Phenomena.FillerGap.Studies.Scott2021.instReprPronOrigin : Repr PronOrigin

Equations

• Phenomena.FillerGap.Studies.Scott2021.instReprPronOrigin = { reprPrec := Phenomena.FillerGap.Studies.Scott2021.instReprPronOrigin.repr }

def Phenomena.FillerGap.Studies.Scott2021.instReprPronOrigin.repr : PronOrigin → ℕ → Std.Format

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.realize (tree : Core.Tree.Tree DPCat String) (origin : PronOrigin) : String

Full pipeline: tree → (optional) MaxElide → feature extraction → VI.

• Bound pronouns: tree is unchanged → full features → person-matching VI
• Movement copies: MaxElide deletes PersP → reduced features → personless VI

Equations

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

theorem Phenomena.FillerGap.Studies.Scott2021.island_bound_1sg : realize pronTree1sg PronOrigin.bound = "-mi"

Bound 1SG in adjunct island → person-matching -mi.

theorem Phenomena.FillerGap.Studies.Scott2021.island_bound_2sg : realize pronTree2sg PronOrigin.bound = "-we"

Bound 2SG in adjunct island → person-matching -we.

theorem Phenomena.FillerGap.Studies.Scott2021.island_bound_1pl : realize pronTree1pl PronOrigin.bound = "-si"

Bound 1PL in adjunct island → person-matching -si.

theorem Phenomena.FillerGap.Studies.Scott2021.parasitic_movement_1sg : realize pronTree1sg PronOrigin.movementCopy = "-ye"

Movement copy 1SG in parasitic gap → personless -ye.

theorem Phenomena.FillerGap.Studies.Scott2021.parasitic_movement_2sg : realize pronTree2sg PronOrigin.movementCopy = "-ye"

Movement copy 2SG in parasitic gap → also -ye. Person is irrelevant because chain reduction deletes PersP regardless.

theorem Phenomena.FillerGap.Studies.Scott2021.parasitic_movement_1pl : realize pronTree1pl PronOrigin.movementCopy = "-o"

Movement copy 1PL in parasitic gap → personless -o.

theorem Phenomena.FillerGap.Studies.Scott2021.movement_erases_person_distinction : realize pronTree1sg PronOrigin.movementCopy = realize pronTree2sg PronOrigin.movementCopy

Both 1SG and 2SG movement copies produce the same form — chain reduction erases the person distinction.

theorem Phenomena.FillerGap.Studies.Scott2021.end_to_end : deletePersP pronTree1sg = pronTreeCl1 ∧ hasPerson (extractFeatures (deletePersP pronTree1sg)) = false ∧ realize pronTree1sg PronOrigin.movementCopy = "-ye" ∧ realize pronTree1sg PronOrigin.bound = "-mi"

The complete derivation in one theorem:

1. Start with 1SG pronoun tree (with PersP:1)
2. MaxElide deletes PersP → tree matches class 1 structure
3. Feature extraction yields [number:sg, gender:anim] — no person
4. VI inserts -ye (specificity 2 default beats nothing more specific)
5. The same tree, unreduced (bound), yields -mi (specificity 3 wins)

structure Phenomena.FillerGap.Studies.Scott2021.ParasiticGapJudgments : Type

Parasitic gap judgments per speaker. Each field encodes whether the combination (true-gap-form ... parasitic-gap-form) is accepted. @cite{scott-2021} Table 4.

• moveMove : Bool
• pronounMove : Bool
• pronounPronoun : Bool
• movePronoun : Bool

instance Phenomena.FillerGap.Studies.Scott2021.instDecidableEqParasiticGapJudgments : DecidableEq ParasiticGapJudgments

Equations

• Phenomena.FillerGap.Studies.Scott2021.instDecidableEqParasiticGapJudgments = Phenomena.FillerGap.Studies.Scott2021.instDecidableEqParasiticGapJudgments.decEq

def Phenomena.FillerGap.Studies.Scott2021.instDecidableEqParasiticGapJudgments.decEq (x✝ x✝¹ : ParasiticGapJudgments) : Decidable (x✝ = x✝¹)

Equations

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

instance Phenomena.FillerGap.Studies.Scott2021.instBEqParasiticGapJudgments : BEq ParasiticGapJudgments

Equations

• Phenomena.FillerGap.Studies.Scott2021.instBEqParasiticGapJudgments = { beq := Phenomena.FillerGap.Studies.Scott2021.instBEqParasiticGapJudgments.beq }

def Phenomena.FillerGap.Studies.Scott2021.instBEqParasiticGapJudgments.beq : ParasiticGapJudgments → ParasiticGapJudgments → Bool

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.FillerGap.Studies.Scott2021.instBEqParasiticGapJudgments.beq x✝¹ x✝ = false

instance Phenomena.FillerGap.Studies.Scott2021.instReprParasiticGapJudgments : Repr ParasiticGapJudgments

Equations

• Phenomena.FillerGap.Studies.Scott2021.instReprParasiticGapJudgments = { reprPrec := Phenomena.FillerGap.Studies.Scott2021.instReprParasiticGapJudgments.repr }

def Phenomena.FillerGap.Studies.Scott2021.instReprParasiticGapJudgments.repr : ParasiticGapJudgments → ℕ → Std.Format

Equations

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

def Phenomena.FillerGap.Studies.Scott2021.speaker1 : ParasiticGapJudgments

Equations

• Phenomena.FillerGap.Studies.Scott2021.speaker1 = { moveMove := true, pronounMove := false, pronounPronoun := false, movePronoun := false }

def Phenomena.FillerGap.Studies.Scott2021.speaker2 : ParasiticGapJudgments

Equations

• Phenomena.FillerGap.Studies.Scott2021.speaker2 = { moveMove := true, pronounMove := false, pronounPronoun := true, movePronoun := false }

def Phenomena.FillerGap.Studies.Scott2021.speaker3 : ParasiticGapJudgments

Equations

• Phenomena.FillerGap.Studies.Scott2021.speaker3 = { moveMove := true, pronounMove := false, pronounPronoun := true, movePronoun := false }

theorem Phenomena.FillerGap.Studies.Scott2021.parasitic_gap_generalization : (speaker1.moveMove && speaker2.moveMove && speaker3.moveMove) = true ∧ (speaker1.pronounMove || speaker2.pronounMove || speaker3.pronounMove) = false ∧ (speaker1.movePronoun || speaker2.movePronoun || speaker3.movePronoun) = false

All speakers accept ye...ye (Row 1); no speaker accepts mi...ye (Row 2) or ye...mi (Row 4). The parasitic gap requires the true gap to also be movement, and a movement true gap cannot license a bound parasitic pronoun.

theorem Phenomena.FillerGap.Studies.Scott2021.islands_are_syntactic : realize pronTree1sg PronOrigin.bound = "-mi" ∧ realize pronTree1sg PronOrigin.movementCopy = "-ye" ∧ realize pronTree1sg PronOrigin.bound ≠ realize pronTree1sg PronOrigin.movementCopy

Both island constructions have overt resumptive pronouns — the difference is syntactic (movement vs. binding), not phonological (overt vs. gap). If islands were phonological, both -mi and -ye should be equally acceptable inside islands.

def Phenomena.FillerGap.Studies.Scott2021.DPCat.isDeletable : DPCat → Bool

Whether a DP layer can be deleted by MaxElide. Deletable iff the remaining material can be spelled out (a VI exists for the residue).

• PersP: deletable (VI [sg + n_anim] ↔ -ye exists)
• nP: NOT deletable (Num and n portmanteau; no VI for Num alone)
• NumP/DP: never deleted (highest copy is pronounced)

Equations

• Phenomena.FillerGap.Studies.Scott2021.DPCat.Pers.isDeletable = true
• Phenomena.FillerGap.Studies.Scott2021.DPCat.n.isDeletable = false
• Phenomena.FillerGap.Studies.Scott2021.DPCat.Num.isDeletable = false
• Phenomena.FillerGap.Studies.Scott2021.DPCat.D.isDeletable = false

def Phenomena.FillerGap.Studies.Scott2021.maxElideTarget : Option DPCat

MaxElide: "Elide the biggest deletable constituent." Trying from biggest (D) to smallest (Pers), PersP is the only deletable layer.

Equations

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

theorem Phenomena.FillerGap.Studies.Scott2021.maxElide_targets_persP : maxElideTarget = some DPCat.Pers

theorem Phenomena.FillerGap.Studies.Scott2021.reduction_preserves_number : isSg (extractFeatures (deletePersP pronTree1sg)) = isSg (extractFeatures pronTree1sg)

Chain reduction (PersP deletion) preserves number features.

theorem Phenomena.FillerGap.Studies.Scott2021.reduction_preserves_animacy : isAnim (extractFeatures (deletePersP pronTree1sg)) = isAnim (extractFeatures pronTree1sg)

Chain reduction preserves animacy features.

theorem Phenomena.FillerGap.Studies.Scott2021.reduction_removes_person : hasPerson (extractFeatures pronTree1sg) = true ∧ hasPerson (extractFeatures (deletePersP pronTree1sg)) = false

Chain reduction removes person features.

theorem Phenomena.FillerGap.Studies.Scott2021.bound_retains_person : hasPerson (extractFeatures pronTree1sg) = true

Bound pronouns retain person features (no PersP deletion).

theorem Phenomena.FillerGap.Studies.Scott2021.movement_is_subset : have fullFeats := extractFeatures pronTree1sg; have reducedFeats := extractFeatures (deletePersP pronTree1sg); List.length reducedFeats < List.length fullFeats ∧ (List.all reducedFeats fun (x : Minimalism.GramFeature) => decide (x ∈ fullFeats)) = true

If a language has both types with morphological distinction, the movement resumptive is featurally a proper subset of the bound resumptive (chain reduction only deletes).

def Phenomena.FillerGap.Studies.Scott2021.canAlternateWithFull (origin : PronOrigin) : Bool

Full pronoun alternation: bound -mi can alternate with full mimi, but movement -ye cannot alternate with yeye. Movement copies exist only to satisfy bimoraic minimality.

Equations

• Phenomena.FillerGap.Studies.Scott2021.canAlternateWithFull Phenomena.FillerGap.Studies.Scott2021.PronOrigin.bound = true
• Phenomena.FillerGap.Studies.Scott2021.canAlternateWithFull Phenomena.FillerGap.Studies.Scott2021.PronOrigin.movementCopy = false

theorem Phenomena.FillerGap.Studies.Scott2021.bound_alternates : canAlternateWithFull PronOrigin.bound = true

theorem Phenomena.FillerGap.Studies.Scott2021.movement_no_alternate : canAlternateWithFull PronOrigin.movementCopy = false

theorem Phenomena.FillerGap.Studies.Scott2021.fragment_consistency_1sg : Fragments.Swahili.Relativization.resumptivePronounIsPersonMatching Fragments.Swahili.Relativization.Person.first Fragments.Swahili.Relativization.GramNum.sg = true ∧ realize pronTree1sg PronOrigin.bound = Fragments.Swahili.Relativization.resumptivePronoun Fragments.Swahili.Relativization.Person.first Fragments.Swahili.Relativization.GramNum.sg ∧ realize pronTree1sg PronOrigin.movementCopy = Fragments.Swahili.Relativization.resumptivePronoun Fragments.Swahili.Relativization.Person.third Fragments.Swahili.Relativization.GramNum.sg

The theory-neutral observation in the Fragment (resumptivePronounIsPersonMatching) is consistent with the theoretical pipeline in this study (realize). Person-matching (bound) ↔ Fragment says true; personless (movement) ↔ false.

theorem Phenomena.FillerGap.Studies.Scott2021.marker_classification : Fragments.Swahili.Relativization.ambaMovement.npRel.isMovementCopy = some true ∧ Fragments.Swahili.Relativization.ambaBound.npRel.isMovementCopy = some false ∧ Fragments.Swahili.Relativization.ambaGap.npRel.isMovementCopy = none

The movement marker in the Fragment is correctly classified.

theorem Phenomena.FillerGap.Studies.Scott2021.person_entails_number : hasPerson (extractFeatures pronTree1sg) = true → isSg (extractFeatures pronTree1sg) = true

"If the copied pronouns match in person, they also match in number" (@cite{scott-2021} §6). This follows from the DP structure: Num dominates PersP, so deleting PersP cannot affect Num. Conversely, if person survives (not deleted), then Num — being structurally higher — necessarily also survived.

theorem Phenomena.FillerGap.Studies.Scott2021.number_without_person : isSg (extractFeatures pronTreeCl1) = true ∧ hasPerson (extractFeatures pronTreeCl1) = false

The converse does NOT hold: number can be present without person (as in noun class pronouns / movement copies).