Ascent++
Search
Assertion list
burglar alarm
(
subgroup
of
alarm
)
→ ReceivesAction
Results from
Ascent++
:
1
burglar alarm
→
ReceivesAction
→
triggered
0.25