Predicate Logic Translator

I was just wondering if anyone knew where I could find a Predicate Logic translator…

It could be a program or java app or whatever…

I have to translate a ton of simple english sentences to PL and was searching for something more efficient than my pen…

Thanks in advance,