Assertion: weight | /r/HasSubgroup | hamming weight
Facets:
Source sentences: