Redirecting to Discourse representation theory