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

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