Assertion: value | /r/HasSubgroup | infinity value
Facets:
Source sentences: