Understanding And Generating Language With Discourse Representation Structures