These files show the differences between different versions of the
ontology. The anotation indicates which catagory each fails
into, where the numbers have the following meaning:
performable by ORS;
could refine the mismatch after small changes;
could not refine the mismatch, because:
ORS did not have sufficient functionality;
this mismatch is outside the scope of the project;
this mismatch is irrelevant to an automated system;
this mismatch could not occur in the restricted KIF that ORS is
designed to use;
this mismatch could not be highlighed in a planning context;
the information we have about the mismatch is insufficient to
diagnose which of the above catagories it would fall into.
