- Some x are not-y.
- All x are not-y.
- Some x are y, and some are not-y.
- No x exist.
- Some x exist.
- No x are not-y.
- Some x are not-y, and some x exist.
Taking x="judges"; y="just";
- No judges are just.
- Some judges are unjust.
- All judges are just.
Taking x="plums"; y="wholesome";
- Some plums are wholesome.
- There are no wholesome plums.
- Plums are some of them wholesome, and some not.
- All plums are unwholesome.
[See pp. 59, 60]