Two boxers, one in red and one in blue, strike each other in the face with their left hands.
Karate opponents engage.
Boxers are not the same as Karate.
exists s1 x1 x2 x3 x4 x5 x6 x9 x10.(n_hand(x10) & a_left(s1) & Theme(s1,x10) & of(x10,x9) & n_thing(x9) & n_face(x9) & a_topic(x1) & rel(x1,x2) & subset_of(x5,x2) & all x7.(n_other(x7) -> exists x8.(rel(x5,x8) & with(x8,x10) & in(x8,x9) & for(x8,x7) & n_strike(x8))) & in(x5,x6) & n_blue(x6) & n_thing(x5) & card_eq_1(x5) & subset_of(x3,x2) & in(x3,x4) & n_red(x4) & n_thing(x3) & card_eq_1(x3) & n_boxer(x1) & card_eq_2(x1))
exists e1 x1 x2.(Actor(e1,x1) & v_engage(e1) & n_opponent(x1) & (x1 = x2) & ne_nam_karate(x2))