rewrite rule

in logic and linguistics