Two men wearing shorts and boxing gloves are standing in a boxing ring and hitting each other in the face
Two wrestlers are fighting on a mat.
Men wearing boxing gloves in a boxing ring can not be wrestlers fighting on a mat.
exists e2 e1 e5 e3 e4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x14.(n_face(x14) & all x13.(n_other(x13) -> exists e6.(in(e6,x14) & Theme(e6,x13) & Actor(e6,x8) & v_hit(e6))) & Theme(e5,x12) & Actor(e5,x11) & v_box(e5) & n_glove(x12) & (x8 = x11) & Theme(e4,x10) & Actor(e4,x9) & v_wear(e4) & n_shorts(x10) & (x8 = x9) & n_man(x8) & card_eq_2(x8) & in(e3,x6) & n_ring(x6) & of(x6,x7) & n_boxing(x7) & Actor(e3,x1) & v_stand(e3) & Theme(e2,x5) & Actor(e2,x4) & v_box(e2) & n_glove(x5) & (x1 = x4) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_shorts(x3) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2.(on(e1,x2) & n_mat(x2) & Actor(e1,x1) & v_fight(e1) & n_wrestler(x1) & card_eq_2(x1))