Logical Theory and Semantic Analysis