Assertion list for term "assigned within condition".
Results from Ascent++: 1
term (aspect of contract) → ReceivesAction → assigned within condition 0.47