Assertion list
potential donor (subgroup of donor ) → HasProperty
Results from Ascent++: 1
potential donor → HasProperty → suitable 0.55