arg-st.tex uses the LEX-DTR notation for the passive lexical rule. Then the \mapsto notation is used out of the blue. It is not even mentioned that (54) is a lexical rule.
Add footnote explaining the \mapsto is intended to be a shorthand for the LEX-DTR notation. Refer to Chapter 4 Section 5.1.