* @param argName
   * @param moduleName
   * @param environment
   * @return PlIterator
   */
  public static PlIterator sGetInferredBinaryPropositionValues(String relationName, String argName, String moduleName, Environment environment) {
    { Context module = PLI.safelyGetModule(moduleName, environment);
      Stella_Object relation = PLI.safelyGetRelation(relationName, ((Module)(module)), environment);
      Stella_Object renamed_Object = PLI.safelyGetObject(argName, ((Module)(module)), environment);

      if ((renamed_Object != null) &&
          (relation != null)) {
        return (PLI.getInferredBinaryPropositionValues(((LogicObject)(relation)), renamed_Object, ((Module)(module)), environment));
      }
      else {
        return (PLI.EMPTY_PL_ITERATOR);
      }
    }
  }