Assertion: contract | /r/HasProperty | built into the code
Facets:
Source sentences:
text: With smart contracts, a program enforces the contract built into the code.