A man feels on top of the world on top of a large rock formation.
A man does not feel on top of the world
If the man feels on top of the world then you cannot say that he does not feel that way.
exists e1 s1 x1 x2 x3 x4 x5 x6.(n_world(x3) & on(e1,x4) & of(x4,x5) & n_formation(x5) & of(x5,x6) & n_rock(x6) & a_large(s1) & Theme(s1,x5) & n_top(x4) & on(e1,x2) & of(x2,x3) & n_top(x2) & Actor(e1,x1) & v_feel(e1) & n_man(x1))
exists x1 x3.(n_world(x3) & -exists e1 x2.(on(e1,x2) & of(x2,x3) & n_top(x2) & Actor(e1,x1) & v_feel(e1)) & n_man(x1))