* @param instancename
   * @param relationP
   * @return List
   */
  public static List getPropositionsForObject(String modulename, String instancename, boolean relationP) {
    relationP = relationP;
    { edu.isi.powerloom.PlIterator iter = edu.isi.powerloom.PLI.sGetPropositionsOf(GuiServer.guiNameToPlName(instancename), modulename, null);
      List propositions = List.newList();

      { Proposition prop = null;
        edu.isi.powerloom.PlIterator iter000 = iter;
        Cons collect000 = null;

        while (iter000.nextP()) {
          prop = ((Proposition)(iter000.value));
          if (!GuiServer.rulePropositionP(prop)) {
            if (collect000 == null) {
              {
                collect000 = Cons.cons(prop, Stella.NIL);
                if (propositions.theConsList == Stella.NIL) {
                  propositions.theConsList = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(propositions.theConsList, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(prop, Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
      return (propositions.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")})));
    }
  }