(i) All papers are woods → UniversalAffirmative (A–type). (ii) Some woods are leaves → ParticularAffirmative (I–type). (iii) No mobile is a band → UniversalNegative (E–type). (iv) Some mobiles are not bands →Particular Negative (O–type). (4) Venn diagrams of “Somewoods are trunks” :