2.4.4. Top level definitions

[41 (Formal)] Definitions ::= Definition*
    A right-recursive production would better suit the inference rules in
    5.10:
        Definitions ::= | Definition Definitions
    or
        Definitions ::= ( Definition Definitions )?

Examples
    In the middle of the examples, I get lost, forgetting whether the text
    between them is a like a title (preceding the example) or a caption
    (following).  It would be slightly clearer if the text before each
    example ended with a colon.