Assertion list for term "activated by intruder".

Results from Ascent++: 1
alarm ReceivesActionactivated by intruder 0.36