Assertion list
catheter ablation (subgroup of ablation ) → HasProperty

Results from Ascent++: 1
catheter ablationHasProperty successful 0.62