static NLLogicChecker_v2 nlLogicCheckerWithStandardFactsPlus(LS facts) {
  ret nlLogicCheckerWithFacts(concatLists(facts, ai_facts()));

}

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