example ::= [ [ privacy ] example ]
[ spec-var-decls ]
[ spec-header ]
simple-spec-body
| [ privacy ] exceptional_example
[ spec-var-decls ]
spec-header
[ exceptional-example-body ]
| [ privacy ] exceptional_example
[ spec-var-decls ]
exceptional-example-body
| [ privacy ] normal_example
[ spec-var-decls ]
spec-header
[ normal-example-body ]
| [ privacy ] normal_example
[ spec-var-decls ]
normal-example-body
exceptional-example-body ::= exceptional-spec-clause
[ exceptional-spec-clause ] ...
normal-example-body ::= normal-spec-clause
[ normal-spec-clause ] ...
|