!7

p-exp {
  new NLLogicChecker_v2 c;
  c.matcher = new NLStringMatcher_dollarVars;
  c.facts.add("the opposite of dark is bright");
  c.input = "what is the opposite of dark";
  
  NLLogicChecker_v2.Matching m = new NLLogicChecker_v2.Matching();
  print("checks out", c.checkRule(nlLogic_parseRule([[
    input(What is the opposite of $old?)
    && fact(The opposite of $old is $new)
    => output(The opposite of $old is $new)
  ]]), m));
  printStruct(m.matches);
  pnlStruct(m.output);
}