Assertion list
alarm (primary) → IsA
Results from Ascent++: 1
alarm → IsA → signal 0.41