Assertion list for term "compressed against top underside".

Results from Ascent++: 1
spring ReceivesActioncompressed against top underside 0.30