Assertion list
thoracic aorta (subgroup of aorta ) → CapableOf

Results from Ascent++: 1
thoracic aortaCapableOf run to the diaphragm 0.68