Assertion: contract | /r/HasProperty | a set of clauses
Facets:
Source sentences:
text: A contract is a set of clauses that describe an input and an output.