public static void clearImplicationSubsumptionGraph() {
    { Relation r = null;
      Cons iter000 = Logic.relationsWithDescriptions().theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        r = ((Relation)(iter000.value));
        KeyValueList.setDynamicSlotValue(((NamedDescription)(KeyValueList.dynamicSlotValue(r.dynamicSlots, Logic.SYM_LOGIC_DESCRIPTION, null))).dynamicSlots, Logic.SYM_STELLA_TAXONOMY_NODE, null, null);
      }
    }
  }