2.5 画树工坊：一条 MP 推导的完整走查
本节把第 2 章的所有零件——numeration、Select、Merge、特征强弱、Procrastinate、Spell-Out、TRAP——串成一条完整推导，逐帧画图。目标句选英语被动＋提升混合型里最简单的一条：
选它的理由：同时含提升（seem）、被动（arrested 不再施动）、隐性/显性移位交错，最能检验你是否真懂「为什么不需要 DS/SS」。
第一步：定 numeration N
这条句子用到的词项及计数：
注意：he 作为 DP 自带格特征 NOM（核查观）；seem 是非命题谓词、不指派外部 θ；arrested 是被动分词，不再指派宾格。
第二步：从最内嵌动词短语开始 Merge
按 Extension Condition，先把论元与动词 Merge。被动分句的逻辑宾语是 he（被逮捕者）。它先与被动分词 arrested Merge，在此通过 Merge 获得「受事」θ 角色（TRAP）：
工坊第1帧：he 与 arrested Merge，受事θ 在此指派（TRAP）
第三步：叠助动词与时态，形成不定式小句
have、been、to 依次提升 Merge，形成 [IP to have been arrested]，其中 he 仍在分词宾语位，格特征 NOM 尚未被核查（不定式 to 非限定，是弱/非格指派者）：
工坊第2帧：助动词叠加，he 仍在内嵌宾语位，NOM 待查
第四步：与提升动词 seem Merge
seem 选这个不定式命题作补语；主句 Infl 是限定 Infl，带强 D 特征（EPP）且带 NOM 核查能力。按 Procrastinate，弱特征可等，但强特征必须在 Spell-Out 前显性查：
工坊第3帧：seem 选命题补语；主句限定 Infl 带强D特征，触发显性移位
第五步：显性 Move——he 提升到 Spec,IP
为核查强 D 特征、满足 EPP，内嵌主语 he_NOM 显性移位到 Spec,IP。这一步在 Spell-Out 之前，故 PF 上听得见（he 出现在句首）。移位留下拷贝 t（MP 不叫新语迹，叫拷贝）：
工坊第4帧：he 显性提升到 Spec,IP，与 Infl_NOM 核查成功；原位留 copy
第六步：Spell-Out 切分
强 D 特征已查完，此时运用 Spell-Out：把 PF 相关信息（he / seems / to / have / been / arrested 的语音）送 A-P 系统。PF 上读到的就是 He seems to have been arrested.
剩余计算继续向 LF：弱特征在此后隐性核查。本例无 wh、无隐性 wh 移位，LF 与 Spell-Out 前结构基本一致，唯一要确认的是：he 的 NOM 与 Infl_NOM 匹配（核查成功），受事 θ 在最初 Merge 时已指派（TRAP 满足），无悬空 θ 角色。
第七步：收敛判定
| 检查项 | 结果 | 依据 |
|---|---|---|
| numeration 是否耗尽 | 是（7 词项全用完） | Select 耗尽 N 才算推导 |
| 强特征是否在 Spell-Out 前查完 | 强D/EPP 已由 he 显性查 | 否则 PF 崩溃 |
| 弱特征是否在 LF 前查完 | 无遗留弱特征 | Procrastinate |
| θ 角色是否都在 Merge 时指派 | he=受事（Merge arrested）；seem 无外部θ | TRAP |
| PF/LF 是否都收敛 | 是 | 满解释 FI |
表 2-3 工坊推导收敛检查表
全程回顾：我们没有设立任何 DS 层（词项直接从 numeration 经 Select 进 Merge），也没有 SS 层（显性/隐性之分由 Spell-Out 这一动态时刻定义）。树从 numeration 长出来，在 Spell-Out 分叉，最后在 LF、PF 双双收敛。这就是 MP 推导的标准姿势。
