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 (...)>