pm#graph_ADT
  supertype:  pm#structured_ADT__structured_abstract_data_type
  subtype:  sumo#graph__connected_graph__connectedgraph  every graph is assumed to contain at least two arcs and three nodes

No statement uses or specializes pm#graph_ADT; click here to add one.