allow for predicate symbol declarations