Logical theory and semantic analysis by