chap.1 preliminaries 语义学