Assertion: graph's g | /r/HasProperty | undirected graph
Facets:
value: formally
type: MANNER
Source sentences:
text: Formally, an intersection graph G is an undirected graph formed from a family of sets