Professional baseball players during the All Star game watch an opponent at bat.
Some amateurs are playing soccer
Professional baseball players are not the same as amateurs.
exists x4 x5 x6.(n_watch(x4) & of(x4,x6) & n_game(x6) & (x4 = x5) & ne_nam_star(x5) & ne_nam_all(x4) & all x1.(n_opponent(x1) -> exists s1 x2 x3 x7.(a_topic(x2) & at(x2,x7) & n_bat(x7) & for(x2,x1) & during(x2,x4) & n_player(x2) & of(x2,x3) & n_baseball(x3) & a_professional(s1) & Theme(s1,x2))))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_soccer(x2) & n_amateur(x1))