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

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