A baseball player is about to catch the ball while a man watches.
The men is sleeping.
The man can't be watching and sleeping at the same time.
exists p1 s1 x1 x2 x3.(n_ball(x3) & Topic(s1,p1) & Actor(s1,x1) & a_about(s1) & exists e1 p2.(exists e2 x4.(Actor(e2,x4) & v_watch(e2) & n_man(x4)) & while(e1,p2) & Theme(e1,x3) & Actor(e1,x1) & v_catch(e1)) & n_player(x1) & of(x1,x2) & n_baseball(x2))
exists e1 x1.(n_man(x1) & Actor(e1,x1) & v_sleep(e1))