Assertion list
spring (aspect of trampoline ) → HasProperty
Results from Ascent++: 3
spring → HasProperty → durable 0.35
spring → HasProperty → good 0.32
spring → HasProperty → long 0.25