rewrite rule

in logic and linguistics

Categorie: