I think that specification still can be improved. It is clear about order of evaluation, but not on the order of assignment.
Does it do tmp3 = expr1 tmp4 = expr2
expr3 = tmp3
expr4 = tmp4
or expr3 = expr1
expr4 = expr2
? I guess it is the latter, but the text does not make that clear.