Английский глагол came 'пришел', как мы выяснили,
получает тип S\NP. Однократное применение аппликации
позволяет представить всю цепочку как элемент типа S
(здесь и далее применение аппликации обозначается под­
писным индексом «А» с подчеркиванием той последователь­
ности символов, к которой она применена; тип или цепоч­
ка типов, к которым невозможно дальнейшее применение
аппликации, выделяется полужирным шрифтом):
     (2)     John       came
             NP         S\NP   A
                    S

     Рассмотрим теперь неграмматичное предложение "John
came Bill букв. «*Джон пришел Билла». К типам первых двух
его элементов может быть применена аппликация точно так
же, как в (2). Однако к полученной в результате последова­
тельности типов — «S NP» — аппликация по определению
применена быть уже не может, и тем самым представить
данное предложение как элемент типа S невозможно:
     (3)     *John came            Bill
             NP    S\NP        A   NP
                   S               NP