sbool nlLogic_evalExp_verbose = true;

static O nlLogic_evalExp(final NLLogicChecker_v2 c, Exp e, NLLogicChecker_v2.Matching m) {
  ret nlLogic_evalExp(c, e.text(), m);
}

static O nlLogic_evalExp(final NLLogicChecker_v2 c, S code, NLLogicChecker_v2.Matching m) {
  // prepare context
  final SS vars = m.matches;
  temp tempSetTL(ai_context_tl(), new O {
    LS getList(S var) {
      int i = 1;
      S s;
      new LS l;
      while ((s = vars.get(var + i++)) != null)
        l.add(s);
      ret l;
    }
    
    IfThen getRule(S id) {
      ret findByField(c.rules, globalID := id);
    }
  });

  if (nlLogic_evalExp_verbose) print("Eval'ing: " + code);
  temp tempAdd(hotwire_copyOver_after, voidfunc(Class c) {
    copyFields(mc(), c, ai_staticVars())
  });
  O result = null;
  pcall {
    temp tempSetTL(evalJava_prep2_useCacheInThread, true);
    temp tempSetTL(evalJava_prep_voidMagic, false);
    Pair<LS, O> p = prepareEvalWithDollarVars_assertAllVarsSet(code, m.matches);
    
    // Accomodate ai_isTrue
    if (hasField(p.b, 'ai_isTrue_f))
      set(p.b, 'ai_isTrue_f := func(S s) -> bool { nlLogic_matchAnyFact(c, s, new NLLogicChecker_v2.Matching()) });
      
    // Accomodate ai_input
    if (c.input != null) {
      ThreadLocal tl_vars = cast getOpt(p.b, 'ai_getVar_map);
      if (tl_vars != null)
        tl_vars.set(litmap("#input" := c.input));
    }
      
    result = evalWithDollarVars_step2(p, m.matches);
  }
  if (nlLogic_evalExp_verbose) print("  eval => " + shorten(str(result), 100));
  ret result;
}