Assertion: contract | /r/HasProperty | finished
Facets:
Source sentences:
text: performed termination (contract is finished);