Definition:Predicate of Categorical Statement