specif_name
specif_name
::=
identifier
[rule list]
This rule is called by
->
m5_specification
