Alphabet

	a b a:b ;

Sets

X = a ;

Rules 

"Rule1"
a:b => X _ ;

