Taking "nations" as Universe; x="civilised"; y="warlike";
- No uncivilised nation is warlike.
- All unwarlike nations are uncivilised.
- Some nations are unwarlike.
- All warlike nations are civilised, and all civilised nations are warlike.
- No nation is uncivilised.
Taking "crocodiles" as Universe; x="hungry"; and y="amiable";
- All hungry crocodiles are unamiable.
- No crocodiles are amiable when hungry.
- Some crocodiles, when not hungry, are amiable; but some are not.
- No crocodiles are amiable, and some are hungry.