definitions part

The definitions part introduces local variables that you can use in the rest of the rule.