In PDL2, exceptions to rules are always retained
in the knowledge base. Rules or examples that
confirm an existing rule (i.e., non-exceptional
subclasses) are usually not retained in the knowledge
base, unless they are found to be exceptions to other
rules. It follows that the system also retains exceptions
to exceptions.