内嵌句（如关系从句）这一复杂约束已经存在于名词短语结构之内了，因而不需要任何新的标记来表示。例如，句子“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