Discourse Understanding in Logic