在FOPC引用客体的机制中的最后一个概念是变量（variable）。变量一般用单个小写字母表示，使我们能够对客体做出判断，进行推论，而不必参照任何特定命名客体。变量的这种对没有名字的客体进行说明的能力有两个特色：一是能够对未知的匿名客体进行说明，二是能够对任意一个客体世界中的所有客体进行说明。在介绍了量词（quantifier）之后，还要回过头来再讨论变量的问题，FOCP的量词将使变量更有用。

现在我们有了引用客体的方法，因此可以研究如何用FOPC来说明客体之间保持的关系。从FOPC的名称可以猜到，FOPC是围绕谓词的概念组织起来的。谓词是一种符号，这种符号用于引用名称以及在给定领域内的一定数量的客体之间的关系。Maharani serves vegetarian food可用FOPC的公式表示如下：

Serves (Maharani, VegetarianFood)

这个FOPC句子的意思是：Serves是一个具有两个位置的谓词，表示由常量Maharani和VegetarianFood标出的客体之间的关系。

谓词的另一种稍微不同的用法是对句子Maharani is a restaurant的下列表示，这是一种典型的表示方法：

Restaurant (Maharani)

这个例子中的谓词只有一个位置，它不涉及多个客体，而只是确认一个单独客体的某个性质。在这种情况下，谓词对Maharani的范畴所属关系进行编码。应该注意，这是一种处理范畴的普通方法，它的用处可能不太大。

由于具备了引用客体的能力、确认关于客体的事实的能力、把一些客体与另外的客体相互联系的能力，所以就能够构造出初步的组合表示。这些表示与图1中的原子公式的水平相对应。这种组成复杂表示的能力不局限于使用单个谓词。更大的组合表示也可以通过使用逻辑连词（logical connective）的办法把不同的意义表示结合到一起。从图1中可以看出，逻辑连词使用三个运算符中的一个把逻辑公式连接起来，这样就使我们有了构造更大的意义表示的能力。例如，我们来研究如下的来自BERP语料库的例子以及这个句子的一个可能的意义表示：

I only have five dollars and I don't have a lot of time.                (1）

Have (Speaker,FiveDollars)∧¬Have (Speaker, LotOfTime)

这个例子的语义表示是通过使用运算符∧和¬，直接从个别从句的语义构造而成的。注意，由于图1 中的语法具有递归性，可以使用这些逻辑连词构造出无限数目的逻辑公式。因此，使用这样的句法，就有能力使用有限的手段构造出无限数目的意义表示。

责任编辑：admin