Assertion: graph's number | /r/HasProperty | doubled
Facets:
Source sentences:
text: The number of vertices must be doubled because each undirected edge corresponds to two directed arcs and thus the degree of a vertex in the directed graph is twice the degree in the undirected graph.