Semantics with Applications: An Appetizer