Assertion list for term "used at bottom".

Results from Ascent++: 2
ace ReceivesActionused at bottom 0.40
pulley ReceivesActionused at bottom 0.25