if( !notFoundExplanations.isEmpty() || !unexpectedExplanations.isEmpty() ) {
StringWriter sw = new StringWriter();
ConciseExplanationRenderer renderer = new ConciseExplanationRenderer();
renderer.startRendering( sw );
sw.getBuffer().append( "\nExpected:\n" );
renderer.render( axiom, expectedExplanations );
if( !notFoundExplanations.isEmpty() ) {
sw.getBuffer().append( "Not Found:\n" );
renderer.render( axiom, notFoundExplanations );
}
if( !unexpectedExplanations.isEmpty() ) {