// Description #3 of a burglar alarm in beta-Juliet (v1.0 or v2.0)
event WindowSwitchBroken;
event MotionDetectorTriggered;
event SystemArmed;
event SystemDisarmed;
event Alarm,
caused after WindowSwitchBroken when SystemArmed > SystemDisarmed,
caused after MotionDetectorTriggered when SystemArmed > SystemDisarmed,
causes Alarm.