Logical theory and semantic analysis door