Assertion list for term "used in mode".

Results from Ascent++: 1
amplifier ReceivesActionused in mode 0.25