public static void htmlDescribeRules(String title, String head, LogicObject relation, org.powerloom.PrintableStringWriter stream, boolean ruleP) {
    { Cons rules = edu.isi.powerloom.PLI.getRules(relation, null, null).consify();
      boolean ruleWrittenP = false;

      OntosaurusUtil.htmlWriteHeaderWithTable(stream, title, head);
      {
        stream.print("<PRE>");
        rules = rules.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 rule = null;
          Cons iter000 = rules;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            rule = ((Proposition)(iter000.value));
            if ((!rule.deletedP()) &&
                ((((Boolean)(Logic.$REVERSEPOLARITYp$.get())).booleanValue() ? Proposition.falseP(rule) : (Proposition.trueP(rule) ||
                Proposition.functionWithDefinedValueP(rule))))) {
              if (!(Proposition.simpleSubrelationPropositionP(rule))) {
                OntosaurusUtil.pprintObject(rule, stream);
                {
                  stream.println();
                  stream.println();
                }
;
                ruleWrittenP = true;
              }
            }
          }
        }
        stream.println("</PRE>");
      }
      if (!(ruleWrittenP)) {
        {
          stream.print("<I>");
          stream.print("None");
          stream.println("</I>");
        }
      }
      if (ruleP) {
        stream.println("<HR SIZE=2>");
      }
      return;
    }
  }