public static void htmlDisplaySynonyms(Stella_Object self, org.powerloom.PrintableStringWriter stream) {
    { Cons synonyms = Logic.getSynonyms(self);

      if (!(synonyms == Stella.NIL)) {
        {
          stream.print("<P>");
          {
            stream.print("<B>");
            stream.print("Synonyms: ");
            stream.print("</B>");
          }
          Stella.writeHtmlEscapingUrlSpecialCharacters(stream, Logic.objectStringName(((LogicObject)(synonyms.value))));
          { LogicObject syn = null;
            Cons iter000 = synonyms.rest;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              syn = ((LogicObject)(iter000.value));
              stream.print(", ");
              Stella.writeHtmlEscapingUrlSpecialCharacters(stream, Logic.objectStringName(syn));
            }
          }
          stream.println("</P>");
        }
      }
    }
  }