Assertion list
aortic valve (subgroup of valve ) → AtLocation
Results from Ascent++: 1
aortic valve → AtLocation → the opening of the aorta 0.25