Two foreign men have teacups in hands and are looking each other in the eye.
The two men are sitting down.
You can not infer they are sitting.
exists e1 s1 x1 x2 x3 x6.(n_eye(x6) & all x4.(n_other(x4) -> exists e2 s2 x5.(in(e2,x6) & Time(e2,x4) & Actor(e2,x5) & v_look(e2) & n_man(x5) & a_foreign(s2) & Theme(s2,x5) & card_eq_2(x5))) & in(e1,x3) & n_hand(x3) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_teacup(x2) & n_man(x1) & a_foreign(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 x1.(n_man(x1) & card_eq_2(x1) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1))