static NLLogicChecker_v2 nlLogicCheckerWithFacts(LS facts) {
  new NLLogicChecker_v2 c;
  c.facts = facts;
  ret c;
}

static NLLogicChecker_v2 nlLogicCheckerWithFacts(S... facts) {
  ret nlLogicCheckerWithFacts(asList(facts));
}