A player sits on the bench while watching his teammates play ice hockey.
Every player on the team is on the ice playing hockey.
It cannot be true that every player is playing if a player is sitting on the bench
exists e3 e1 e2 x1 x2 x3 x4 x5 x6.(n_teammate(x3) & of(x3,x2) & n_male(x2) & n_bench(x2) & while(e1,e3) & Theme(e3,x3) & Actor(e3,x1) & v_watch(e3) & Theme(e2,x5) & Actor(e2,x4) & v_play(e2) & n_hockey(x5) & of(x5,x6) & n_ice(x6) & (x3 = x4) & on(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_player(x1))
exists e1 x2 x3 x4.(n_hockey(x3) & Actor(e1,x3) & v_play(e1) & of(x3,x4) & n_ice(x4) & n_team(x2) & all x1.(n_player(x1) -> exists p1.(on(x1,x3) & on(x1,x2))))