Assertion list
enclosure (aspect of trampoline ) → HasProperty
Results from Ascent++: 2
enclosure → HasProperty → safe 0.16
enclosure → HasProperty → strong 0.16