Fix inconsistency
dosumis opened this issue · comments
David Osumi-Sutherland commented
David Osumi-Sutherland commented
All inconsistency fixed by removing single disjointness axiom above.
However - seems reasonable to just add a general disjointness stripping step to the Makefile.