static AI_Rule ai_rule(T3<S> a1, T3<S> a2, T3<S> c) {
  new AI_Rule r;
  r.antecedents = ll(a1, a2);
  r.consequent = c;
  ret r;
}