Assertion list
donor liver (subgroup of liver ) → ReceivesAction
Results from Ascent++: 1
donor liver → ReceivesAction → removed 0.25