Assertion list
frame (aspect of trampoline ) → HasProperty
Results from Ascent++: 3
frame → HasProperty → sturdy 0.49
frame → HasProperty → strong 0.37
frame → HasProperty → thick 0.16