The 1V-Algorithm is subsumed be the MV-Algorithm; only the
result of using it on our norm example is presented
(this can be regarded as being obtained from the `1N' DAX in section
11.1 by propagating the branch for clause 1 down to the leaves of
the second partition, overwriting fail nodes):