Assertion: assertion | /r/HasSubgroup | static assertion
Facets:
Source sentences: