Procedural Constructs

This section presents the Procedural Semantics of discourse relations, which are not derived from RST. These discourse relations, the so-called Procedural Constructs, allow specifying dependencies and interaction flows not covered by RST. Therefore, state charts are used directly for their definition.