The mountains in the distance are wooded and snowy.
The trees on the mountain have all been cut down.
the trees are different from mountains and being cut down is not the same as wooded and snowy
exists e1 x1 x2 x3 x4 x5.(n_distance(x3) & n_mountain(x1) & a_topic(x1) & in(x1,x2) & subset_of(x5,x2) & n_snowy(x5) & subset_of(x3,x2) & Theme(e1,x4) & v_wood(e1) & (x3 = x4))
exists e1 s1 s2 x1 x2.(n_mountain(x2) & n_tree(x1) & a_all(s2) & Manner(e1,s2) & a_down(s1) & Manner(e1,s1) & Theme(e1,x1) & v_cut(e1) & on(x1,x2))