Rule negative and positive getters for predicates