maxTime(40).
events switch, sos, flash.
actions switch, shout.
fluents lightOn, lightOff.

observe switch  from 2 to 3.
observe switch  from 4 to 5.
observe switch  from 5 to 6.
observe switch  from 7 to 8.
observe switch  from 8 to 9.
observe switch  from 10 to 11.

lightOff  if not lightOn.

switch initiates lightOn 	if lightOff.
switch terminates lightOn 	if lightOn.

% if true then sos.

if sos to T then 
	sos from T+3.

sos  from T1 to  T4 if  
	lightOff at T1, flash from T1 to T2, 
	flash from T2 to T3, flash from T3 to T4.

flash  if 
	switch  to T,  switch from T+1.


/*
sos  if lightOff, flash, flash, flash.
flash if switch to T, switch from T+1.

if sos then shout.
*/

/** <examples>
?- go(Timeline).
?- go.
?-  go(Timeline, [sample([lightOff])]). 
?- go(Timeline,[composites]).
   
*/