Three women, all holding maroon folders and wearing white shirts and black pants are singing in a choir.
The women singing are all classmates.
The women are not necessarily classmates
exists e1 x1 x2 x3.(in(e1,x3) & n_choir(x3) & Actor(e1,x1) & v_sing(e1) & all x9 x7 x4 x5 e2 s1 x6 x8 s2 e3.((n_pants(x6) & a_black(s2) & Theme(s2,x6) & n_shirt(x8) & a_white(s1) & Theme(s1,x8) & Actor(e3,x8) & v_wear(e3) & n_folder(x7) & of(x7,x9) & n_maroon(x9) & Actor(e2,x7) & v_hold(e2) & subset_of(x8,x5) & subset_of(x7,x5) & subset_of(x6,x4) & subset_of(x5,x4)) -> subset_of(x4,x1)) & subset_of(x2,x1) & n_woman(x2) & card_eq_3(x2))
exists e1 p1 x1 x2.(n_woman(x1) & all x3.(n_classmate(x3) -> (x1 = x3)) & Actor(e1,x2) & v_sing(e1) & (x1 = x2))