Two women are hiking down a hill covered in pine trees.
A pair of women run down the hill covered in maple trees.
A hill cannot be covered with be pine and maple trees at the same time.When it is covered with pine trees, it cannot be covered with maple trees.
exists e1 e2 s1 x1 x2 x3 x4 x5.(a_down(s1) & Manner(e2,s1) & Theme(e2,x2) & Actor(e2,x1) & v_hike(e2) & in(e1,x4) & n_tree(x4) & of(x4,x5) & n_pine(x5) & Theme(e1,x3) & v_cover(e1) & (x2 = x3) & n_hill(x2) & n_woman(x1) & card_eq_2(x1))
exists e1 e2 x1 x2 x3 x4 x5 x6.(n_hill(x3) & down(e1,x3) & in(e2,x5) & n_tree(x5) & of(x5,x6) & n_maple(x6) & Theme(e2,x4) & v_cover(e2) & (x3 = x4) & Actor(e1,x1) & v_run(e1) & of(x1,x2) & n_woman(x2) & n_pair(x1))