Assertion: graph | /r/HasAspect | empty set of vertices
Facets:
Source sentences:
text: An empty graph is a graph that has an empty set of vertices (and thus an empty set of edges).