| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .FO? | Bevent | p | Bevent |
| . .W? | Bevent | p | Bevent |
| . .l | Bevent | pf | Bevent → L with λ be. be.FO? ∨ be.W? |
| . .v | Bevent | pf | Bevent → V with λ be. be.W? |
| ∅ | memory | f | L → V |
| Bevent | Bevent | s | |
| FO | Bevent | f | L → Bevent |
| L | memory | s | |
| O | memory | c | V |
| SF | Bevent | c | Bevent |
| T | memory | s | |
| V | memory | s | |
| W | Bevent | f | L × V → Bevent |
| be | Bevent | v | Bevent |
| l | Bevent | v | L |
| v | Bevent | v | V |