First Order Logical Form

This paper describes a system developed for the transformation of English sentences into a first order logical form representation. The method- ology is centered on the use of a dependency …...