Assertion: graph | /r/HasProperty | binary relation
Facets:
value: between vertices
type: LOCATION
value: formally
type: MANNER
Source sentences:
text: Formally, a graph is a set of vertices and a binary relation between vertices, adjacency.