Обратитесь к любому вводному курсу по исчислению предикатов.
63
Обращаем ваше внимание на то, что сама трансформация создала структуру составляющих, которую мы не можем описать с помощью правил вывода для «Глубинной». Конкретно, это подструктура дерева