Отава 3. Семантические метаязыки
283
интерпретация (10а), предполагающая нереферентный экзистенциальный РС ИГ а ттап, будет отражена формулой (11а) с узкой сферой действия квантора 3, а интерпретация (106), предполагающая неопределенный конкретно-референтный РС ИГ а ттап, — формулой (116) с широкой сферой действия квантора 3:
(11) (а) (Vх) [МАИ х] (Зу) [АУОМАЫу] [ШУЕ х у]
     (б) (3 у) [\УОМАИ у] (Ух) [МАИ х] [ШУЕ х у]
     Кроме стандартных логических кванторов лингвисты при необходимости вводят в семантические метаязыки новые кванторы. Так, И. Беллерт вводит квантор КеГдоя отражения неопределенного конкретно-референтного РС при интродуктивном употреблении ИГ [Беллерт 1978].
     В метаязыках сетевого типа РС ИГ отражаются с помощью подмножества элементарных семантических единиц (ЭСЕ) из словаря и подмножества элементарных семантических отношений (ЭСО) из синтаксиса данного метаязыка. Так, в МСТ, как можно судить на основании примеров СемП, приводимых в [Мельчук 1974], референциальным признаем ИГ соответствуют одноместные (одновалентные) ЭСЕ, связываемые с ЭСЕ, отражающими ее сигнификативные признаки, стрелками неинтерпретируемых отношений. Так, ИГ Косте, которая в предложении Косте удалось победить имеет РС, характеризующийся признаками определенности и единичности, в СемП соответствует часть семантического графа (подграф), воспроизводимая нами в (12):
(12)
               ‘один*         ‘этот’
             ‘Костя’