Эта конструкция выглядит как логическое высказывание, но используется таким же образом, как и логический терм. Интерпретация предложения "Every agent smells a wumpus" в квазилогической форме выглядит следующим образом:

При создании грамматики, позволяющей производить квазилогическую форму, можно оставить неизменными многие полученные ранее правила. Правило для S все еще создает семантику предложения S со значением rel (obj). Но некоторые правила действительно изменяются; например, грамматическое правило для артикля "а" выглядит таким образом:

а правило применения артикля в сочетании с существительным является таковым:

Это правило говорит о том, что семантика именного словосочетания NP выражается термом с квантором д, где квантор обозначен артиклем, включает новую переменную χ и выражается высказыванием, сформированным путем применения семантики данного имени к переменной х. Другие правила для словосочетания NP являются аналогичными. В табл. 22.5 приведены семантические типы и примеры форм для каждой синтаксической категории при использовании подхода на основе квазилогической формы. На рис. 22.8 показано дерево синтаксического анализа предложения "every agent smells a wumpus" с использованием этого подхода, а в листинге 22.8 показана полная грамматика.

Таблица 22.5. Таблица, в которой показан тип выражения в квазилогической форме для каждой синтаксической категории. Записьобозначает функцию, которая принимает параметр типа t и возвращает результат типа г. Например, семантическим типом для категории Preposition является , а это означает, что семантика предлога представляет собой функцию , которая после ее применения к двум логическим объектам позволяет получить логическое высказывание

Рис. 22.8. Дерево синтаксического анализа предложения "Every agent smells a wumpus", на котором показана и синтаксическая структура, и семантические интерпретации