[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/docs/papers/pedinotti-2022-pragmatic-logical-inferences-nli-systems/) [home](https://md.mova.elamur.ai/free/en/) / [docs](https://md.mova.elamur.ai/free/en/docs/) / [papers](https://md.mova.elamur.ai/free/en/docs/papers/) / [English](https://md.mova.elamur.ai/free/en/docs/papers/en/) / Pragmatic and Logical Inferences in NLI Systems: The Case of Conjunction Buttressing # Pragmatic and Logical Inferences in NLI Systems: The Case of Conjunction Buttressing **Authors:** Paolo Pedinotti, [Emmanuele Chersoni](https://md.mova.elamur.ai/free/en/docs/papers/authors/emmanuele-chersoni/), [Enrico Santus](https://md.mova.elamur.ai/free/en/docs/papers/authors/enrico-santus/) and [Alessandro Lenci](https://md.mova.elamur.ai/free/en/docs/papers/authors/alessandro-lenci/) · **Year:** 2022 · **Venue:** Proceedings of the Second Workshop on Understanding Implicit and Underspecified Language **Link:** [aclanthology.org/2022.unimplicit-1.2](https://aclanthology.org/2022.unimplicit-1.2/) · **Licence:** [CC BY 4.0](https://creativecommons.org/licenses/by/4.0/) (ACL Anthology) [**1** citations](https://openalex.org/works?filter=cites:W4287890938) openalex · 2026-10-18[**1** citations in our library](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/pedinotti-2022-pragmatic-logical-inferences-nli-systems/) of the 140673 papers whose bibliographies we read[Proceedings of the Second Workshop on Understanding Implicit and Underspecified Language](https://aclanthology.org/volumes/2022.unimplicit-1/)[licence](https://creativecommons.org/licenses/by/4.0/) - [Publisher's page](https://aclanthology.org/2022.unimplicit-1.2/) - [PDF](https://aclanthology.org/2022.unimplicit-1.2.pdf) - [DOI 10.18653/v1/2022.unimplicit-1.2](https://doi.org/10.18653/v1/2022.unimplicit-1.2) - [OpenAlex](https://openalex.org/W4287890938) **Authors (4)** 1. [Paolo Pedinotti](https://openalex.org/A5055585631) h 3 · 37 citations · 20 works 2. [Emmanuele Chersoni](https://openalex.org/A5079921667) [ORCID](https://orcid.org/0000-0001-8742-0451) · h 16 · 873 citations · 114 works 3. [Enrico Santus](https://openalex.org/A5059288410) [ORCID](https://orcid.org/0000-0002-7327-2731) · h 22 · 1593 citations · 121 works 4. [Alessandro Lenci](https://openalex.org/A5050795259) [ORCID](https://orcid.org/0000-0001-5790-4308) · h 31 · 5785 citations · 349 works Citations and author metrics from openalex (2026-10-18); authors with the same name are not always told apart. ## What it is about "John repaired the engine and the car started" is read as "after John repaired the engine, the car started". This temporal succession, or a causal reading, is a pragmatic enrichment of "and" (conjunction buttressing). Logic treats "and" as commutative. The authors build an NLI dataset of 3,470 premise-hypothesis pairs from UkWaC sentences in which a "before", "after", "because" or "while" clause was rewritten with "and". Each pair has two labels: a logical label, where only commutativity counts as entailment, and a pragmatic label, where succession or causation counts as entailment. Negative pairs cover precedence and synchrony. Three Transformer NLI models trained on MNLI (BERT, RoBERTa, DeBERTa) were tested without training on the data. DeBERTa is the best, with pragmatic accuracy close to 1 on succession and causal pairs. The systems assign all tested relations as entailments at once, and their precedence answers split: DeBERTa entails precedence in 42% of cases and contradicts it in 51%. Eight participants per item were asked about 40 causal pairs. In 31 of the 40 items at least 80% agreed with the pragmatic label. A check of MNLI found 26 of 500 examples where a pragmatic "and" explains the gold label. ## Ideas - I1. `world/src/events.rs`: when two coordinated clauses both have dynamic (action) predicates, add a succession relation between their events, stored as an implicature with a flag, not as a fact. When the predicates are static, keep the commutative order. Test: static pairs must give the same answers under swap, dynamic pairs must not (negative control). - I2. Two-label test set for the school: each item carries a logical and a pragmatic answer key, and the report shows which one Mova's answers match. This makes the choice visible, which fits the transparency rule. - I3. Generator in Rust, not a neural one: take parsed clauses with the connectives "before", "after", "because" (UD `advcl` with `mark`), rewrite them with "and", and label them by rule. The paper's MNLI check shows the same pattern can be counted in a corpus, which is a cheap measure of how often Mova's own text needs the enrichment. - I4. Dynamic versus static verbs from `en/src/dict.rs`: a lexicon flag, checked against the paper's split (dynamic conjuncts vs. "the food is super" type stative ones). ## For Mova The chapters are [24. Coordination and subordination](https://md.mova.elamur.ai/free/en/docs/languages/en/24-coordination-subordination/) (conjunction "and") and [33. Implicature and presupposition](https://md.mova.elamur.ai/free/en/docs/languages/en/33-implicature-and-presupposition/) (generalized implicatures). The code is `world/src/events.rs` for event order and `world/src/narr.rs` for narrative sequence, with the verb flag in `en/src/dict.rs`. Measure: agreement with the two label sets on Mova's own generated pairs, run twice, plus the swap control on static pairs. The paper's dataset is not in this card; the UkWaC source is a separate licence check. ## Cite The paper itself, not this card. BibTeX from the library's record of the work. [DOI 10.18653/v1/2022.unimplicit-1.2](https://doi.org/10.18653/v1/2022.unimplicit-1.2) ``` @inproceedings{pedinotti2022pragmatic, title = {{Pragmatic and Logical Inferences in NLI Systems: The Case of Conjunction Buttressing}}, author = {Pedinotti, Paolo and Chersoni, Emmanuele and Santus, Enrico and Lenci, Alessandro}, booktitle = {Proceedings of the Second Workshop on Understanding Implicit and Underspecified Language}, year = {2022}, doi = {10.18653/v1/2022.unimplicit-1.2}, url = {https://doi.org/10.18653/v1/2022.unimplicit-1.2} } ``` - [← previous Inherent Disagreements in Human Textual Inferences](https://md.mova.elamur.ai/free/en/docs/papers/pavlick-2019-inherent-disagreements-human-textual-inferences/) - [next → Familiar vs. unique in a diachronic perspective. Case study of the rise of the definite article in North Germanic](https://md.mova.elamur.ai/free/en/docs/papers/piotrowska-2021-familiar-vs-unique-diachronic-perspective/) - [↑ back to English](https://md.mova.elamur.ai/free/en/docs/papers/en/) ## References 7 references, 2 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet. 1. Clifton Poth, Jonas Pfeiffer, Andreas Rücklé, and Iryna Gurevych. 2021. What to Pre-Train on? Efficient Intermediate Task Selection. In Proceedings of EMNLP. [find](https://scholar.google.com/scholar?q=Clifton+Poth%2C+Jonas+Pfeiffer%2C+Andreas+R%C3%BCckl%C3%A9%2C+and+Iryna+Gurevych%2E+2021%2E+What+to+Pre%2DTrain+on%3F+Efficient+Intermediate+Task+Selection%2E+In+Proceedings+of+EMNLP%2E) 2. Robyn Carston. 1988. Implicature, Explicature, and Truth-Theoretic Semantics. Mental Representations: The Interface between Language and Reality, pages 155–181. [find](https://scholar.google.com/scholar?q=Robyn+Carston%2E+1988%2E+Implicature%2C+Explicature%2C+and+Truth%2DTheoretic+Semantics%2E+Mental+Representations%3A+The+Interface+between+Language+and+Reality%2C+pages+155%E2%80%93181%2E) 3. Rashmi Prasad, Nikhil Dinesh, Alan Lee, Eleni Milt-sakaki, Livio Robaldo, Aravind Joshi, and Bonnie Webber. 2008. The Penn Discourse TreeBank 2.0. In Proceedings of LREC. [find](https://scholar.google.com/scholar?q=Rashmi+Prasad%2C+Nikhil+Dinesh%2C+Alan+Lee%2C+Eleni+Milt%2Dsakaki%2C+Livio+Robaldo%2C+Aravind+Joshi%2C+and+Bonnie+Webber%2E+2008%2E+The+Penn+Discourse+TreeBank+2%2E0%2E+In+Proceedings+of+LREC%2E) [our card](https://md.mova.elamur.ai/free/en/docs/papers/disc-2008-prasad-penn-discourse-treebank-2-0/) 4. Nathanael Chambers and Dan Jurafsky. 2008. Unsupervised Learning of Narrative Event Chains. In Proceedings of ACL-HLT. [find](https://scholar.google.com/scholar?q=Nathanael+Chambers+and+Dan+Jurafsky%2E+2008%2E+Unsupervised+Learning+of+Narrative+Event+Chains%2E+In+Proceedings+of+ACL%2DHLT%2E) 5. Adina Williams, Nikita Nangia, and Samuel Bowman. 2018. A Broad-Coverage Challenge Corpus for Sentence Understanding through Inference. In Proceedings of NAACL-HLT. [find](https://scholar.google.com/scholar?q=Adina+Williams%2C+Nikita+Nangia%2C+and+Samuel+Bowman%2E+2018%2E+A+Broad%2DCoverage+Challenge+Corpus+for+Sentence+Understanding+through+Inference%2E+In+Proceedings+of+NAACL%2DHLT%2E) 6. Judith Degen. 2015. Investigating the Distribution of Some (But Not All) Implicatures Using Corpora and Web-based Methods. Semantics & Pragmatics, 8(11):1–55. [find](https://scholar.google.com/scholar?q=Judith+Degen%2E+2015%2E+Investigating+the+Distribution+of+Some+%28But+Not+All%29+Implicatures+Using+Corpora+and+Web%2Dbased+Methods%2E+Semantics+%26+Pragmatics%2C+8%2811%29%3A1%E2%80%9355%2E) [our card](https://md.mova.elamur.ai/free/en/docs/papers/degen-2015-investigating-distribution-some-but-not/) 7. A Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In Proceedings of NAACL-HLT. Details about Data Collection [find](https://scholar.google.com/scholar?q=A+Jacob+Devlin%2C+Ming%2DWei+Chang%2C+Kenton+Lee%2C+and+Kristina+Toutanova%2E+2019%2E+BERT%3A+Pre%2Dtraining+of+Deep+Bidirectional+Transformers+for+Language+Understanding%2E+In+Proceedings+of+NAACL%2DHLT%2E+Details+about+D)