Assertion list for term "modified in any manner".
Results from Ascent++: 2
condition → ReceivesAction → modified in any manner 0.41
term (aspect of contract) → ReceivesAction → modified in any manner 0.37