Assertion: lease's value | /r/HasProperty | recorded at the end of the lease file
Facets:
Source sentences:
text: Every time a lease is acquired, renewed or released, its new value is recorded at the end of the lease file.