换句话说，h1可能有一个绑定变量解释，和b1互指，也可能有一个会话句内解读。代词h2也可能有一个绑定变量解释或是会话解读，但无论如何，都不会与h1互指。这个限制成功地表达了由句子的句法结构加在它上面的绑定约束。

再举最后一个例子，分析句子“The woman who owns every record bought it for herself”。反身代词必然指的是“the woman”，但代词“it”不能有“every record”的绑定变量解释，因为这个量词短语没有C-统制它。该句的逻辑形式是：

every record: <EVERY1 r1 (RECORD1 r1 >

The woman who owns every record:

          <THE w1(& (WOMAN1 w1)

                             (OWNS o1 w1 <EVERY1 r1 (RECORD1 r1)>))>

it:         (PROil (IT1 il))

herself: (PRO h1 (&(SHE1 h1)(EQ-SET h1(i1 w1))))

注意，i1没有约束。但是它不能与r1互指，因为这样会产生一个绑定变量解释。如果约束中没有明确提到，这种情况是不允许的。还要注意，h1必然和i1或w1互指。如果分析器检查了一致性约束，i1就会被排除而h1将和w1互指。

修改一个语法使之能够记录C-统制关系和局部论域，这是比较简单的。此外，需要用两个新特征，即CC，所有不在当前局部论域中的C-统制成分的篇章变量；以及LCC，所有在局部论域中的C-统制成分的变量。

通过分析以下两种现象，可以推导出等式来：

· S和NP结构定义了新的局部论域，因而“重置”了LCC变量。LCC特征的值成为子成分的CC值的一部分。

· 在S或NP的子成分中生成的LCC或CC的值不需要回传到成分的外部。

责任编辑：admin