Translating Verbal Phrases to Algebraic Statements