To settle the question in a general view,we break the restrictions from specific models and a simulative perfect all-words WSD process is imported into MT systems of different types to acquire a sufficient and general evaluation.

Taking three relations for example, applyin some relevant theories to discrete mathematics, this article converses the query of the universal quantifier problem into the query of equivalent existential quantifier, then to achieve it in SQL.

Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.

However,they are not universal quantifiers per se as they do not require exhaustive inclusion.

Study of QUAN SONG CI s Indexes and Explanation on Searching for Ci-poetry of Intoning Agriculture;

A Supplement to the Brief Biography of Zhao Shankang in Quan Song Ci;

Additions and Corrections to Zhao Shankuo's Brief Introduction in Quan Song Ci

On the Ye Gongchuo s Conception of the Ci-poetry from "Quan Qing Ci-poetry Chao";

Continuation of the Supplement for the Complete Ci in the Ming Dynasty:Another Excerpt Which Comes from Some Rare Corpora of the Ming Dynasty Collected in Japan;

A Supplement for the Complete Ci in the Ming Dynasty: the First Excerpt Which Comes from Some Rare Corpora of the Ming Dynasty Collected in Japan;