Translate each of the two Prolog clauses into a corresponding logical formula.

Hint: Copy and paste the Prolog clauses into your answer, then edit them.

You may copy and paste these symbols: $->$ or type: all exists and $->$

$1.$

tilted$($M$,$ N$,$ throw$($D$1,$ D$1))$ :$-$ tilted$($N$,$ N$,$ throw$($D$3,$ D$1)),$ height$($D$3,$ M$).$

$2.$

magnify$($node$(2,$ leaf$($X$),$ leaf$($Y$)))$ :$-$ magnify$($leaf$($Y$)),$ reverse$($leaf$($Y$),$ leaf$($X$)).$