Translating English Sentences to Logical Expressions