Assertion: elaboration | /r/HasSubgroup | theory elaboration
Facets:
Source sentences: