Assertion list for term "never be terminated".
Results from Ascent++: 2
lease → ReceivesAction → never be terminated 0.32
lease (aspect of tenant) → ReceivesAction → never be terminated 0.27