// Description #2 of a burglar alarm in beta-Juliet

event WindowSwitchBroken;
event MotionDetectorTriggered;

event Alarm,
 caused after WindowSwitchBroken,
 caused after MotionDetectorTriggered,
 causes Alarm.