Among Bs, ⎧all⎫⎨no⎬⎩only⎭Cs except Es are such that (…they…)

(∀x: x is a B ∧ ⎧ ⎫⎨ ⎬⎩¬⎭ x is a C ∧ ¬ x is an E) ⎧ ⎫⎨¬⎬⎩¬⎭ …x…