Alphabet a b ;
Rules
"rule name"
a:b <=> x _ ;

"rule name2"
a:a <= x x _ ;