One evening three young ladies chatting on the street.
They all know each other.
Just because three young ladies are chatting on the street does not mean they know each other.
exists e1 s1 x1 x2 x3 x4.(n_street(x4) & a_topic(x1) & on(e1,x4) & Actor(e1,x3) & v_chat(e1) & (x1 = x3) & n_lady(x1) & a_young(s1) & Theme(s1,x1) & card_eq_3(x1) & of(x1,x2) & n_evening(x2) & card_eq_1(x1))
exists x2.(n_thing(x2) & all x1.((x1 = x2) -> all x3.(n_other(x3) -> exists e1.(Theme(e1,x3) & Actor(e1,x1) & v_know(e1)))))