Assertion list
acute renal failure (subgroup of renal failure ) → HasProperty
Results from Ascent++: 1
acute renal failure → HasProperty → reversible 0.59