In a standard-form categorical syllogism, the premise that contains the minor term. It is the premise that appears second in the syllogism. (See also Categorical syllogism and Standard form.)