Alphabet a b ;
Rules
"rule name"
a:b => {x | y} _ ;
