Every C is s.t. (…it…) dom: Cs attr: being a thing s.t. …it…
No C is s.t. (…it…) dom: Cs attr: not being a thing s.t. …it…
Only Cs are s.t. (…they…) dom: non-Cs attr: not being a thing s.t. …it…