predicate not defined

@trialversion