Alphabet a b ;
Rules
"rule name"
a:b <=> X _ ; where X in ( x y ) ;

