Alphabet

	a b a:b ;

Rules 

"Rule1"
 a:b | b  => a _ ;

