Adding a definitions part

You add a definitions part in a rule to create variables that can be used within the rule, and to simplify certain expressions.