Alphabet a b ;
Rules
"rule name"
a:b <=> X Y Z _  ; where X in ( x y ) Y in ( x y ) matched and
                         Z in ( z t ) ;

