Two basketball players watching the ball.
The players are watching the shotclock.
You can not be watching the ball and the shotclock  at the same time.
exists e1 x1 x2 x3.(n_ball(x3) & Theme(e1,x3) & Actor(e1,x1) & v_watch(e1) & n_player(x1) & of(x1,x2) & n_basketball(x2) & card_eq_2(x1))
exists e1 x1 x2.(n_shotclock(x2) & n_player(x1) & Theme(e1,x2) & Actor(e1,x1) & v_watch(e1))