Assertion list
known donor (subgroup of donor ) → IsA
Results from Ascent++: 1
known donor → IsA → donor 0.38