“Who did Mary say that John had met?”
这是一个比较传统的生成分析方式，我甚至在第一版时，将vP层没有画,我们简单的对这个句子进行加标处理。
我们先处理v*P语段:
合并[√met]和[who]为{√met，who}，形成[√met who],后与v*外合并（EM），再与[John]合并，按照语段理论，其实who所在的RP要移交出去，不再进行下一步的句法推导，who没有办法直接进入CP，所以此时who先提升至[spec,R]处，同时发生双跃升，即进行R-F操作，√met跃升与v*对合并成一个整体（发生R-F→∅，通过一致操作对[NP=who[RPR=√met NP=who]]进行加标），让后将其语段性传递给√met，这样首次移交的就是[RP√met who]。此时的who处在边缘。
[John[v*[<φ,φ>NP=who[RPR=√met NP=who]]]
接着我们处理CP语段：
[John[v*who RP]]合并T(hard),此时合并C，将推导推到语段，此时C（发生C→∅）将其特征传递给T，T[uφ]与John[φ]之间形成配对，通过一致操作进行加标,此时who还是需要移交，不再进行下一步的句法推导，所以who还要进行内合并（IM）至[spec,CP]处，又处于边缘。
[who[αC=that[NP=John[T=hard[NP=John[v*[<φ,φ>NP=who[RPR=√met NP=who]]]]]]]
接着我们继续推导，简化部分成分,并且省略部分标签：
[who[αC…]]同样的与did合并→[C[Mary[did[[who[αC…]]]]]]
我们发现NP=who与[αC…]无法加标，需要IM后进行加标，所以我们继续将who进行内合并（IM）至[spec,C]处，对[αC…]进行加标，依据语段理论，[CPC=that[NP=John[T=hard[NP=John[v*[<φ,φ>NP=who[RPR=√met NP=who]]]]]移交，C（发生C→∅）将其特征传递给T，T[uφ]与Mary[φ]之间形成配对，通过一致操作进行加标， who还是需要移交，不再进行下一步的句法推导，所以此时who最后一次进行内合并（IM）至[spec,CP]处，同时did要IM至[head，C],使之完成一致操作并将[βdid[<φ,φ>Mary[did[[who[CPC…]]]]]]进行加标。最后一步时who处于句首，因为句首的CP具有[Q],who具有[uQ]合并后，加标为<Q,Q>，最终完成语段推导。
[<Q,Q>who[CPdid[<φ,φ>Mary[did[[who[CPC…]]]]]]]