@Fatalize Help, all the predicates after ' is negated and I have no way to deal with that except to put the positive predicates all in front

> Parentheses are not used in arithmetic expressions.

Cela veut dire quoi?

Oh, it isn't the problem, the problem is that the variable isn't bounded.