The predicate of the conclusion in a categorical syllogism. (See also Categorical syllogism and Standard form.)