A pair of skiers, a man and a woman, are climbing up a snowy and tree-lined hill.
They are on their way to the top of the mountain
You can not infer they are going to the mountain.
exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9.(a_up(s2) & Manner(e1,s2) & Theme(e1,x7) & Actor(e1,x1) & v_climb(e1) & n_hill(x9) & a_tree-lined(s1) & Theme(s1,x9) & n_snowy(x8) & subset_of(x9,x7) & subset_of(x8,x7) & of(x1,x2) & subset_of(x4,x2) & subset_of(x6,x4) & n_woman(x6) & subset_of(x5,x4) & n_man(x5) & subset_of(x3,x2) & n_skier(x3) & n_pair(x1))
exists p1 x1 x2 x3 x4.(n_mountain(x4) & n_top(x3) & n_way(x2) & of(x2,x1) & n_thing(x1) & n_thing(x1) & on(x1,x2) & to(x2,x3) & of(x3,x4))