Two men in matching formal wear stand next to each other, smiling.
The men are sitting
The men can stand but they cannot also be sitting.
exists e2 e3 e1 s1 x1 x2 x3.(for(e2,e3) & Actor(e3,x1) & v_smile(e3) & all x4.(n_other(x4) -> to(e2,x4)) & r_next(e2) & Actor(e2,x1) & v_stand(e2) & Theme(e1,x3) & Actor(e1,x2) & v_match(e1) & n_wear(x3) & a_formal(s1) & Theme(s1,x3) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1.(n_man(x1) & Actor(e1,x1) & v_sit(e1))