Assertion: group's line | /r/HasProperty | shown at the bottom
Facets:
Source sentences:
text: It is a manifold and thus a Lie group, because every small piece , such as the red arc in the figure, looks like a part of the real line (shown at the bottom).