public static void initializeImplicationSubsumptionGraph() {
    Logic.clearImplicationSubsumptionGraph();
    Logic.$IMPLICATION_SUBSUMPTION_GRAPH$ = TaxonomyGraph.newTaxonomyGraph();
    TaxonomyGraph.finalizeTaxonomyGraph(Logic.$IMPLICATION_SUBSUMPTION_GRAPH$);
  }