Alphabet

	a b a:b ;

Rules 

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

