Assertion: sphere | /r/HasSubgroup | vector field
Facets:
Source sentences: