Assertion list
fire alarm (subgroup of alarm ) → ReceivesAction
Results from Ascent++: 4
fire alarm → ReceivesAction → triggered 0.68
fire alarm → ReceivesAction → sounded 0.60
fire alarm → ReceivesAction → tested 0.38
fire alarm → ReceivesAction → installed 0.09