* @param nminusonearguments
   * @return Cons
   */
  public static Cons allRelationValues(Surrogate relation, Cons nminusonearguments) {
    if (!Logic.relationArityOkP(relation, nminusonearguments.length() + 1)) {
      return (Stella.NIL);
    }
    return (Logic.currentInferenceLevel().levellizedAllRelationValues(relation, nminusonearguments));
  }