Two men looking at each other and playing pool.
These two men know each other.
Just from them looking at each other and playing pool they might not know each other.
exists e1 e2 x1 x2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_play(e2) & n_pool(x3) & n_man(x2) & card_eq_2(x2) & all x4.(n_other(x4) -> at(e1,x4)) & Actor(e1,x1) & v_look(e1) & n_man(x1) & card_eq_2(x1))
exists x1.(n_man(x1) & card_eq_2(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_know(e1))))