As mentioned in Functions, there are two functions. For each described function, a claim can be formed about the positives as well as the negative effects of implementing each function. Each claim can be deconstructed into a pre- and post-condition of a user story embodying that specific function.

Key terms: Patient with Dementia (PwD)

Walking with Miro

Pre-condition

PwDs are in a gloomy state of mind and have the desire to go for a walk.

Post-condition

PwDs are either happier or grumpier after having walked with the Miro. This can be explained through