Assertion list
main (primary) → CapableOf
Results from Ascent++: 1
main → CapableOf → feed water coolers 0.59