[ [inheritance_clauses] 
  {subprogram_clauses | map_order_function_spec}
  [subprogram_clauses | map_order_function_spec]...
  [, pragma_clause [, pragma_clause]...]
]

For information on the symbols and conventions of Backus-Naur Form (BNF) syntax, see Appendix A.