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 AOO-2

All P are M.

A - universal negative
Some S are M. O - universal affirmative
Therefore, some S are not P.  O - particular negative

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