wh 短语挪走后，里面的照应词可以挑约束者，重构位置可中间可原位；VP 整坨挪走却没这个自由。差别藏在移动物的内部构成里：wh 短语是个名词短语，里面只有一个照应词；VP 是个谓词短语，里面除了 himself，还裹着主语自己的原位语迹 t_i。

按 VP 内部主语假说，主语 Leo_i 本就长在 VP 里，后升上去。VP 前移把它的原位语迹也拖走了；要让 A-链接得上，整个 VP 必须放回原位。这就是”前移的 VP 一律重构回原位”这条铁律的由来——不是约束理论客气给的选项，是 A-链硬逼的。

常见困惑：LF 到底算句法还是算语义？答案是：它是句法层，却是通往语义的那道接口。句法本身只管树形与移位，可 LF 这棵树长成什么样——量词贴在哪、wh 挪到哪、短语放回哪——直接决定了语义怎么读。于是语义学者翻开这棵 LF 树，读来与逻辑学家演算式子颇为神似。

这跟传统语法”句法管词序、语义管意思”两张皮的做法根本不同。GB 的洞见是：意义的差别（辖域宽窄）在句法上有对应的结构差别（QR 贴高贴低）。语义并非事后找补的解释，它就长在句法结构里。

凭什么确信 LF 真有这一层？关键在于：词面上分不出的意思差别，一到 LF 就各有各的树形对应。最有力的三条彼此独立：

其中弱交叉最精巧：He visited nobody. 在 S-结构上 he 居首、nobody 在尾，互不干涉，看似合法；可 QR 把 nobody_i 抬到 IP 附加位后，它反而统制了整个 IP 包括句首的 he_i，代词被一个 A′-算子统制，犯弱交叉。词面上看不出毛病，LF 一发动才暴露——这正是”QR 真在 LF 干活”的铁证。

难点有三：其一，它处理的是看不见的移位，你没法指着句首的 who 说”它挪到这儿了”，只能从语义事实反推树；其二，它把前面所有工具一次性上齐——X′ 定附加位、ECP 管语迹、约束理论定重构、格理论管变项；其三，它带不少悬案，没有标准答案。

建议的学法顺序：先吃透辖域歧义（立层动机），再搞清 wh-raising 与跨语言参数，然后猛攻技术密度最高的 LF-ECP 与 γ 标记，接着分清”可选重构”与”强制重构”，最后补 VP 附加与 there 替换。做题卡住时默念三句口诀：量词是算子，须挪到 A′-位统制变项；LF 语迹照样过 ECP，论元靠论旨管、非论元靠先行管；移位成分在 LF 放回原位或中途位去受约束。