Assertion: graph's edge | /r/HasProperty | replaced by pairs of inverse arrows
Facets:
Source sentences:
text: Complete directed graphs are simple directed graphs where each pair of vertices is joined by a symmetric pair of directed arrows (it is equivalent to an undirected complete graph with the edges replaced by pairs of inverse arrows).