<arg1> <operator> <arg2>
Logische Ausdrücke ohne vorangestelltes Set werden verwendet, um zu prüfen, ob der dargestellte logische Ausdruck wahr sein kann, wobei alle bereits bestehenden Datenelement-Beziehungen berücksichtigt werden:

Die Verarbeitung und Analyse dieser logischen Ausdrücke funktioniert wie folgt:
Möglichkeit 1
| WENN |
aus den intern gespeicherten Informationen – direkt oder indirekt – eine bereits bestehende Beziehung zwischen <arg1> und <arg2> abgeleitet werden kann |
| DANN |
wird geprüft, ob die über den <operator> ausgedrückte Beziehung zwischen <arg1> und <arg2> wahr sein kann |
| UND |
die Verarbeitung wird, je nach Ergebnis der Prüfung, entweder als "erfolgreich" oder als "gescheitert" bewertet |
Möglichkeit 2
| WENN |
<arg1> und/oder <arg2> noch nicht existieren |
| ODER WENN |
zwischen <arg1> und <arg2> keine direkte oder indirekte Beziehung besteht |
| DANN |
kann die über den <operator> ausgedrückte Beziehung zwischen <arg1> und <arg2> grundsätzlich wahr sein |
| UND |
die über <operator> definierte Beziehung zwischen <arg1> und <arg2> wird neu in die Liste aller aktuell bestehenden Beziehungen aufgenommen |
| UND |
die Verarbeitung wird als "erfolgreich" bewertet |