Assertion list for term "used in the negative".

Results from Ascent++: 1
expression ReceivesActionused in the negative 0.41