Title: Introduction to semantics and translation