Assertion list for term "operable to increase".

Results from Ascent++: 1
circuit ReceivesActionoperable to increase 0.25