static void ai_spec_applyRule(S rule) {
  AI_Rule r = ai_parseRule(rule);
  ret if r == null;
  
  L<SS> l = ai_texts_dollarAny_multi(r.antecedents);
  for (SS map : l) {
    S source = "Rule {" + rule + "} with " + struct(map);
    postWithSource(ai_replaceStandaloneVarsInTriple(r.consequent, map), source);
  }
}