class T
rule
  a: A B C
end