Assertion: collision | /r/HasSubgroup | independent binary collision
Facets:
Source sentences: