23.2. An example
Notice the context aspect, the aspect thing role and the user role aspect.
case DisconnectedPeer
aspect sys:ContextWithNotification
user Disconnecter filledBy sys:TheWorld$PerspectivesUsers
aspect sys:ContextWithNotification$NotifiedUser
state ActionsCanBeTaken = exists binding
on entry
do
create role sys:Chat
notify "You can now start a chat with the peer."
aspect thing sys:ContextWithNotification$Notifications