要计算互指约束，需要知道C-统制各个成分的成分以及在同一局部论域中的成分集合。有了这些信息，就可以为各种不同类型的名词短语生成互指约束。互指约束可以用三个新的谓词表示成逻辑形式的附加限制。EQ-SET表示第一个参数必然等于第二个参数中的某一项。比如：

(EQ-SET b1 (g1 d1))

表示b1必然等于g1或d1。另一方面，NEQ-SET表示第一个参数必然不等于第二个参数中的任何一项，比如：

(NEQ-SET b1 (g1 d1))

表示b1不等于g1，也不等于d1。最后，谓词BV-SET列出C-统制名词短语，其中包含非反身代词形式的所有可能的绑定变量解释。(反身代词形式可能的绑定变量解释已经包含在代词的EQ-SET中了。）

这些谓词可以将约束放到互指关系中，但还不能定义所有的可能性。例如，对于非反身代词，只能基于句法结构说明代词和哪些名词短语不能互指。更具体地说，根据一致性约束，可以排除其他的句内先行词。由于先行词可能出现在代词之后，因而没有一种简单的方法可以在分析过程中生成所有可能的句内指代对象。进一步说，因为一致性检查也需要在篇章理解中完成，因此，最好的方法是把这些情况留给后续的上下文过程来处理。但是，当代词明确符合这些限制时，可以取一种绑定变量解读。

例如，下面是为句子“Every boy thought he saw him”中的名词短语生成的逻辑形式：

Every boy: <EVERY b1 (BOY1 b1)>

he: (PRO h1 (& (HE1 h1)(BV-SET h1 (b1))))

him: (PRO h2 (&(HE1 h2) (NEQ-SET h2(h1))

                                       (BV-SET h2(b1))))