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