The mountains in the distance are wooded and snowy.
The mountains have an altitude of over 5200 feet.
Not all mountains have an altitude of over 5200 feet.
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 x1 x2 x3.(n_mountain(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & of(x2,x3) & n_foot(x3) & card_eq_5200(x3) & r_over(x3) & n_altitude(x2))