Assertion: graph | /r/HasProperty | a set of vertices
Facets:
value: formally
type: MANNER
Source sentences:
text: Formally, a graph is a set of vertices and a binary relation between vertices, adjacency.
text: A graph is a set of vertices and a collection of edges that each connect a pair of vertices.