This section present the derivation modes.
All rules are applied via every possible match in parallel. A single node may be deleted by several rule applications.
It is ensured that a single node is deleted by at most one actual rule application. If several potential rule applications delete the same node, one actual application is chosen pseudo-randomly.
Only one rule application is performed in a single step (as marked by {@link #derive()}). If several applications are possible, only the first one is chosen.
Only one rule application is performed in a single step (as marked by {@link #derive()}). If several applications are possible, one is chosen pseudo-randomly.
Rules have to be applied as interpretive rules.