Numeration（词库）： there（虚词，仅范畴 D）、T_main（φ- 无值、EPP 强）、seem、to（强 EPP）、be、three men（φ+[3,PL,MASC]、格待赋值、活跃）、in the room。

步 A1：嵌入不定式 TP 成形

先由 be 与方位短语 Merge，再合并不定式 to（带强 EPP）。此时嵌入 TP 如 (76a)。to 的强特征必须被一个局部名词性成分核查；但语义上此处没有外置主语，于是插入虚词 there 核查 EPP（(76b)）。

A1（(76a)）：嵌入 [TP to(strong) [VP be [three men 在屋里]]]；three men 仍是 φ+ 活跃、格待赋值

A2（(76b)）：插入 there 核查 to 的强 EPP；there 无 φ、无格，故不与 three men 发生一致

步 A2：主句 T probing，长距离 Agree

合并 seem 与主句 T（φ- 无值 + EPP 强），得 (76c)。主句 T 开始 probing 其 C-统制补语。注意路径上有介入成分 there：但 there 没有 [+interpretable] φ，不能给 T 的 φ 赋值，因此不构成对 *three men* 的介入；T 继续下探，找到 *three men*——它有匹配 φ+、可及、且活跃（格待赋值）。Agree 触发（(76d)）：

A3（(76c)→Agree）：主句 T 越过无 φ 的 there，长距离 Agree three men；T 的 φ 被赋值删除，three men 格→主格 NOM

步 A3：强 EPP 触发显性移位，Spell-Out

主句 T 的 φ 已被 long-distance Agree 处理，但它的强 EPP 特征仍须由一个局部成分核查。此时 three men 已在 Agree 后变得不活跃（格已赋值），且 there 已经”占住”了与嵌入 to 的关系；强 EPP 触发最近的虚词 there 显性移位到 [Spec,TP]（(76e)）。

A4（(76e)）：there 上移到 [Spec,TP] 核查主句 EPP；three men 原位(in situ)只被 Agree、不移动

所有 [-interpretable] 特征均已赋值/删除、强特征均被局部核查，Numeration 耗尽，组装成单一根树。施一次 Spell-Out：语音特征送往 PF，形态按已赋值的 φ（3PL）把 seem 实现为复数 seem，而非单数 seems。收敛为 *There seem to be three men in the room*。

对照反例： 若主句动词是单数 *seems*（如 (20b) *there seems … many people*），说明主句 T 的 φ 被赋值为 SG；但 three men 是 PL，二者不匹配——在 Agree 系统里这意味着 T 的 φ- 没有被 three men 成功赋值，强/不可诠释特征悬而未删，故 LF 崩溃。(20c) 的复数动词正是 long-distance Agree 成功的表层签名。

目标句（设想）：”你读了什么？”——wh 成分 *什么* 整体留在原位，不出现前移。按 Move F，这对应 (43c)：只 wh 成分的形式特征 FF 上移 adjoin 到无强特征的疑问 Q。

步 B1：建成 TP，Q 待核查

先 Merge 出 [TP 你 读了 [什么 …]]，并从词库选到疑问补语 Q——Q 有 [-interpretable] wh 特征待核查，但无强特征（汉语参数）。

B1：TP 已成，wh 成分”什么”留在宾语原位；旁立 Q 带 wh-（无强）待核查

步 B2：Copy 形式特征，侧移 adjoin 到 Q

系统 Copy”什么”的形式特征集 FF（wh-、格等），把它与 Q 侧移合并为 N=[FF(什么)+Q]。注意：此时 Q 还没有和 TP 合并，FF 与 Q 都是根对象，这次 adjoin 作用于根，不违反扩展条件。

B2：侧移 Copy——FF(什么) 与 Q 先 adjoin 成一个根 N（此时尚未碰 TP）

步 B3：N 与 TP Merge，收敛

最后把 N 与已建成的 TP 合并得 [CP FF(什么)+Q [TP 你 读了 t]]。每次 Merge 都作用于根：Q 的 wh- 被 FF(什么) 核查删除；因为 Q 无强特征，无需 pied-pipe 整个”什么”，经济性也禁止多搬。”什么”整体留在原位，只其形式特征完成了核查。

B3（=(43c)）：N 与 TP 合并；wh 整体 in situ，仅形式特征上移完成核查——全程循环、无隐性成分

表工坊-1　两条路线推导走查对照