One man looks into the distance next to another who has his hand in the air.
Two men are together.
One man next to another is the same as two men together.
exists e2 e1 x1 x2 x3 x4 x5 x6.(n_air(x6) & n_hand(x5) & of(x5,x2) & n_male(x2) & n_distance(x2) & to(e1,x3) & in(e2,x6) & Theme(e2,x5) & Actor(e2,x4) & v_have(e2) & (x3 = x4) & n_thing(x3) & r_next(e1) & into(e1,x2) & Actor(e1,x1) & v_look(e1) & n_man(x1) & card_eq_1(x1))
exists s1 x1.(Theme(s1,x1) & a_together(s1) & n_man(x1) & card_eq_2(x1))