一、MP的“探针—目标一致操作”
在谈基于MP的“探针—目标一致操作”前，我们先来谈谈比较重要的特征核查理论。特征核查理论，把名词上的格特征和谓词上的ϕ特征两种不可诠释的特征关联到了一起，设置了以[Spec–Head]为配置（configuration）的核查区域，包含格特征的名词移入该区域，与包含ϕ特征的谓词相互核查。
当然这个理论也有不足，正是基于不足，Chomsky（2000a，2001）提出了一个新的消除不可诠释特征的操作，称“一致”。概括地说，它是包含ϕ特征的核心功能性中心语（主要是T，v）与包含格特征的名词短语相互匹配，从而消除彼此不可诠释特征的操作。它一方面为了形态的目的给未被赋值的（形态）特征赋值；另一方面为了逻辑式的目的删除已被赋值的不可诠释特征。一致操作最显著的特点之一是它放弃了核查理论在[Spec–Head]配置中统一消除不可诠释特征的做法，转而把它放在[Head–Comp]配置中进行。
我们将其称为“探针—目标一致操作”，这项操作的发起者是功能性中心语T(时态)和v(轻动词)上的未定值的j特征，称为“探针”(Probe)，在其成分统制（C-command）区域内寻找包含匹配的可诠释特征的元素，即“目标”(Goal)。目标为了被探针发现，也必须具有未被定值的特征，即格特征。探针和目标通过匹配而获得赋值，从而确保只有消除了不可诠释特征的表达式才能进入接口。
在加标理论中加标理论（Labeling Theory），实际上在对{XP,YP}进行加标时，有一种操作也是“一致”，这种加标，出现在语段层，最终产生<φ,φ>（一般为v*P或CP）和<Q,Q>。
二、最简方案句子推导
回到这个句子上，“张三昨天打了李四”。我们进行语段推导：
（1）vP语段
a.[VP 打 李四{φ:3,sg,Case_}]
b.[Asp 打-了[VP 打 李四{φ: 3,sg,Case_}]]
c.[vP v{φ_}[Asp 打-了[VP 打 李四{φ: 3,sg,Case_}]]]
d.[vP 打-了+v{φ: 3,sg}[Asp打–了[VP 打 李四{φ: 3,sg,Case:Acc}]]]
e.[ vP张三{φ: 3,sg,Case_}[vP 打-了+v{φ: 3,sg}[Asp打–了[VP 打 李四{φ: 3,sg,Case:Acc}]]]]
f.移交：[AspP打–了[VP 打 李四{φ:3,sg,Case:Acc}]]=√
（2）CP语段
a.[TP 昨天{φ_}[ vP张三{φ: 3,sg,Case_}[vP 打-了+v{φ: 3,sg} AspP√]]]]
b.[TP 昨天{φ:3,sg}[ vP张三{φ:3,sg,Case：Nom}[vP 打-了+v{φ:3,sg} AspP√]]]]
c.[TP张三[Epp] 昨天{φ:3,sg}[ vP张三{φ:3,sg,Case：Nom}[vP 打-了+v{φ:3,sg} AspP√]]]]
d.[CPC[TP张三[Epp] 昨天{φ:3,sg}[ vP张三{φ:sg,Case：Nom}[vP 打-了+v{φ:sg} AspP√]]]]]
e.移交[TP张三[Epp] 昨天{φ:3,sg}[ Vp张三{φ:sg,Case：Nom}[Vp 打-了+v{φ:sg} AspP√]]]]=√
f.移交[CPC TP√]=√
完成句子推导，在这里要注意的是：只有边缘中的元素可被移出语段，补足语中的元素则不可被移出语段。
我们给出一个比较简单的句法图：
三、加标理论的句法推导
基于LT，笔者在处理带Asp成分时， “√打”与“-了”先行合并为“√打-了”， 进入句法推导的客体是“√打-了”成分。
我们先处理v*P语段:
a. 合并（√打-了，李四）={√打-了，李四},形成[√打-了 李四],后与v*(BECOME)外合并（EM）,然后再与[张三]外合并，形成：
[δ张三[γv*[√打+-了[RP√打–了 李四]]]]
此时推导到达语段层，进行R-F操作，√打+-了与v*(BECOME)对合并（EM），发生R-F→∅，通过一致操作对γ结构进行加标（<φ,φ>或v*P），并且将语段性传递给√打-了，这样首次移交的成分就是[v*P√打-了+ v* [√打–了[√打–了 李四]]]]，此时张三处于边缘。形成：
[张三[v*P√打–了+ v* RP]]
接着我们处理CP语段：
[δ张三[v*P√打-了+ v* RP]]合并T(昨天),形成：
[昨天[δ张三[v*P√打–了+ v* RP]]]]
按照Chomsky(2015)的假设，由于T特征弱，不能担任标签，所以此时β没有标签，此时需要进行加标操作:
一是δ中的张三内合并（IM）至[spec,T]处，形成α结构：
[α张三[昨天[δ张三[v*P√打–了+ v* RP]]]]
二是C合并到结构中，推导到达语段层。此时C（发生C→∅）将其特征传递给T，T[uφ]与张三[φ]之间形成配对，通过一致操作CP将语段性传递给T，对α进行加标（<φ,φ>或TP）
[C[<φ,φ>张三[昨天[δ张三[v*P√打–了+ v* RP]]]]]
移交[<φ,φ>张三[昨天[张三[v*P√打–了+ v* RP]]]]]，完成句子推导。形成：
[C[<φ,φ>张三[昨天[张三[v*P√打–了+ v* RP]]]]]