Controlling of quantification rules in parsing of Montague grammar

Syntactic rules in Montague grammar “consist of context‐free rules, and non‐context ‐free rules that are quantification rules. In Montague grammar, however, there is no controlling mechanism to prevent the wrong application of quantification rules. In this paper, a parsing system called Controlled Semantic Equivalence Parsing (CSEP) is proposed to prevent unnecessary derivations and produce only essential logical formulas by controlling the quantification rules. CSEP consists of two phases: In Phase I, an input sentence is translated into its logical formula by applying context‐free rules only, and then in Phase II, quantification rules are applied. CSEP was implemented in Prolog.