From discourse to logic