Assertion: chain | /r/HasSubgroup | omega chain
Facets:
Source sentences: