Assertion list
alarm (primary) → HasA
Results from Ascent++: 6
alarm → HasA → back-up battery 0.44
alarm → HasA → sensor 0.34
alarm → HasA → button 0.31
alarm → HasA → hushbutton 0.30
alarm → HasA → a self-diagnostics check 0.25
alarm → HasA → white finish 0.25