Assertion: message's effect | /r/HasProperty | reversed
Facets:
Source sentences:
text: If the transaction is rolled back, Host A can assume that any effects of the message have been reversed.