sbool nlLogic_matchAnyFact(NLLogicChecker_v2 c, S pat, NLLogicChecker_v2.Matching m) {
  LS patterns = tok_splitAtVerticalBar(pat);
  for (S fact : c.facts) {
    bool result =  nlLogic_matchMultiplePatterns(c, patterns, fact, m);
    if (m.verbose) print("matched " + quote(pat) + " with " + quote(fact) + " & " + sfu(m.matches) + " => " + result);
    if (result) true;
  }
  false;
}