ARE-INSTANCE-VALUES
===================

Syntax: (are-instance-values 
                    <evaluates-to Relationsname>
                    <evaluates-to Instanz-Spec>
                    <Set>  ; muß eine Menge sein!
                    [:read-dependents
                          {T | NIL | Var}]
                    [:if-undetermined
                          {T | NIL | Var}])

Diese Funktion prüft, ob bestimmte Werte in der 
Wertemenge der Instanzrelation enthalten sind.
Ist der Schalter ':if-undetermined' ungleich NIL, 
wird bei noch unbestimmten Relationswert eine 
eventuell vorhandene if-undetermined Aktion vor dem 
lesenden Zugriff angestossen. Ist der Schalter 
':read-dependents' ungleich NIL, werden nach dem 
lesenden Zugriff eventuell vorhandene read-dependents
informiert.

Beispiel: >(are-instance-values 'ort louvre 
                                {Berlin Paris})
          NIL
 
          >(are-instance-values 'ort louvre {Paris})
          #<set-of T (...)>