addAxiom(readdAxiom, i.next(), true); while (i.hasNext()) addAxiomExplanation(readdAxiom, i.next());
added = true; else added |= addAxiom(a, explain, false);
addAxiom(readdAxiom, i.next(), true); while (i.hasNext()) addAxiomExplanation(readdAxiom, i.next());
added = true; else added |= addAxiom(a, explain, false);