Hockey players collide on the ice.
Two people run into each other.
Hockey players refer to two people who have collided or run into each other.
exists e1 x1 x2 x3.(n_ice(x3) & on(e1,x3) & Actor(e1,x1) & v_collide(e1) & n_player(x1) & (x1 = x2) & ne_nam_hockey(x2))
exists e1 x1.(all x2.(n_other(x2) -> into(e1,x2)) & Actor(e1,x1) & v_run(e1) & n_people(x1) & card_eq_2(x1))