* @param arguments
   * @return boolean
   */
  public static boolean testRelationOnArgumentsP(Surrogate relation, Cons arguments) {
    if (!Logic.relationArityOkP(relation, arguments.length())) {
      return (false);
    }
    return (Logic.currentInferenceLevel().levellizedTestRelationOnArgumentsP(relation, arguments));
  }