Assertion list for term "expire by lapse of time".

Results from Ascent++: 1
term (aspect of lease) CapableOfexpire by lapse of time 0.30