Alphabet

	a a:b c ;

Rules 

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

