Title: Semantic Modeling in Formal English