Assertion list
ft trampoline (subgroup of trampoline ) → HasProperty
Results from Ascent++: 2
ft trampoline → HasProperty → perfect 0.59
ft trampoline → HasProperty → lower 0.25