Assertion list for term "set by the contract".

Results from Ascent++: 1
term (aspect of lease) ReceivesActionset by the contract 0.34