Обратитесь к любому вводному курсу по исчислению предикатов.

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