Diagnosis
The syntax check recognized an error: the inference of &V1& requiredunder INFERENCES: is not possible in any of the value assignmentalternative of the constraint.

Procedure
Please note that a variable in the conditional part of the constraint(CONDITION:) cannot be inferred in this constraint. Also, a variable ina conditional restriction (after IF) cannot be inferred in thisconditional restriction. The relevant declaration determines whichinferences are possible from which table or function calls.
Please note that formulae cannot be expanded after all variables.Special criteria apply to restrictable variables.
Either remove &V1& from the list of required inferences, or change therestriction part and/or the conditional part of the constraintaccordingly.
Before you try to restrict the characteristic variable underINFERENCES, you should check in the characteristics maintenancefunction (Restrictable indicator) whether this is allowed.