Assertion list for term "expire at the end of the term".

Results from Ascent++: 1
lease CapableOfexpire at the end of the term 0.34