sclass AI_Rule {
  L<T3<S>> antecedents;
  T3<S> consequent;
}