predicate symbol