Propositions to be represented.

__________


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

__________


1. No x are m.

2. Some y are m'.

3. All m are x'.

4. No m' are y'.

5. No m are x; All y are m.