**Defined in theory: Slot-constraint-sugar****Source code: slot-constraint-sugar.lisp**

**Documentation:**Let class C be in the domain of two binary relations R_1 and R_2. The relation (have-same-values C R_1 R_2) means that the values of the two relations are the same when applied to instances of the class.

**Alias:**Same-slot-values**Arity:**3