Assertion list for term "sold after the termination of lives".
Results from Ascent++: 1
property (aspect of trust) → ReceivesAction → sold after the termination of lives 0.25