Assertion list for term "adjusted by the user".

Results from Ascent++: 1
parameter ReceivesActionadjusted by the user 0.47