Assertion list
thoracic aorta (subgroup of aorta ) → HasProperty

Results from Ascent++: 1
thoracic aortaHasProperty isolated 0.68