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