Add predicates to the domain definition