An implementation of Montague's PTQ (Proper Treatment of Quantification).