Assertion: deficit | /r/HasSubgroup | sized deficit
Facets:
Source sentences: