3.7.54. Constraint between three collections of variables

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