public static void htmlDescribeTuples(String title, String head, NamedDescription relation, org.powerloom.PrintableStringWriter stream, boolean ruleP) {
    { Cons tuples = edu.isi.powerloom.PLI.getRelationExtension(relation, null, null).consify();

      OntosaurusUtil.htmlWriteHeaderWithTable(stream, title, head);
      if (tuples == Stella.NIL) {
        {
          stream.print("<I>");
          stream.print("None");
          stream.println("</I>");
        }
      }
      else {
        {
          stream.print("<PRE>");
          tuples = tuples.sort(Native.find_java_method("edu.isi.powerloom.logic.Proposition", "propositionLessThanP", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("edu.isi.powerloom.logic.Proposition")}));
          { Proposition tuple = null;
            Cons iter000 = tuples;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              tuple = ((Proposition)(iter000.value));
              OntosaurusUtil.pprintObject(tuple, stream);
              {
                stream.println();
                stream.println();
              }
;
            }
          }
          stream.println("</PRE>");
        }
      }
      if (ruleP) {
        stream.println("<HR SIZE=2>");
      }
      return;
    }
  }