rewrite rule

in logic and linguistics

Categories: