public static PLPropositionContainer testServerGetPropositionsForModule() {
    { PLString plstring = PLString.new_PLString();

      plstring.Value = "AIRCRAFT-KB";
      return (PLString.serverGetPropositionsForModule(plstring));
    }
  }