This is the first time that this example is using a relation as a declarative statement to define an expression (in other words, a value assignment) instead of using it for model-to-model mapping.

For example, some problems lend themselves to more succinct expression as a state machine than as a set of declarative rules.