Assertion list
kidney infection (subgroup of infection ) → HasProperty

Results from Ascent++: 1
kidney infectionHasProperty serious 0.16