Alphabet
	
	a:b a b ;

Rule-variables

X ;

Rules

"Rule1"
a:b => X _ ; where X in (a b) ; 


