three men standing at a desk, the two in long-sleeve shirts are filling out papers while the man in the red shirt looks on.
All three men are signing the same sheet of paper.
The same subjects cannot all be signing the same sheet in one case and two filling out papers while a man looks on.
exists e2 e1 p1 s1 s2 s3 x1 x2 x3 x4 x5.(exists e3 s4.(a_on(s4) & Manner(e3,s4) & Actor(e3,x1) & v_look(e3) & in(x1,x4)) & n_shirt(x4) & n_shirt(x4) & a_red(s3) & Theme(s3,x4) & n_man(x1) & n_man(x1) & while(e2,p1) & a_out(s2) & Manner(e2,s2) & Theme(e2,x5) & Actor(e2,x1) & v_fill(e2) & n_papers(x5) & rel(x1,x3) & in(x3,x4) & a_long-sleeve(s1) & Theme(s1,x4) & n_thing(x3) & card_eq_2(x3) & at(e1,x3) & n_desk(x3) & Actor(e1,x2) & v_stand(e1) & (x1 = x2) & card_eq_3(x1))
exists s1 x2.(n_sheet(x2) & a_same(s1) & Theme(s1,x2) & all x1.((n_man(x1) & card_eq_3(x1)) -> exists e1 x3.(Theme(e1,x2) & Actor(e1,x1) & v_sign(e1) & of(x2,x3) & n_paper(x3))))