Читатели, знакомые с логическими системами, несомненно, отметили для себя сходство между частями техники обращения зависимости, применяемой в отношении неявных каузативов, и формальным правилом вывода, известным под названием контрапозиция. Трансформацию исходной поверхностной структуры в предложении, где она ставится под сомнение, можно представить в виде последовательности:
Строка 1: X, но Y.
Строка 2: X и не X, потому что Y.
Строка 3: не X, потому что Y.
Строка 4: не Y и не не X.
Точнее, если связку естественного языка «потому что» интерпретировать в качестве логической связки «следует», то трансформация на переходе от строки 3 к строке 4 – это формальная пространственная транспозиция.
