Two fully geared children participate in ice hockey.
The children are learning to play hockey.
children participating in ice hockey does not imply the children are learning to play hockey.
exists e1 e2 x1 x2 x3.(in(e2,x2) & n_hockey(x2) & of(x2,x3) & n_ice(x3) & Actor(e2,x1) & v_participate(e2) & n_child(x1) & Theme(e1,x1) & v_gear(e1) & r_fully(x1) & card_eq_2(x1))
exists e1 p1 x1.(n_child(x1) & Topic(e1,p1) & Actor(e1,x1) & v_learn(e1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_play(e2) & n_hockey(x2)))