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