One man looks into the distance next to another who has his hand in the air.
Two men are looking at the same thing.
One man next to another looking into the distance does not imply they are looking at the same thing.
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 e1 s1 x1 x2.(n_thing(x2) & a_same(s1) & Theme(s1,x2) & at(e1,x2) & Actor(e1,x1) & v_look(e1) & n_man(x1) & card_eq_2(x1))