Assertion list
electrode (aspect of catheter ) → AtLocation
Results from Ascent++: 2
electrode → AtLocation → communication 0.42
electrode → AtLocation → distal tip of the catheter 0.38