* @param arg1
   * @param arg2
   * @param module
   * @param environment
   * @return PlIterator
   */
  public static PlIterator getBinaryPropositions(LogicObject relation, Stella_Object arg1, Stella_Object arg2, Module module, Environment environment) {
    return (PLI.consToPlIterator(PLI.helpGetPropositions(relation, Cons.consList(Cons.cons(arg1, Cons.cons(arg2, Stella.NIL))), 0, module, environment)));
  }