Assertion list
tip (aspect of catheter ) → MadeOf
Results from Ascent++: 1
tip → MadeOf → same material 0.31