, Simon Dobnik for important discussions on the ressource. This work was supported partly by the french PIA project "Lorraine Université d'Excellence, Connaissances et Humanités Numériques) infrastructure

, Bibliographical References

J. Bernardy and S. Chatzikyriakidis, A typetheoretical system for the FraCaS test suite: Grammatical Framework meets Coq, IWCS 2017 -12th International Conference on Computational Semantics -Long papers. ACL anthology, pp.17-6801, 2017.

S. Chatzikyriakidis and J. Bernardy, A widecoverage symbolic natural language inference system, 2019.

, Proceedings of the 22nd Nordic Conference on Computational Linguistics, pp.19-6131

S. Chatzikyriakidis, R. Cooper, S. Dobnik, and S. Larsson, An overview of natural language inference data collection: The way forward?, Proceedings of the Computing Natural Language Inference Workshop. ACL anthology, pp.17-7203, 2017.

A. Conneau, R. Rinott, G. Lample, A. Williams, S. Bowman et al., XNLI: Evaluating cross-lingual sentence representations, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, pp.2475-2485, 2018.

R. Cooper, R. Crouch, J. Van-eijck, C. Fox, J. Van-genabith et al., Using the framework, FraCaS: A Framework for Computational Semantics, 1996.

R. Cooper, S. Chatzikyriakidis, and S. Dobnik, Testing the FraCas test suite. Presentation at the Unshared Task "Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites" of Logical Engineering of Natural Language Semantics 13, 2016.

F. Corblin and H. De-swart, Handbook of French semantics, 2004.

I. Dagan, O. Glickman, and B. Magnini, The PASCAL recognising textual entailment challenge, Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment, pp.177-190, 2006.

A. Kawazoe, R. Tanaka, K. Mineshima, B. , and D. , An inference problem set for evaluating semantic theories and semantic processing systems for japanese, New Frontiers in Artificial Intelligence, number 10091 in Lecture Notes in Computer Science, pp.58-65, 2017.

D. Z. Korman, E. Mack, J. Jett, and A. H. Renear, Defining textual entailment, Journal of the Association for Information Science and Technology, vol.69, issue.6, pp.763-772, 2018.

P. Ljunglöf and M. Siverbo, A bilingual treebank for the FraCaS test suite, 2011.

P. Ljunglöf and M. Siverbo, A bilingual treebank for the FraCaS test suite, Proceedings of the Fourth Swedish Language Technology Conference (SLTC 2012, 2012.

B. Maccartney and C. D. Manning, Natural logic for textual inference, Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing, pp.7-1431, 2007.

B. Maccartney and C. D. Manning, Modeling semantic containment and exclusion in natural language inference, Proceedings of the 22nd International Conference on Computational Linguistics, pp.8-1066, 2008.

M. Pinkal and A. Koller, An International Handbook of Natural Language Meaning, number 33 in Handbooks of Linguistics and Communication Science, chapter 108, Claudia Maienborn, pp.2825-2859, 2012.

,

A. Ranta, Grammatical Framework: Programming with Multilingual Grammars. CSLI Studies in Computational Linguistics, 2011.