05Chapter 5_semantics