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