内嵌句(如关系从句)这一复杂约束已经存在于名词短语结构之内了,因而不需要任何新的标记来表示。例如,句子“The man who ate a peach left”(吃桃子的那个人离开了)的逻辑形式是:
(ASSERT
(< PAST LEAVE> I1
[AGENT <THE m1(& (MAN1 m1)
(< PAST EATI > e2
[AGENT m1]
[THEME < A p1 PEACH> ])) > ]))
图1 给出了逻辑形式语言语法的形式定义。图2 给出了定义准逻辑形式语言的语法所需的附加规则。
图1 逻辑形式语言语法的形式定义
图2 定义准逻辑形式所需的附加规则
责任编辑:admin