Так, в семантическом метаязыке, применяемом в формальной семантике, для описания смысла предложения на уровне так называемой «логической формы» (ЬР), вскрывающей вклад грамматической структуры в значение предложения, ЬР предложения (3):
(3) Шо ргот&ет! уоы (о теШНе §оШ?
     ‘Кто обещал вам расплавить золото?' в [Бирвиш 1988: 111] представлена в виде дерева непосредственных составляющих:
  (4) МУН1СН X РА5Т х РДОМ13Е ЛШ х МЕЛ.Т ТНЕ ООШ
«р/р>п> п <р/р> л «р/п>пр> п п «р/л>л> <п/<р/л»         <'Р/П>
                    В терминальных, т. е. не подлежащих дальнейшему разложению, узлах этого дерева мы видим семантические единицы, являющиеся лив
   3) Категориальная грамматика используется преимущественно в метаязыках Ф°Р^^ ной семантики. Примером применения аналогичной формальной грамматики в этсчест ной лингвистике является апшшкативная граматика С. К, Шаумяна (Шаумян 1974].
Шва 3. Семантические метаязыки
277