predicate> predicate symbol