Logic: In a → syllogism, the → predicate of the → conclusion which occurs in the → major premise.
See also: → major; → term.