Assertion: circle | /r/HasSubgroup | riemannian circle
Facets:
Source sentences: