Denotes that a constraint is a conjunction of constraints
(i.e., see the keyword system of constraints).
EXAMPLE:
As an example,
the constraint
(i.e., prevent two variables to be assigned the same value)
can be used to reformulate the constraint
(i.e., enforce a set of variables to take distinct values)
as a conjunction of constraints.