static NLLogicChecker_v2 nlLogicCheckerWithStandardFacts() {
  ret nlLogicCheckerWithFacts(ai_facts());
}