Assertion: sphere | /r/HasSubgroup | independent orbit
Facets:
Source sentences: