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