!7

sS rule = [[
  input(I'm a $scammer!)
    && fact(a $scammer $scams_people)
    && relationX($scams_people, $scam_people)
    => output(You $scam_people?!)
]];

p-exp {
  NLLogicChecker_v2 c = new NLLogicChecker_v2 {
    bool checkExpression(Exp e, Matching m) {
      if (e cast Func) {
        if (eq(e.name, "relationX"))
          printStruct("Checking: " + e); // TODO
      }
      ret super.checkExpression(e, m);
    }
  };
  
  c.input = "I'm a driver";
  c.facts = ll("A driver drives cars");
  
  applyNLLogicFacts_v2(checker, vf_print(),
    ll(pair(aGlobalID(), nlLogic_parseRule(rule))));
}