128129130131132133134135136137138
ManchesterSyntaxObjectRenderer renderer = new ManchesterSyntaxObjectRenderer( writer ); writer.println(); for( OWLAxiom axiom : nonEntailments ) { writer.print(index++); writer.print(")"); writer.printSpace(); writer.startBlock(); axiom.accept( renderer ); writer.endBlock(); writer.println();