Assertion list
cooling tower (primary) → HasProperty
Results from Ascent++: 4
cooling tower → HasProperty → necessary 0.52
cooling tower → HasProperty → small 0.35
cooling tower → HasProperty → old 0.31
cooling tower → HasProperty → vulnerable 0.16