sbool nlLogic_matchRandomFact(NLLogicChecker_v2 c, S pat, NLLogicChecker_v2.Matching m) {
  L<VarMatches> choices = nlLogic_matchAllFacts(c, pat, m);
  if (empty(choices)) false;
  m.matches = random(choices);
  true;
}