Alphabet a b c d e ;

Rules

"test"
a:Vy <=> a _ Vx ;
    where Vx in (c:d d)
    	  Vy in (b e)
	  matched ;