m5_specification

m5_specification ::= "specification" specif_name ";" 
      { ( class_specif | subclass_specif | context_specif | 
      object_cycle_specif | event_cycle_specif | 
      process_specif ) ";" }