Assertion: resource | /r/HasSubgroup | finite resource
Facets:
Source sentences: