PTQ (hackage): An implementation of Montague's PTQ (Proper Treatment of Quantification). It translates simple plain English sentences into formulas of intentional logic.
Keywords: natural-language-processing|program