Formal Models And Semantics And Pragmatics