From Discourse to Logic