Assertion: circle | /r/HasProperty | 1 dimensional real manifold
Facets:
Source sentences:
text: The circle is a 1 dimensional real manifold and multiplication and inversion are real-analytic maps on the circle.