static L<Pair<S, IfThen>> ai_mL_parsedLogicExamples() {
  ret mapPairB_pcall(f nlLogic_parseRule, (L) combineWithGlobalIDs(splitAtEmptyLines(mL_raw("NL Logic Examples"))));
}