public static PLPropositionContainer testServerGetPropositionsForInstanceAndRelation() {
    { PLString modstring = PLString.new_PLString();
      PLString relationstring = PLString.new_PLString();
      PLString instancestring = PLString.new_PLString();

      modstring.Value = "AIRCRAFT-KB";
      relationstring.Value = "FLEET-SIZE";
      instancestring.Value = "USAF";
      return (PLString.serverGetPropositionsForInstanceAndRelation(modstring, instancestring, relationstring));
    }
  }