A process of reasoning in which each conclusion applies to just such an object as each of the premises applies to.