Assertion list
coronary artery (subgroup of artery ) → IsA
Results from Ascent++: 1
coronary artery → IsA → artery 0.25