Assertion list for term "used in the paper".

Results from Ascent++: 2
source ReceivesActionused in the paper 0.61
variable ReceivesActionused in the paper 0.51