Assertion list for term "combined with condition".
Results from Ascent++: 1
term (aspect of contract) → ReceivesAction → combined with condition 0.31