Formal Models And Semantics Vs Discourse