The skier is on the snow.
The skier can't wait to go skiing
This implies that the skier is not skiing on snow because the skier can't wait to go skiing
exists p1 x1 x2.(n_snow(x2) & n_skier(x1) & on(x1,x2))
exists x1.(n_skier(x1) & -exists e1 p1.(exists e2 p2.(Topic(e2,p2) & Actor(e2,x1) & v_wait(e2) & exists e3 x2.(Theme(e3,x2) & Actor(e3,x1) & v_go(e3) & n_skiing(x2))) & Topic(e1,p1) & Actor(e1,x1) & v_can(e1)))