Assertion list
inner envelope (subgroup of envelope ) → CapableOf
Results from Ascent++: 1
inner envelope → CapableOf → extend into the aorta 0.68