Model Theoretical Semantics