[See pp. 57-59]

2. Half of Smaller Diagram.

Propositions to be represented.

-----------
| | |
| x |
| | |
--y-----y'-

__________

1. Some x are not-y.

2. All x are not-y.

3. Some x are y, and some are not-y.

4. No x exist.

5. Some x exist.