Assertion list for term "shorter lifetimes".

Results from Ascent++: 1
star HasAshorter lifetimes 0.35