Alphabet a b a:b ;
Sets
X = a ;
Rules
"Rule1"
a:b => X:a _ ;
