public static PLProposition makePlProposition(Proposition proposition, Module module, boolean isrule) {
    { PLProposition xmlproposition = PLProposition.new_PLProposition();

      xmlproposition.PropositionName = GuiServer.getPropositionString(proposition, module);
      if (Proposition.assertedAsTrueP(proposition)) {
        xmlproposition.IsAsserted = "TRUE";
      }
      else {
        xmlproposition.IsAsserted = "FALSE";
      }
      { Object old$Context$000 = Stella.$CONTEXT$.get();
        Object old$Module$000 = Stella.$MODULE$.get();

        try {
          Native.setSpecial(Stella.$CONTEXT$, Logic.getQueryContext());
          Native.setSpecial(Stella.$MODULE$, ((Context)(Stella.$CONTEXT$.get())).baseModule);
          if (edu.isi.powerloom.PLI.isStrict(Proposition.propositionTruthValue(proposition))) {
            xmlproposition.IsStrict = "TRUE";
          }
          else {
            xmlproposition.IsStrict = "FALSE";
          }

        } finally {
          Stella.$MODULE$.set(old$Module$000);
          Stella.$CONTEXT$.set(old$Context$000);
        }
      }
      if (isrule) {
        xmlproposition.IsRule = "TRUE";
      }
      else {
        xmlproposition.IsRule = "FALSE";
      }
      return (xmlproposition);
    }
  }