Title: Formal Semantic Analysis