Three woman are at the same place, all wearing white shirts and are enjoying themselves.
The women are friends.
Just because woman are at the same place all wearing white shirts does not mean they are friends.
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 s2 e2 x6.((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 p1 x1.(n_woman(x1) & exists x2.((x1 = x2) & n_friend(x2)))