Three women in a lecture hall watch a presentation while one women dozes.
Most of the people at the presentation look alert, but one.
One woman dozing is the only one not watching the presentation and looking alert.
exists e1 p1 x1 x2 x3 x4.(exists e2 x5.(Actor(e2,x5) & v_doze(e2) & n_woman(x5) & card_eq_1(x5)) & while(e1,p1) & Theme(e1,x4) & Actor(e1,x1) & v_watch(e1) & n_presentation(x4) & in(x1,x2) & n_hall(x2) & of(x2,x3) & n_lecture(x3) & n_woman(x1) & card_eq_3(x1))
exists x1 x2 x3 x4 x5 x6 x7.(n_look(x4) & of(x4,x5) & n_presentation(x5) & n_people(x2) & a_topic(x1) & of(x1,x2) & at(x2,x3) & subset_of(x7,x3) & n_thing(x7) & card_eq_1(x7) & subset_of(x4,x3) & Time(x4,x6) & n_alert(x6) & n_most(x1))