Assertion list for term "desired by user".
Results from Ascent++: 2
program → ReceivesAction → desired by user 0.31
information (aspect of label) → ReceivesAction → desired by user 0.28