Assertion: rest | /r/HasProperty | dynamic
Facets:
Source sentences:
text: As I demonstrated with the account transfer example, only a part of the contract can be described statically, and the rest is dynamic and contextual.