The two people are lying in gray rocks.
Two people are looking at the sky.
Not all people that are lying on rock are  looking at sky
exists e1 s1 x1 x2.(n_people(x1) & card_eq_2(x1) & in(e1,x2) & n_rock(x2) & a_gray(s1) & Theme(s1,x2) & Actor(e1,x1) & v_lie(e1))
exists e1 x1 x2.(n_sky(x2) & at(e1,x2) & Actor(e1,x1) & v_look(e1) & n_people(x1) & card_eq_2(x1))