static Collection<S> ai_simulateFactToFactRules() {
  L<IfThen> rules = ai_parseRules(mL_raw("Fact-to-fact rules"));
  ret ai_deriveFacts(rules, ai_facts());
}