Alphabet
	
	a:b a b ;

Rule-variables

X ;

Rules

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

"Rule2"
a <= a _ ;


