Chapter 10 Exercise 14

There is an inconsistency between the notations used in this exercise and in the mML semantics given in section 7.3.  Please note these suggested changes, listed in the order they appear in the exercise: