Translating English Sentences To Logical Expressions