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