John and Mary run
| e | |(e,(e,e))| | e | |(e,t)|
| (e,e) | | e | |(e,t)|
| e | |(e,t)|
| t |
Mary runs and jumps
| e | |(e,t)| |((e,t),((e,t),(e,t)))| |(e,t)|
| e | | ((e,t),(e,t)) | |(e,t)|
| e | | (e,t) |
| t |
| e | |(e,(e,e))| | e | |(e,t)|
| (e,e) | | e | |(e,t)|
| e | |(e,t)|
| t |
Mary runs and jumps
| e | |(e,t)| |((e,t),((e,t),(e,t)))| |(e,t)|
| e | | ((e,t),(e,t)) | |(e,t)|
| e | | (e,t) |
| t |