Two woman at a professional conference or convention.
4 women are at the mall
it can either be two or four women.
exists s1 x1 x2.(a_topic(x1) & at(x1,x2) & (n_conference(x2) | n_convention(x2)) & a_professional(s1) & Theme(s1,x2) & n_woman(x1) & card_eq_2(x1))
exists p1 x1 x2.(n_mall(x2) & at(x1,x2) & n_woman(x1) & n_date(x1) & a_date_day_04(x1) & a_date_day_04(x1))