| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .R? | RWevent | p | RWevent |
| . .W? | RWevent | p | RWevent |
| . .l | RWevent | f | RWevent → L |
| . .t | RWevent | f | RWevent → T |
| . .v | RWevent | f | RWevent → V |
| ∅ | memory | f | L → V |
| L | memory | s | |
| O | memory | c | V |
| R | RWevent | f | T × L × V → RWevent |
| RWevent | RWevent | s | |
| T | memory | s | |
| V | memory | s | |
| W | RWevent | f | T × L × V → RWevent |
| e | RWevent | v | RWevent |
| l | RWevent | v | L |
| t | RWevent | v | T |
| v | RWevent | v | V |