Assertion list for term "maintained in same condition".
Results from Ascent++: 1
property (aspect of tenant) → ReceivesAction → maintained in same condition 0.25