Formal Semantic Analysis.