Do not show automatically generated axioms with anonymous individuals
Do now show them neither in the set of correct nor in the set of possibly faulty axioms. These axioms are automatically generated when activating the check for incoherency.
Do now show them neither in the set of correct nor in the set of possibly faulty axioms. These axioms are automatically generated when activating the check for incoherency.