IC Cards for Watcher

The IC cards for Watcher consists of two cards. The first card specifies what happens when a user clicks on a document, and a message m1 is sent to watcher.