The syntax of rules