Cut Predicate In Ai