//Taxonomy<ATermAppl> taxonomy = builder.getTaxonomy();
//ClassTreePrinter printer = new ClassTreePrinter();
//printer.print( taxonomy );
builder = new POTaxonomyBuilder( kb, new PartClassesComparator( kb, p ) );
builder.classify();
Taxonomy<ATermAppl> taxonomy = builder.getTaxonomy();
ClassTreePrinter printer = new ClassTreePrinter();
printer.print( taxonomy );
}