marked like this,


-----------
| | |
| 1 | |
| | |
-----------


that is, with a red counter in No. 5. What would this tell us,
with regard to the class of "new Cakes"?

Would it not tell us that there are SOME of them in the x y-compartment?
That is, that some of them (besides having the Attribute x, which
belongs to both compartments) have the Attribute y (that is, "nice").
This we might express by saying "some x-Cakes are y-(Cakes)", or,
putting words instead of letters,


"Some new Cakes are nice (Cakes)",


or, in a shorter form,


"Some new Cakes are nice".


At last we have found out how to represent the first Proposition