Assertion list
wall (aspect of aneurysm ) → HasA
Results from Ascent++: 2
wall → HasA → layer 0.35
wall → HasA → remaining 0.31