We now present a procedure for deriving a dynamic oracle for any arc-decomposable system.
first of all, we can define a non-deterministic oracle as follows: we allow all transitions after which the goal tree is still reachable.