*/
  public static void printFacts(Stella_Object instanceref) {
    { LogicObject instance = Logic.coerceToInstance(instanceref, null);

      { Proposition fact = null;
        Cons iter000 = Logic.allFactsOfInstance(instance, false, false).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")})).theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          fact = ((Proposition)(iter000.value));
          Logic.prettyPrintLogicalForm(fact, Stella.STANDARD_OUTPUT);
          System.out.println();
        }
      }
    }
  }