A man looking through a telescope at something far below him.
The man is laying in grass looking at the stars.
One cannot look at the stars from the grass while looking below.
exists e1 x1 x2 x3 x4.(a_topic(x1) & at(e1,x4) & n_far(x4) & below(x4,x1) & n_male(x1) & n_thing(x4) & through(e1,x3) & n_telescope(x3) & Actor(e1,x2) & v_look(e1) & (x1 = x2) & n_man(x1))
exists e2 e1 x1 x2 x3.(n_star(x3) & n_man(x1) & for(e1,e2) & at(e2,x3) & Actor(e2,x1) & v_look(e2) & in(e1,x2) & n_grass(x2) & Actor(e1,x1) & v_lay(e1))