We have applied Theme/Doc to the Slot Machine domain. Below we present a diagram with the concerns and their respective requirements.
Diamonds are themes (concerns), rounded rectangles are requirements. Requirements are attached to their corresponding theme. Gray arrows denote crosscutting relationship between themes.