In a categorical syllogism, the minor premise is the premise whose terms are the syllogism's minor term and middle term. It is also called the subsumption.