intro to semantics