IC Cards for Watcher (continued)

The second card specifies what happens when an information request m2 is received. In this example the IC cards are quite precise. The IC cards can also be more general and less precise. In which case the precise description should be supplied later in the implemented component.