Translating English to FOL