Assertion: adversary | /r/CapableOf | control one of the parties
Facets:
value: statically,
type: MANNER
Source sentences:
text: Such an adversary controls one of the parties (statically, and so at the onset of the computation) and follows the protocol specification exactly.