list(axioms).
exists x2  ((Woman(x2) & ~ exists x3  
((Man(x3) & exists x4  (Car(x4) & Own(x3,x4))) & 
Love(x2,x3))) & Like(Paolo,x2)).

