Assertion: celestial sphere | /r/HasSubgroup | infinite radius celestial sphere
Facets:
Source sentences: