Model Theoretic Semantics Examples