Three woman are at the same place, all wearing white shirts and are enjoying themselves.
Three women are wearing white shirts.
THERE ARE THREE WOMAN.
exists e1 p1 s1 x1 x2 x3 x5.(n_group(x3) & n_place(x5) & a_same(s1) & Theme(s1,x5) & Theme(e1,x3) & Actor(e1,x2) & v_enjoy(e1) & n_woman(x2) & card_eq_3(x2) & exists x4.(at(x1,x4) & all e2 x6 s2.((n_shirt(x6) & a_white(s2) & Theme(s2,x6) & Actor(e2,x6) & v_wear(e2)) -> subset_of(x6,x4)) & subset_of(x5,x4)) & n_woman(x1) & card_eq_3(x1))
exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_shirt(x2) & a_white(s1) & Theme(s1,x2) & n_woman(x1) & card_eq_3(x1))