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

**Documentation:**A domain instance i CANNOT-HAVE a value for a slot R if it is inconsistent for R(i,v) to hold for any value v.

CANNOT-HAVE is one way to restrict the domain of a relation with respect to a class.

**Arity:**2

(<=> (Cannot-Have ?Instance ?Binary-Relation) (Not (Instance-Of ?Instance (Exact-Domain ?Binary-Relation))))