!7

p-exp {
  new NLLogicChecker_v1 c;
  c.facts.add("the opposite of old is new");
  c.input = "what is the opposite of old";
  
  NLLogicChecker_v1.Matching m = new NLLogicChecker_v1.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));
  pnlStruct(m.output);
}