Alphabet
	
	a:b a b ;

Rule-variables

X ;

Rules

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

"Rule2"
a:b => b _ ;
