Alphabet

	a b a:b c c:d ;

Sets

X = d ;

Rules 

"Rule1"
c:X => a _ ;

