Three women outside all dress the same and talking to one another.
Three ladies are talking in the grocery store
Not all women talking are in the grocery store.
exists x1 x4.(n_same(x4) & all x2.(n_thing(x2) -> exists e1 e2 s1 x3 x5 x6.(Theme(e2,x3) & Actor(e2,x1) & v_dress(e2) & subset_of(e1,x3) & to(e1,x6) & n_thing(x6) & card_eq_1(x6) & a_another(s1) & Theme(s1,x6) & Actor(e1,x5) & v_talk(e1) & n_thing(x5) & subset_of(x4,x3) & outside(x1,x2))) & n_woman(x1) & card_eq_3(x1))
exists e1 x1 x2 x3.(n_store(x2) & of(x2,x3) & n_grocery(x3) & in(e1,x2) & Actor(e1,x1) & v_talk(e1) & n_lady(x1) & card_eq_3(x1))