Assertion list for term "used in state".

Results from Ascent++: 1
pen ReceivesActionused in state 0.28