public static void htmlWriteMultipleChoicePage(String searchstring, List candidateobjects, org.powerloom.PrintableStringWriter stream) {
    {
      stream.print("<HTML>");
      {
        stream.print("<HEAD>");
        stream.println("<BASE TARGET='content'>");
        {
          stream.print("<TITLE>");
          Stella.writeHtmlQuotingSpecialCharacters(stream, searchstring);
          stream.println("</TITLE>");
        }
        stream.println("</HEAD>");
      }
      { String tag007 = "BODY BGCOLOR='#" + OntosaurusUtil.$STANDARD_BACKGROUND_COLOR$ + "'";

        stream.print("<" + tag007 + ">");
        {
          stream.print("<H1>");
          stream.print("Matches for &quot;");
          {
            stream.print("<FONT COLOR='#990033'>");
            Stella.writeHtmlQuotingSpecialCharacters(stream, searchstring);
            stream.print("</FONT>");
          }
          stream.print("&quot;");
          stream.println("</H1>");
        }
        stream.println("<HR SIZE=4>");
        { LogicObject obj = null;
          Cons iter000 = candidateobjects.theConsList;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            obj = ((LogicObject)(iter000.value));
            if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(obj), OntosaurusUtil.SGT_LOGIC_DESCRIPTION)) {
              { Description obj000 = ((Description)(obj));

                if (Logic.classP(obj000)) {
                  stream.print("Concept ");
                }
                else {
                  stream.print("Relation ");
                }
                OntosaurusUtil.pprintObject(obj000, stream);
              }
            }
            else {
              stream.print("Object ");
              OntosaurusUtil.pprintObject(obj, stream);
            }
            OntosaurusUtil.htmlLineBreak(stream);
          }
        }
        stream.println("<HR SIZE=2>");
        OntosaurusUtil.writePowerloomTrailer(stream);
        stream.println("</" + Native.string_subsequence(tag007, 0, Native.string_position(tag007, ' ', 0)) + ">");
      }
      stream.println("</HTML>");
    }
  }