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