Assertion: abacus | /r/HasSubgroup | binary abacus
Facets:
Source sentences: