Assertion list
atrioventricular valve (subgroup of valve ) → HasProperty
Results from Ascent++: 1
atrioventricular valve → HasProperty → open 0.68