Three woman are at the same place, all wearing white shirts and are enjoying themselves.
The women's shirts are black.
The three women women are either wearing black shirts or white shirts.
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 s1 x1 x2.(n_shirt(x2) & of(x2,x1) & n_woman(x1) & Theme(s1,x2) & a_black(s1))