Assertion list
cutter (aspect of catheter ) → HasA
Results from Ascent++: 4
cutter → HasA → at least one cutting surface 0.33
cutter → HasA → proximal end 0.33
cutter → HasA → beveled edge 0.25
cutter → HasA → negative angle of attack 0.25