Assertion: graph's property | /r/HasProperty | stated as theorem
Facets:
Source sentences:
text: Various sets of rules result in specific properties that can be stated as theorems.