A man and a woman standing near a desk while another woman sits at the desk looking through a microscope.
The man is alone in the casino.
The man can't be alone if he is with a woman.
exists e1 p1 s1 x1 x2 x3 x4.(a_topic(s1) & subset_of(x2,s1) & exists e3 e2 x5 x6.(for(e2,e3) & through(e3,x6) & n_microscope(x6) & Actor(e3,x5) & v_look(e3) & at(e2,x4) & Actor(e2,x5) & v_sit(e2) & n_woman(x5) & -(x5 = x2)) & n_desk(x4) & n_desk(x4) & n_woman(x2) & n_woman(x2) & while(e1,p1) & near(e1,x4) & Actor(e1,x3) & v_stand(e1) & (x2 = x3) & subset_of(x1,s1) & n_man(x1))
exists s1 x1 x2.(n_casino(x2) & n_man(x1) & in(s1,x2) & Theme(s1,x1) & a_alone(s1))