3.7.56. Constraint between three collections of variables

A constraint involving only three collections of domain variables in its arguments.