Hockey players collide on the ice.
A hockey play turns friendly when two former teammates embrace in a hug mid game.
Just because hockey players collide on the ice does not imply that a hockey play turns friendly when two former teammates embrace in a hug mid game.
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))
(x)