[Objective] This article tries to bridge ontological linguistic design and its computational implementation, taking quantification constraint system (QCS) for pragmatic disambiguation as an example. [Methods] First, this study explained the rationale of QCS, and introduced the new research methodology. Second, the author proposed the criteria to identify effective constraints and integrate them to a system, as well as the algorithm to optimize vote assignment. Third, it described the lexical and grammatical regularities pertinent to quantification. Fourth, this paper formulated regularities using type description language (TDL) and then implemented them based on two Chinese computational grammars, namely ManGO and Zhong[|]. [Results] This new method effectively processed complex linguistic phenomena (e.g., quantification, binding and anaphora). [Conclusions] The proposed method could accelerate the development of linguistics, which provides technical support for artificial intelligence and deep linguistic processing.