Documentation

Linglib.Syntax.Minimalist.Derivation.Remnant

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 #

References #

Step i of d fronts a remnant: its mover contains the trace left by an earlier mover.

Equations
Instances For
    @[instance_reducible]
    Equations
    theorem Minimalist.Derivation.IsRemnantStep.append {d : Derivation} {steps : List Step} {i : ℕ} (h : d.IsRemnantStep i) :
    (d.append steps).IsRemnantStep i

    A remnant step of a derivation is one of every extension.