Syntax of a rewrite RuLe