* @param moduleName
   * @param environment
   * @return PlIterator
   */
  public static PlIterator sGetPropositions(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 (PLI.consToPlIterator(PLI.helpGetPropositions(((LogicObject)(relation)), arguments, 0, ((Module)(module)), environment)));
    }
  }