Assertion: chain | /r/HasSubgroup | byzantine chain
Facets:
Source sentences: