Alphabet a b ;
Rules
"rule name"
a:b <=> x _ ;
