Assertion: graph's type | /r/HasProperty | the operations addvertex
Facets:
Source sentences:
text: The types of graphs we need (directed, with possibly more than one disconnected component) and what we want to do with them (the operations AddVertex , AddEdge and IsReachable ) will greatly affect how we should implement the graph.