Assertion list
alarm (primary) → AtLocation
Results from Ascent++: 1
alarm → AtLocation → the firing state 0.29