Assertion list for term "desired by user".

Results from Ascent++: 2
program ReceivesActiondesired by user 0.31
information (aspect of label) ReceivesActiondesired by user 0.28