Assertion list
alarm (primary) → IsA

Results from Ascent++: 1
alarmIsA signal 0.41