Assertion list
aortic valve (subgroup of valve ) → IsA

Results from Ascent++: 1
aortic valveIsA the valve 0.57