Assertion list for term "left in clean condition".
Results from Ascent++: 1
property (aspect of tenant) → ReceivesAction → left in clean condition 0.32