@Override public O visit(ModifiableElkClassAssertionAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkClassAssertionAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkClassAssertionAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }