Alphabet a b ;
Rules
"rule name"
a:b <=> X Y _  ; where X in ( x y ) Y in ( x y ) freely ;

