130131132133134135136137138139140
for( OWLAxiom axiom : nonEntailments ) { writer.print(index++); writer.print(")"); writer.printSpace(); writer.startBlock(); axiom.accept( renderer ); writer.endBlock(); writer.println(); } writer.flush();