Очевидно, что в (10) подъем типа осуществляется в со­
    ответствии с (116). Логическая правильность преобразова­
    ний в (11) доказывается у Ламбека достаточно простым ма­
    тематическим путем (равносильность правой и левой цепо­
    чек в (Паб) очевидна, поскольку обе цепочки могут полу­
    чить тип А в результате действия аппликации).
         Определение подъема типа, реально применямое в со­
    временной практике КГ, отличается от приведенного в (11).

                                     674
Глава XIV. Категориальная грамматика