PredAsTerm and NOT