Semantics with Applications