Footnotes

 

(1)

This is just to say that technically these annotations may not be necessary for further processing. Which of these annotations are required by the language specification to be handled by parsers is a different issue.  

(2)

Similar to the notation ;/ used in [CoF98, Appendix C], THEN-ANNOTATION/ makes the annotation optional.