A man leans against a table.
A man is laying on the ground
Leans says the object is still some what vertical while laying means it is horizontal which is the very contradiction of vertical.
exists e1 x1 x2.(against(e1,x2) & n_table(x2) & Actor(e1,x1) & v_lean(e1) & n_man(x1))
exists e1 x1 x2.(n_ground(x2) & on(e1,x2) & Actor(e1,x1) & v_lay(e1) & n_man(x1))