Assertion list
cutter (aspect of catheter ) → HasProperty
Results from Ascent++: 2
cutter → HasProperty → rotatable 0.53
cutter → HasProperty → movable 0.33