Semantics

chapter no 10 of the book