states( Kettle , KitchenDoor , actionMap_day_context , Pattern_1 , Pattern_2 , actionMap_time_context , Pattern_0 ); 
 
 is( KitchenDoor ); 

 holdsAt( #Kettle ,0 ); 
 holdsAt( #KitchenDoor ,0 ); 
 holdsAt( #actionMap_day_context ,0 ); 
 holdsAt( #Pattern_1 ,0 ); 
 holdsAt( #Pattern_2 ,0 ); 
 holdsAt( #actionMap_time_context ,0 ); 
 holdsAt( #Pattern_0 ,0 ); 

 ssr( ( weekDayBetween(monday-friday ) ) ->actionMap_day_context ) ;
 ssr( ( #weekDayBetween(monday-friday ) ) ->#actionMap_day_context ); 
 ssr( ( clockBetween(06:58:14-08:32:17 ) ) -> actionMap_time_context ); 
 ssr( ( #clockBetween(06:58:14-08:32:17 ) ) -> #actionMap_time_context ); 

 
 ssr( ( [-][00:00:01]#KitchenDoor ^ actionMap_time_context ^ Pattern_1 ^ actionMap_day_context ) -> Pattern_0 ); 

 
 ssr( ( [-][00:00:08]#Kettle ^ actionMap_time_context ^ actionMap_day_context ) -> Pattern_1 ); 

 
 ssr( ( [-][00:00:01]KitchenDoor ^ actionMap_time_context ^ Pattern_0 ^ actionMap_day_context ) -> Pattern_2 ); 
 ssr( (Pattern_2 ) ->Kettle );