Segmented discourse representation theory