PREDICATE. See LOGIC.