Assertion: consistency | /r/HasProperty | checked after each transaction
Facets:
Source sentences:
text: Because consistency is checked after each transaction, it is known that A + B = 100 before the transaction begins.