Assertion list for term "leased at the time of the sale".
Results from Ascent++: 1
property (aspect of tenant) → ReceivesAction → leased at the time of the sale 0.25