Assertion list
outer cannula (subgroup of cannula ) → HasProperty
Results from Ascent++: 1
outer cannula → HasProperty → rigid 0.25