two men pretending to be boxing.
The men are fooling around pretending to box are swatting flies.
Two men pretending to box cannot be swatting flies at the same time.
exists e1 p1 x1 x2.(a_topic(x1) & Topic(e1,p1) & Actor(e1,x2) & v_pretend(e1) & exists e2.(Actor(e2,x2) & v_box(e2)) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 e3 e2 x1 x2 x3 x4.(n_man(x1) & Theme(e3,x4) & Actor(e3,x1) & v_swat(e3) & n_fly(x4) & around(e1,e2) & to(e2,x3) & n_box(x3) & Actor(e2,x2) & v_pretend(e2) & Actor(e1,x2) & v_fool(e1) & (x1 = x2))