specification

specification ::= definition { specification } 

This rule is called by

-> module
-> specification