Assertion list for term "achieve correct operation of the equipment".
Results from Ascent++: 1
alarm → CapableOf → achieve correct operation of the equipment 0.18