Assertion list
transplant (primary) → HasA

Results from Ascent++: 1
transplantHasA infection 0.16