states( ToiletLight , ToiletMotion, actionMap_day_context , Pattern_1 ,  actionMap_time_context , Pattern_0 ); 
 is(#ToiletLight ); 
 is( #ToiletMotion ); 
 is( ToiletMotion ); 
 holdsAt( #ToiletLight ,0 ); 
 holdsAt( #actionMap_day_context ,0 ); 
 holdsAt( #Pattern_1 ,0 ); 
 holdsAt( #actionMap_time_context ,0 ); 
 holdsAt( #Pattern_0 ,0 ); 
 ssr( ( weekDayBetween(sunday-friday ) ) ->actionMap_day_context ) ;
 ssr( ( #weekDayBetween(sunday-friday ) ) ->#actionMap_day_context ); 
 ssr( ( clockBetween(04:58:13-19:32:17 ) ) -> actionMap_time_context ); 
 ssr( ( #clockBetween(04:58:13-19:32:17) ) -> #actionMap_time_context );  
 ssr( ( #ToiletLight ^ actionMap_time_context ^ actionMap_day_context ) -> Pattern_1 );  
 ssr( ( ToiletMotion ^ actionMap_time_context ^ Pattern_1 ^ actionMap_day_context ) -> Pattern_0 );  
 ssr( ( Pattern_0 ) ->ToiletLight );