Two hockey players bumps against each other while skating on the ice.
Two hockey players check one another.
check one another implies bumps against each other
(x)
exists e1 s1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_check(e1) & n_thing(x3) & card_eq_1(x3) & a_another(s1) & Theme(s1,x3) & n_player(x1) & of(x1,x2) & n_hockey(x2) & card_eq_2(x1))