Assertion: pointer | /r/HasSubgroup | bit pointer
Facets:
Source sentences: