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