Remnant movement #
A constituent moves after part of it has moved out, so what fronts is a remnant carrying the
trace of what left it: [Koo97]'s predicate clefts in Vata and Nweh, where the VP fronts
after the verb has raised, the Gungbe and Kwa predicate doubling of [AD09], the
constraints on predicate fronting [vU24] surveys, Toba Batak's VoiceP raising after the
goal and the subject have evacuated it ([CH08], Studies/ColeHermon2008.lean), and
Guébie's particle fronting after the verb has left the VP ([SCD26],
Studies/SandeClemDabkowski2026.lean). On a derivation
the notion is exact: step i fronts a remnant when its mover contains the trace the head of an
earlier mover left. Whether the evacuee's lower copy is pronounced inside the remnant, the verb
doubling of predicate clefts, is a matter of chain pronunciation, phonological for
[Lan06] and syntactic for [Koo97] and [HG17]; the carrier
pronounces no trace and does not decide it. Remnant movement is the converse of smuggling
(Derivation/Smuggling.lean, [Col05]), in which the larger constituent moves with the
smaller one still inside it.
Main definitions #
Main results #
Minimalist.Derivation.IsRemnantStep.append: a remnant step of a derivation is one of every extension.
References #
Step i of d fronts a remnant: its mover contains the trace left by an earlier mover.
Equations
- d.IsRemnantStep i = ∃ m ∈ d.mover? i, ∃ x ∈ (d.take i).movedItems, m.Contains x.headTrace
Instances For
Equations
- d.instDecidableIsRemnantStep i = id inferInstance
A remnant step of a derivation is one of every extension.