Assertion: graph | /r/HasAspect | diameter d
Facets:
Source sentences:
text: If a graph has diameter d, then its d-th power is the complete graph.