Assertion list
round trampoline (subgroup of trampoline ) → HasProperty
Results from Ascent++: 3
round trampoline → HasProperty → great 0.59
round trampoline → HasProperty → safer 0.51
round trampoline → HasProperty → the most common 0.26