A man is sleeping on a bench while others are sitting up on the same bench.
The man is wide awake.
If the man is sleeping he can't be wide awake.
exists e1 p1 s2 x1 x2.(exists e2 s1 x3.(on(e2,x2) & a_up(s1) & Manner(e2,s1) & Actor(e2,x3) & v_sit(e2) & -(x3 = x1) & n_person(x3)) & n_bench(x2) & n_bench(x2) & a_same(s2) & Theme(s2,x2) & n_person(x1) & while(e1,p1) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1) & n_man(x1))
exists p1 x1.(n_man(x1) & exists s1 x2.((x1 = x2) & n_awake(x2) & a_wide(s1) & Theme(s1,x2)))