Assertion: protocol | /r/CapableOf | satisfy given properties
Facets:
Source sentences:
text: Prove that the protocol satisfies the given properties.