* @param moduleName
   * @param environment
   * @return Proposition
   */
  public static Proposition sGetProposition(String relationAndArguments, String moduleName, Environment environment) {
    { Context module = PLI.safelyGetModule(moduleName, environment);
      Cons elements = PLI.explodeStringList(relationAndArguments, ((Module)(module)));
      Stella_Object relation = elements.value;
      Cons arguments = elements.rest;

      return (((Proposition)(PLI.helpGetPropositions(((LogicObject)(relation)), arguments, 1, ((Module)(module)), environment).value)));
    }
  }