predicatenotdefined