Заметим, что приписывание разных типов английским
наречиям here 'здесь' и never 'никогда' верно предсказывает
различия между этими наречиями в отношении порядка
слов. Предоставим читателю самому убедиться в том, что
появление элемента типа S\S или S/S (here) в середине пред­
ложения, равно как появление элемента типа (S\NP)/(S\NP)
(never) в начале предложения, не позволит при последова­
тельном применении аппликации приписать целому предло­
жению тип S.
     В целом можно сказать, что формализм, предложен­
ный Айдукевичем, отличался предельной простотой. Он
включал всего два простых типа, одну операцию над ними и
допускал неограниченную рекурсию при образовании слож-
22 — 4755                    671
Часть 2. Синтаксические теории

ных типов. Формализм оказался применим к английскому
языку в том смысле, что он распознавал как грамматичные
базовые типы английских предложений. Однако применение
системы Айдукевича, как и развившегося на ее основе не­
сколько более сложного формализма, описываемого в п. 2, к
некоторым другим синтаксическим структурам естественно­
го языка сталкивалось со значительными проблемами. Эти
проблемы предопределили развитие КГ в наши дни, о чем
пойдет речь в п. 3.