Two men are wrestling.
The two men are professional athletes.
Men wrestle for various reasons. Just because the two men are wrestling does not mean they are professional athletes.
exists e1 x1.(Actor(e1,x1) & v_wrestle(e1) & n_man(x1) & card_eq_2(x1))
exists p1 x1.(n_man(x1) & card_eq_2(x1) & exists s1 x2.((x1 = x2) & n_athlete(x2) & a_professional(s1) & Theme(s1,x2)))