Assertion list
cooling system (primary) → HasA

Results from Ascent++: 6
cooling systemHasA first portion 0.29
cooling systemHasA a blower unit 0.27
cooling systemHasA generator 0.27
cooling systemHasA enough cooling capacity 0.25
cooling systemHasA tight design 0.25
cooling systemHasA leak 0.20