subclass_specif

subclass_specif ::= "subclass" class_name "of" superclass_name 
      { "when" spec_condition } 
      tuple_class_def

[rule list] 
This rule is called by

-> m5_specification