public static void buildSubsumptionTaxonomyGraph() {
    { List relationswithdescriptions = Logic.relationsWithDescriptions();

      { Relation r = null;
        Cons iter000 = relationswithdescriptions.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          r = ((Relation)(iter000.value));
          Description.createDescriptionImplicationSubsumptionNode(((NamedDescription)(KeyValueList.dynamicSlotValue(r.dynamicSlots, Logic.SYM_LOGIC_DESCRIPTION, null))), null);
        }
      }
      { Relation r = null;
        Cons iter001 = relationswithdescriptions.theConsList;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          r = ((Relation)(iter001.value));
          { Relation renamed_Super = null;
            Iterator iter002 = Logic.directSuperrelations(r);

            while (iter002.nextP()) {
              renamed_Super = ((Relation)(iter002.value));
              if (relationswithdescriptions.memberP(renamed_Super)) {
                TaxonomyGraph.createTaxonomyLink(Logic.$IMPLICATION_SUBSUMPTION_GRAPH$, Description.findDescriptionImplicationSubsumptionNode(((NamedDescription)(KeyValueList.dynamicSlotValue(renamed_Super.dynamicSlots, Logic.SYM_LOGIC_DESCRIPTION, null)))), Description.findDescriptionImplicationSubsumptionNode(((NamedDescription)(KeyValueList.dynamicSlotValue(r.dynamicSlots, Logic.SYM_LOGIC_DESCRIPTION, null)))));
              }
            }
          }
        }
      }
    }
  }