Остальная часть семантики непосредственно следует из соглашений, принятых нами до сих пор. Поскольку словосочетания VP представлены как предикаты, желательно придерживаться единообразия и представить глаголы так же, как предикаты. Глагол "loves" будет представлен в виде λу λχ Loves (χ, у), т.е. в виде предиката, который после подстановки параметра Mary возвращает предикат λx Loves (x, Mary).

В правилеNP предикат, представляющий собой семантическую интерпретацию глагола, применяется к объекту, который является семантической интерпретацией словосочетания NP, для получения семантической интерпретации всего словосочетания VP. В конечном итоге будет получена грамматика, которая показана в листинге 22.7, и дерево синтаксического анализа, приведенное на рис. 22.7.

Листинг 22.7. Грамматика, которая позволяет вывести дерево синтаксического анализа и семантическую интерпретацию для предложения "John loves Mary" (и трех других предложений). Каждая категория дополняется единственным параметром, представляющим семантику

Рис. 22.7. Дерево синтаксического анализа с семантическими интерпретациями для строки "John loves Mary"