barbara
noun
°A syllogism in which all three propositions are of the form "All X are Y" or "X is a Y".