Assertion list
boil (primary) → IsA
Results from Ascent++: 2
boil → IsA → infection 0.45
boil → IsA → localized infection 0.34