③ 画树工坊：一句英语怎么“按语段造完、逐块拼出”
本工坊把 §10.4 的抽象机制走成手把手的推导流水。目标句取原书(54) John thinks that Peter loves Mary. 我们按 v*P→CP→v*P→CP 四个语段，一棒一棒推；每棒都标出：此刻激活哪个子数组、Merge 了谁、谁移到边缘、哪一块被 Spell-Out、PIC 封死了什么。树里用 √ 表示已拼出冻结、用 copy 表示拷贝残留。
{John₀, v₀, ate₀, what₀},
… } （本工坊以 John thinks that Peter loves Mary 为例）
系统从最内层语段开始激活：先动 loves 那个 v*P 的子数组（含 v、loves、Peter、Mary）。为什么从最内层开始？因为外层 CP 的 C 要 probe 的是已封好的内层 TP；先造内层、先封印，外层才接得上——这正是 §10.4.3 / Exercise 10.14 的“从最内嵌语段起推”。
① 外合并 loves + Mary → V′；② 外合并 v 轻动词 + V′ → v′；③ Peter 在外合并入 [Spec,v*P]（PISH，施事 θ）；④ 矩阵 T 没来之前，v* 先值化自己的 φ/格：Mary 在补语位查宾格、Peter 到 Spec,v*P 查主格路径。造完后，对 v* 的补语（VP）做 Spell-Out——VP 寄给 PF&LF，特征齐 → √，VP 域被 PIC 封死。
工坊图W-1：嵌入 v*P 语段——VP(loves Mary) 拼出冻结；Peter 在 Spec,v*P（边缘，仍可及）
① 激活含 that 的 C 子数组，外合并 that(C) + 已造好的 TP → CP；② 此时内层 TP（含 Peter…loves Mary）作为 C 的补语，Spell-Out 整个 TP：TP 无残留不可解读特征 → √，TP 域封死。Peter 此刻还在 Spec,v*P，位于 CP 的边缘可及区内，后续主句探针仍够得着它（若它要再移的话）。
工坊图W-2：嵌入 CP 语段——TP(Peter loves Mary) 拼出冻结；that 是 C 头
① 激活含 thinks 的 v 子数组；② 外合并 thinks + 补全句 [CP that…] → V′；③ 外合并 v + V′ → v′；④ John 外合并入 [Spec,v*P]（施事 θ）；⑤ v* 与 John 建立一致、值化 John 的主格路径。造完后对 v* 的补语（VP，含 thinks + 已封好的内嵌 CP）做 Spell-Out → √。
工坊图W-3：主句 v*P 语段——VP(thinks that [CP]) 拼出冻结；John 在 Spec,v*P 边缘
① 外矩阵 T + v*P → T′；② T 带强 EPP 且需主格——按 Merge over Move，此刻数词库里没有虚词 there，唯一选项是内合并 John（从 Spec,v*P 拷一份到 [Spec,TP]）；③ T 与 John 一致、值化主格；④ 外合并矩阵 C（陈述语气，无 wh 落点）；⑤ 依次 Spell-Out TP、CP，全部 √ → 整句收敛。
工坊图W-4：主句 CP 语段——John 内合并到 Spec,TP 查主格；TP、CP 拼出，整句收敛
把 There seems to be someone here 放进语段框架：嵌入 to 的 v*P/TP 造好时，to 的 EPP 待查。此刻子数组里同时有虚词 there（可 Merge）和 someone（可 Move）。按 Merge over Move，系统选便宜的外合并 there 进嵌入 Spec,TP；随后 there 随语段一层层升到矩阵 Spec,TP，someone 留在 be 补语域内、与矩阵 T 一致。若反其道在岔口 Move someone，就得(9)*There seems someone…——被经济毙掉。
工坊图W-5：语段框架下重看 Merge over Move——岔口选 there，someone 留原位一致
