А если вы можете это сделать, то обратитесь с иском к издательству и позвоните нам.

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

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