Men turn to the camera to smile on the middle of three long tables in a refectory.
The man is not smiling.
Man is one where men refers to more than one. One can not smile and not smiling at the same time
exists p1 x1 x2 x3 x4.(n_middle(x4) & n_camera(x3) & a_topic(x1) & Topic(x1,p1) & exists e1 s1 x5 x6.(in(e1,x6) & n_refectory(x6) & on(e1,x4) & of(x4,x5) & n_table(x5) & a_long(s1) & Theme(s1,x5) & card_eq_3(x5) & Actor(e1,x1) & v_smile(e1)) & to(x1,x3) & n_turn(x1) & of(x1,x2) & n_man(x2))
exists x1.(n_man(x1) & -exists e1.(Actor(e1,x1) & v_smile(e1)))