2 Proposal for parser standard annotations

• all original and induced annotations of the specifications (for example, an assoc attribute induces a left assoc precedence annotation)
• author, date, site
• non-terminal placeholders (needed for structure editors) (strictly speaking, this is not an annotation, but an extension of the abstract syntax)
• (relative?) line numbers (needed for useful error messages)
• syntax error messages (there should be at least the option not to display them on screen, but to include them as annotations. This is important when using the parser as a front-end.)
• the sublanguage or extension language the specifications belong to (should this be given for each construct contributing to signature and axioms, for each named specification, or for the whole library, or for all three?).