!7

sclass ConstructChecker extends NLLogicChecker_v3 {
  S construct;
  
  bool checkExpression_impl(Exp e, Matching m) {
    if (e cast Func)
      if (eq(e.name, 'construct)) {
        S pat = e.arg.text();
        ret matcher.match(pat, construct, m.matches);
      }
        
    ret super.checkExpression_impl(e, m);
  }
}

static L<IfThen> preprocessRules(L<IfThen> rules) {
  final L<IfThen> metaRules = nlLogic_filterByRHSConstructs(rules, 'construct);
  
  new L<IfThen> newRules;
  for (IfThen rule : rules)
    newRules.add(nlLogic_transformShallow(rule, func(Exp e) -> Exp {
      if (!e instanceof Sentence2) ret e;
      final new ConstructChecker c;
      c.construct = e.text();
      applyNLLogicFacts_v3(c, voidfunc(Exp e) {
        if (e cast Func)
          if (eq(e.name, 'construct))
            c.construct = e.arg.text();
      }, metaRules);
      ret nlLogic_parseExpression(c.construct);
    }));
  ret newRules;   
}

p-exp {
  L<IfThen> rules = ai_parseRulesWithMacros(mL_raw("Rules BB"));
  rules = preprocessRules(rules);
  pnl(rules);
}