Predicate Logic
GSCL2013.Phrase Tagset Mapping for French and English Treebanks and Its Application in Machine Translation Evaluation
Hintikka Jaakko 1973 Quantifiers vs Quantification Theory Dialectica