static LS ai_applyFactToOutputRules(S rules, S facts) {
  ret asList(ai_deriveOutput(ai_parseRules(rules), tlft(facts)));
}