Assertion list
mini trampoline (subgroup of trampoline ) → HasProperty
Results from Ascent++: 1
mini trampoline → HasProperty → great 0.59