B Abbreviated Abstract Syntax

[CHANGED:] [] The full grammar, defining the same (tree) language but using more nonterminal symbols, is given in Appendix A.

The following nonterminal symbols correspond to lexical syntax, and are left unspecified in the abstract syntax: WORDS, SIGNS, DOT-WORDS, PLACE, URL, and NUMBER.