Assertion list
balloon (aspect of catheter ) → UsedFor
Results from Ascent++: 1
balloon → UsedFor → dilatation 0.31