states( CorridorLight , actionMap_day_context , KitchenDoor , BedRoomDoor , Pattern_5 , Pattern_3 , Pattern_4 , Pattern_1 , KitchenMotion , Pattern_2 , actionMap_time_context , Pattern_0 ); 
 is( actionMap_day_context ); 
 is( KitchenDoor ); 
 is( #KitchenDoor ); 
 is( BedRoomDoor ); 
 is( #BedRoomDoor ); 
 is( KitchenMotion ); 
 is( #KitchenMotion ); 
 is( actionMap_time_context ); 

 holdsAt( #KitchenMotion ,0 ); 
 holdsAt( CorridorLight ,0 ); 
 holdsAt( #BedRoomDoor ,0 ); 
 holdsAt( #KitchenDoor ,0 ); 
 holdsAt( #actionMap_day_context ,0 ); 
 holdsAt( #Pattern_5 ,0 ); 
 holdsAt( #Pattern_3 ,0 ); 
 holdsAt( #Pattern_4 ,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(13:41:59-13:58:41 ) ) -> actionMap_time_context ); 
 ssr( ( #clockBetween(13:41:59-13:58:41 ) ) -> #actionMap_time_context ); 
 
 ssr( ( KitchenDoor ^ actionMap_time_context ^ Pattern_1 ^ Pattern_2 ^ actionMap_day_context ) -> Pattern_0 ); 
 ssr( ( [-][05s.]#BedRoomDoor ^ actionMap_time_context ^ actionMap_day_context ) -> Pattern_1 ); 
 ssr( ( [-][01s.]#KitchenMotion ^ actionMap_time_context ^ Pattern_3 ^ actionMap_day_context ) -> Pattern_2 ); 
 ssr( ( [-][01s.]KitchenMotion ^ actionMap_time_context ^ Pattern_4 ^ actionMap_day_context ) -> Pattern_3 ); 
 ssr( ( [-][03s.]#KitchenDoor ^ actionMap_time_context ^ Pattern_0 ^ actionMap_day_context ) -> Pattern_4 ); 
 ssr( ( #KitchenDoor ^ actionMap_time_context ^ Pattern_0 ^ actionMap_day_context ) -> Pattern_5 ); 
 ssr( (Pattern_5 ) ->#CorridorLight );