Assertion list
blood vessel (subgroup of vessel ) → HasPrerequisite
Results from Ascent++: 1
blood vessel → HasPrerequisite → ligation 0.25