Another little typo discovered. In Task D1, I left out a “to be” and a comma; it should read “…what we take the formal semantic representation of (28) to be, following…”