Assertion list
electrode (aspect of catheter ) → HasA
Results from Ascent++: 5
electrode → HasA → an external electrode surface 0.42
electrode → HasA → a temperature sensor 0.41
electrode → HasA → a diameter of 18 mm 0.25
electrode → HasA → angles 0.25
electrode → HasA → hollow core 0.25