specification

specification ::= definition { specification } 

[rule list]
This rule is called by

-> module -> specification