Assertion: y | /r/HasSubgroup | codomain y
Facets:
Source sentences: