Disamis

A form of syllogism in scholastic logic. The name is from a medieval mnemonic poem, where its vowels reflect the syllogism's standard form of IAI-3.

Some M are P.	I - particular affirmative
All M are S.	A - universal affirmative
Therefore, some S are P.	I - particular affirmative

Barbara, Celarent, Darii, Ferio que prioris;
Cesare, Camestres, Festino, Baroko secundae;
Tertia, Darapti, Disamis, Datisi, Felapton,
Bokardo, Ferison, habet; Quarta in super addit
Bramantip, Camenes, Dimaris, Fesapo, Fresison