public static void htmlDescribeOneSuperLevel(Cons directsupers, HashTable alreadyoutput, org.powerloom.PrintableStringWriter stream) {
    { boolean alreadyoutputP = false;

      if (directsupers == Stella.NIL) {
        return;
      }
      directsupers = Cons.copyConsList(directsupers).sort(Native.find_java_method("edu.isi.powerloom.logic.LogicObject", "objectNameLessThanP", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.LogicObject"), Native.find_java_class("edu.isi.powerloom.logic.LogicObject")}));
      {
        stream.print("<DL STYLE=' margin-top: 0; margin-bottom:0'>");
        { NamedDescription renamed_Super = null;
          Cons iter000 = directsupers;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            renamed_Super = ((NamedDescription)(iter000.value));
            alreadyoutputP = alreadyoutput.lookup(renamed_Super) != null;
            {
              stream.print("<DT STYLE='margin-top: 0'>");
              OntosaurusUtil.htmlWriteHref(stream, "show", "concept", renamed_Super);
              if (alreadyoutputP) {
                stream.print("...");
              }
              stream.println("</DT>");
            }
            if (!(alreadyoutputP)) {
              alreadyoutput.insertAt(renamed_Super, Stella.TRUE_WRAPPER);
              {
                stream.print("<DD>");
                OntosaurusUtil.htmlDescribeOneSuperLevel(edu.isi.powerloom.PLI.getDirectSuperrelations(renamed_Super, null, null).consify(), alreadyoutput, stream);
                stream.println("</DD>");
              }
            }
          }
        }
        stream.println("</DL>");
      }
      return;
    }
  }