Assertion list
carotid artery (subgroup of artery ) → AtLocation
Results from Ascent++: 1
carotid artery → AtLocation → the neck 0.53