A man behind a counter looks on as two men on the other side of the counter fill out forms.
Everybody is sleeping.
The subjects cannot be sleeping while one looks on and others fill out forms.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(-(x5 = x5) & n_side(x5) & a_out(s1) & Manner(e2,s1) & Theme(e2,x6) & Actor(e2,x1) & v_fill(e2) & n_form(x6) & behind(x1,x2) & r_on(e1) & as(e1,x4) & on(x4,x5) & of(x5,x2) & n_counter(x2) & n_counter(x2) & n_man(x4) & card_eq_2(x4) & Actor(e1,x3) & v_look(e1) & (x2 = x3) & n_man(x1))
all x1.(n_person(x1) -> exists e1.(Actor(e1,x1) & v_sleep(e1)))