Assertion: excess | /r/HasSubgroup | spherical excess
Facets:
Source sentences: