Assertion list for term "covered with padding".

Results from Ascent++: 1
spring (aspect of trampoline) ReceivesActioncovered with padding 0.71