Assertion: measure | /r/HasSubgroup | finite measure
Facets:
Source sentences: