Assertion list for term "cover life".

Results from Ascent++: 1
policy CapableOfcover life 0.58