Assertion: circumference | /r/HasSubgroup | actual circumference
Facets:
Source sentences: