predicate not defined

predicate not defined