Assertion list for term "leave positioned main stent".

Results from Ascent++: 1
catheter CapableOfleave positioned main stent 0.25