UNTELL-INSTANCE-VALUES
======================

Syntax: (untell-instance-values 
                         <evaluates-to Relationsname>
                         <evaluates-to Instanz-Spec>
                         {<Menge> | _ }
                         [:write-dependents
                           {T | NIL | Var}]
                         [:probe
                           {T | NIL | :and-do | Var}])

Diese Funktion entfernt alle Elemente der Menge aus 
der Wertemenge der Instanzrelation. Ist _ statt einer 
Menge angegeben, wird die gesamte Wertemenge entfernt 
und die unbestimmte, leere Menge eingetragen. Ist der 
Schalter ':write-dependents' ungleich NIL, werden 
nach dem schreibenden Zugriff eventuell vorhandene 
writedependents über die Werteänderung infor-
miert. Rückgabewert ist die verkleinerte Werte-
menge oder NIL, wenn die Menge und die Wertemenge 
disjunkt sind.

Beispiel: >(untell-instance-values 'angebote Paris 
                                   {Louvre})
          #<set-of ANGEBOT (...)>
         
          >(untell-instance-values 'angebote Paris 
                                   {Big-Ben})
          NIL