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