Man sleeping on train with briefcase on lap.
His wife waits on him while he dances and work with homework
One cannot be sleeping and dancing simultaneously.
exists e1 x1 x2 x3 x4 x5.(a_topic(x1) & with(e1,x4) & on(x4,x5) & n_lap(x5) & n_briefcase(x4) & on(e1,x3) & n_train(x3) & Actor(e1,x2) & v_sleep(e1) & (x1 = x2) & n_man(x1))
(x)