Assertion list
tip (aspect of catheter ) → AtLocation
Results from Ascent++: 2
tip → AtLocation → right place 0.31
tip → AtLocation → the superior vena cava 0.25