Anaphora and presupposition resolution rely on a modified notion of accessibility that incorporates the Right Frontier Constraint. The model-theoretic interpretation of an SDRS is built around a set of special interpretation rules for the various discourse relations. Narration for instance comes with a semantic interpretation rule that states that the both relata hold and moreover the main events they introduce stand in a relation of temporal progression. Some notational shortcuts: Kπ is the DRS associated with label π (i.e. the K such that π : K occurs somewhere in the SDRS); eπ is the unique event discourse referent that occurs in U(Kπ) (for readability we left out event referents from the example SDRS above, but for the purpose of modelling narrative temporal progression in SDRT we should treat every verb phrase as introducing an event discourse referent).