A mid sized mixed gender choir sings while the director motions to keep beat.
The singers have no director.
One group has a director, while other singers doesn't.
(-x)
exists x1.(n_singer(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_director(x2)))