Free Logic Form is a system for generating logic forms of English sentences. . It works by postprocessing the output of the Enju predicate parser.