Different notation for lexical rules in arg-st.tex

Question

Different notation for lexical rules in arg-st.tex

Closed this issue 2 months ago · 0 comments

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.