[n] the premise of a syllogism that contains the minor term (which is the subject of the conclusion)
minor premise, subsumption