Two mountaineers are looking ahead on a snowy trail.
The mountaineers are looking on at the length of trail they still have to walk.
Just because the mountaineers are looking on doesn't necessarily mean they still have a length of trail to walk.
exists e1 s1 s2 x1 x2.(a_ahead(s2) & Manner(e1,s2) & on(e1,x2) & n_trail(x2) & a_snowy(s1) & Theme(s1,x2) & Actor(e1,x1) & v_look(e1) & n_mountaineer(x1) & card_eq_2(x1))
exists e1 p1 s1 x1 x2 x3.(n_thing(x2) & n_length(x2) & n_mountaineer(x1) & a_on(s1) & Manner(e1,s1) & at(e1,x2) & of(x2,x3) & exists e2 p2 s2.(a_still(s2) & Manner(e2,s2) & Topic(e2,p2) & Actor(e2,x2) & v_have(e2) & exists e3.(Actor(e3,x2) & v_walk(e3))) & that(x3,p1) & n_trail(x3) & Actor(e1,x1) & v_look(e1))