A man sits on a hill overlooking the ocean.
The man is looking at the ocean.
If the man is sitting on the hill overlooking the ocean, he is likely looking at the ocean.
exists e2 e1 x1 x2 x3.(n_ocean(x3) & for(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_overlook(e2) & on(e1,x2) & n_hill(x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1))
exists e1 x1 x2.(n_ocean(x2) & n_man(x1) & at(e1,x2) & Actor(e1,x1) & v_look(e1))