public static Vector evaluateRuleInductionEvaluatorWrapper(Cons arguments) {
    return (Logic.evaluateRuleInduction(((Symbol)(arguments.value)), ((Symbol)(arguments.rest.value)), ((IntegerWrapper)(arguments.rest.rest.value)).wrapperValue, ((IntegerWrapper)(arguments.rest.rest.rest.value)).wrapperValue));
  }