а значение предложения (16) с противопоставительным отрицанием будет представлено в виде (17):
(16) Коля не спит (подразумевается: «а делает что-то другое»),
(17) ТО, что Коля делает, не ЕСТЬ спит’.
     Таким образом, многочисленные коммуникативные, семантические и синтаксические различия в свойствах между двумя данными видами отрицания объясняются тем, попадает ли «предикат актуального членения» в семантическую сферу действия отрицания или же остается за ее пределами.
     В формальной семантике (см., напр., ДаскепбоГГ 1972) теморематическое членение предложения отражается с помощью семантического оператора А (ламбда-оператора), превращающего пропозициональную форму <р, содержащую переменную и в одноместный предикат Лм [рФ Членение пропозиционального содержания предложения на тему и рему производится следующим образом: СЕ-рема извлекается из пропозиции и заменяется на переменную. Полученная таким образом пропозициональная форма связывается ламбда-оператором. Результирующее выражение служит репрезентацией темы предложения. Семантическое представление предложения складывается из двух указанных составляющих: тематической и следующей за ней рематической. Так, предложения (18а) и (186), поверхностно различающиеся только своей линейно-интонационной структурой, а семантически — только актуальным членением, с помощью оператора А представляются в виде (19а) и (196) соответственно:
(18) (а) Иван встречает Машу.
     (б) Машу встречает Иван.
(19) (а) Ах [Встречать (Иван, х)] (Маша)