Semantical Analyzer