Assertion: graph's edge | /r/HasProperty | unordered pair of vertices
Facets:
value: mathematically
type: MANNER
Source sentences:
text: Mathematically, an undirected edge is an unordered pair of vertices, and an arc is an ordered pair.