static SS ai_matchAnyFact(S pat) {
  new SS matches;
  ret ai_standardMatcher().matchAnyInput(pat, ai_standardFacts(), matches) ? matches : null;
}