Assertion list for term "used in theory".

Results from Ascent++: 1
mechanism ReceivesActionused in theory 0.25