Assertion: ricardian contract | /r/HasProperty | a design pattern
Facets:
Source sentences:
text: Smart contracts, as defined in the work of Nick Szabo are an abstract concept relating to the automated performance of an already agreed contract, whereas the Ricardian contract is a design pattern to capture the intent of the agreement of the parties, before its performance.