Ко второму типу относятся семантические единицы (или конфигурации из таких единиц), которые стоят в одном ряду с прочими Метаязыковыми единицами и входят в качестве обязательного элемента в состав правильно построенного семантического представления предложения, будь то семантическая формула, подобная логической, или семантическая сеть. Так, О. Далем на основе языка исчисления предикатов выл предложен метаязык, в котором использовались некоторые свойства материальной импликации. Считалось, что на глубинном уровне все предложения ЕЯ имеют предикат импликативного характера, причем посылкой этого предиката является тема, а заключением — рема [ОаЫ 1969]. и. М. Богуславский вводит в семантическую структуру предложения «преДикат актуального членения» ‘ТО, что X ЕСТЬ V’ (где X — тема предложения, V — его рема, а «то», «что» и «есть» следует воспринимать не как самостоятельные семы, а как части единого семантического элемента) в объясняет с его помощью семантическое различие между предложения-10яй Нейт№ым и противопоставительным отрицанием [Богуславский "Но: 73-81], На его семантическом метазыке значение предложения (14) нейтральным отрицанием будет представлено в виде (15):
     5ОДя не спт (не подразумевается: «а делает что-то другое»).
   ' ‘ТО, что Коля делает, ЕСТЬ не спит’
286
Раздел ИГ. Семантика предложения и высказывания
а значение предложения (16) с противопоставительным отрицанием будет представлено в виде (17):