Assertion list
kidney (aspect of donor ) → HasProperty
Results from Ascent++: 1
kidney → HasProperty → compatible 0.29