!7

p-exp {
  L<IfThen> all = nlLogic_parseRules(mL_raw("Partial Rule Example"));
  L<IfThen> tests = nlLogic_testsOnly(all);
  L<IfThen> rules = nlLogic_withoutTests(all);
  pnlWithHeading("TESTS", tests);
  pnlWithHeading("RULES", rules);
  
  for (IfThen test : tests) {
    print();
    LS facts = allToString(nlLogic_unrollAnd(test.in));
    Set<S> newFacts = asCISet(ai_deriveFacts(rules, facts));
    for (Exp e : unnull(nlLogic_unrollAnd(test.out)))
      print (contains(newFacts, str(e)) + ": " + e);
  }
}