states(isKitchen,isLivingroom,isBedroom,isToilet,pattern,wandering,wanderingAlertUser,wanderingAlertCaregiver,wanderingSchedule,Ginestoilet,Gineskitchen,Ginesbedroom,Gineslivingroom,LivingroomMotion,ToiletMotion,BedroomMotion,KitchenMotion);

is(Ginestoilet);
is(#Ginestoilet);
is(Gineskitchen);
is(#Gineskitchen);
is(Ginesbedroom);
is(#Ginesbedroom);
is(Gineslivingroom);
is(#Gineslivingroom);
is(LivingroomMotion);
is(#LivingroomMotion);
is(ToiletMotion);
is(#ToiletMotion);
is(BedroomMotion);
is(#BedroomMotion);
is(KitchenMotion);
is(#KitchenMotion);
holdsAt(#isKitchen,0);
holdsAt(#isLivingroom,0);
holdsAt(#isBedroom,0);
holdsAt(#isToilet,0);

holdsAt(#pattern,0);
holdsAt(#wandering,0);
holdsAt(#wanderingAlertUser,0);
holdsAt(#wanderingAlertCaregiver,0);
holdsAt(#wanderingSchedule,0);
holdsAt(#Ginestoilet,0);
holdsAt(#Gineskitchen,0);
holdsAt(#Ginesbedroom,0);
holdsAt(#Gineslivingroom,0);
holdsAt(#LivingroomMotion,0);
holdsAt(#ToiletMotion,0);
holdsAt(#BedroomMotion,0);

holdsAt(#KitchenMotion,0);

ssr((KitchenMotion ^ Gineskitchen) -> isKitchen);
ssr((#KitchenMotion ^ #Gineskitchen) -> #isKitchen);

ssr((LivingroomMotion ^ Gineslivingroom) -> isLivingroom);
ssr((#LivingroomMotion ^ #Gineslivingroom ^ isLivingroom) -> #isLivingroom);

ssr((BedroomMotion ^ Ginesbedroom) -> isBedroom);
ssr((#BedroomMotion ^ #Ginesbedroom ^ isBedroom) -> #isBedroom);

ssr((KitchenMotion ^ Gineskitchen) -> isKitchen);
ssr((#KitchenMotion ^ #Gineskitchen ^ isKitchen) -> #isKitchen);

ssr((ToiletMotion ^ Ginestoilet) -> isToilet);
ssr((#ToiletMotion ^ #Ginestoilet ^ isToilet) -> #isToilet);


ssr(([-][30s.]#isKitchen ^ [-][30s.]#isBedroom ^ [-][30s.]#isToilet)->#pattern);
ssr(([-][30s.]#isLivingroom ^  [-][30s.]#isBedroom ^ [-][30s.]#isToilet)->#pattern);
ssr(([-][30s.]#isLivingroom ^ [-][30s.]#isKitchen ^ [-][30s.]#isToilet)->#pattern);
ssr(([-][30s.]#isLivingroom ^ [-][30s.]#isKitchen ^  [-][30s.]#isBedroom)->#pattern);
ssr(([-][30s.]#isLivingroom ^ [-][30s.]#isKitchen ^ [-][30s.]#isBedroom ^ [-][30s.]#isToilet)->#pattern);

ssr((<->[30s.]isLivingroom ^ <->[30s.]isKitchen)-> pattern);
ssr((<->[30s.]isLivingroom ^ <->[30s.]isBedroom)-> pattern);
ssr((<->[30s.]isLivingroom ^ <->[30s.]isToilet)-> pattern);
ssr((<->[30s.]isKitchen ^ <->[30s.]isBedroom)-> pattern);
ssr((<->[30s.]isKitchen ^ <->[30s.]isToilet)-> pattern);

ssr((<->[30s.]isBedroom ^ <->[30s.]isToilet)-> pattern);


ssr(([-][30s.]#pattern ^ wandering)->#wandering);
ssr(([-][30s.]pattern ^ #wandering)->wandering);
ssr(([-][30s.]pattern ^ wandering)->#pattern);

ssr(([-][1s.]wandering)-> wanderingAlertUser);
ssr(([-][1s.]wandering)-> wanderingAlertCaregiver);

ssr((clockBetween(00:00:00-23:59:59)) -> wanderingSchedule);