two men pretending to be boxing.
The Men are fooling around pretending to box.
Fooling around often accompanies pretending. "To be boxing" means the same thing as "to box".
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 e2 x1 x2.(n_man(x1) & around(e1,e2) & to(e2,x2) & n_box(x2) & Actor(e2,x1) & v_pretend(e2) & Actor(e1,x1) & v_fool(e1))