<arg1> <operator> <arg2>

Logical expressions without predefined Set are used in order to check whether the presented logical expression can be true in which case all already existing data element relations are taken into consideration:

010

The processing and analysis of these logical expressions takes place as follows:

Option 1

WHEN

an already existing relation between <arg1> and <arg2> can be derived from internally saved information – directly or indirectly –
THEN

a check is run whether the relation between <arg1> and <arg2> expressed by the <operator> can be true
AND

the processing, de­pen­ding on the result of check, is evaluated as either "successful" or "failed"

Option 2

WHEN

<arg1> and/or <arg2> do not exist yet
OR WHEN

no directly or indirectly existing relation can be established between <arg1> and <arg2>
THEN

the relation between <arg1> and <arg2> expressed by the <operator> can in principle be true
AND

the relation defined by the <operator> between <arg1> and <arg2> is put on the list of all currently existing relations
AND

the processing is evaluated as "successful"

Indirect relations

If e.g. both relations A < B and B < C are directly specified in instructions, the relation A < C can also be derived indirectly from it.