Translate Sentences To First Order Logic