Two boxers are in the ring.
The boxers like to hit each other in the face.
the boxers may not be boxing and they may not like to hit each other in the face.
exists p1 x1 x2.(n_ring(x2) & in(x1,x2) & n_boxer(x1) & card_eq_2(x1))
exists e1 p1 x1 x3.(n_face(x3) & n_boxer(x1) & Topic(e1,p1) & Actor(e1,x1) & v_like(e1) & all x2.(n_other(x2) -> exists e2.(in(e2,x3) & Theme(e2,x2) & Actor(e2,x1) & v_hit(e2))))