Man in a bench watching another man sleeping.
The men are both sleep.
The man watching the other man sleep couldn't have possibly been watching if the men are both sleep.
exists e2 e1 x1 x2 x3 x4 x5.(a_topic(x1) & in(x1,x2) & Theme(e2,x4) & Actor(e2,x3) & v_watch(e2) & Actor(e1,x5) & v_sleep(e1) & (x4 = x5) & n_man(x4) & -(x4 = x1) & n_man(x1) & n_man(x1) & (x2 = x3) & n_bench(x2))
exists p1 x1 x2.(n_sleep(x2) & n_man(x1) & (x1 = x2))