Writing a rule to describe a translation