在图1的层级体系中，3rd是agr的子类型，3-sg是3rd和sg的子类型。在类型层级体系中类型可以进行合一，任意两个类型的合一的结果是更具体的类型，比输入的两个类型更加具体。因此，有：

没有定义的合一项的两个类型进行合一，其结果是不确定的，尽管我们也可以使用符号“⊥”(Ait-kaci,1984）来表示这个失败的类型。

第二种类型是复杂类型，它要说明：

● 与类型相适应的一组特征

● 对于这些特征的值的限制

● 在这些值之间的相等性约束

我们来研究对于复杂类型verb的一种简化的表示，这种表示正好可以表达一致关系和动词形态形式的信息。定义一个动词时，要定义两个相应的特征，一个特征是AGREE，一个特征是VFORM，还要定义这两个特征的值的类型。我们假定特征AGREE取在图1中定义的类型agr

的值，特征VFORM取类型vform的值(这里假定vform有7个子类型：finite, infinitive, gerund, base, present-participle, past-participle以及passive-participle)。这样，verb可定义如下(这里按照惯例把类型记录在AVM的顶部，或者记录在左括号的左下部）：

与此相反，复杂类型noun可以用特征AGREE来定义，但是不用特征VFORM来定义：

除了运算组成成分特征合一的值之外，只需要能够对两个结构的类型也能进行合一运算，把合一运算提升到能够运算类型化的特征结构就可以了。

复杂类型也是类型层级体系的一部分。复杂类型的子类型继承了其父代的全部特征以及对其值的约束。例如，Sanfilippo(1993）使用类型层级体系来给词表的层级结构进行编码。图6是这个层级体系的一个很小的部分，这个部分为要求句子补语的动词的各个次范畴建立模型；它们可以分为及物动词和不及物动词两种。及物动词带直接宾语（ask yourself whether you have become better informed), 不及物动词不带直接宾语（Monsieur asked whether I wanted to ride)。 类型 trans-comp-cat可导入所要求的直接宾语，这个直接宾语被约束为类型noun-phrase,而类型sbase-comp-cat则导入动词的基本形式补语（光杆的词干），并约束它的vform必须是动词的基本形式。

图6 动词类型verb-cat的类型层级体系的一部分，说明了类型comp-cat的子类型。它们全都是要求句子补语的动词的次范畴（Sanfilippo,1993）

责任编辑：admin