Assertion: graph's number | /r/HasProperty | invariant
Facets:
Source sentences:
text: For example, the statement "graph does not have vertices of degree 1" is a "property" while "the number of vertices of degree 1 in a graph" is an "invariant".