English to Predicate Logic