Two hockey players are skating on the ice.
two ice hockey players are going for the puck
They may not be going for the puck at this time.
exists e1 x1 x2 x3.(n_ice(x3) & on(e1,x3) & Actor(e1,x1) & v_skate(e1) & n_player(x1) & of(x1,x2) & n_hockey(x2) & card_eq_2(x1))
exists e1 x1 x2 x3 x4.(n_puck(x4) & for(e1,x4) & Actor(e1,x1) & v_go(e1) & n_player(x1) & of(x1,x3) & n_hockey(x3) & of(x1,x2) & n_ice(x2) & card_eq_2(x1))