---
title: "Regression-Tested Compositional Semantics — Zymla 2026"
description: "The authors address the decline of formal semantic parsing, which they argue still offers more transparency and predictable operator interactions than…"
authors: ["Mark-Matthias Zymla", "Kascha Kruschwitz"]
year: 2026
venue: "Proceedings of The Seventh International Workshop on Designing Meaning Representations (DMR 2026) @ LREC 2026"
source: "https://aclanthology.org/2026.dmr-1.17/"
doi: "10.63317/29smqkidu5sm"
licence: "CC BY-NC 4.0 (ELRA, LREC proceedings)"
licence_url: "https://creativecommons.org/licenses/by-nc/4.0/"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/zymla-2026-regression-tested-compositional-semantics-graphical/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/zymla-2026-regression-tested-compositional-semantics-graphical/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2026](https://md.research.elamur.ai/free/en/papers/2026/page/8/) / Regression-Tested Compositional Semantics: A Graphical Development Environment for Glue and Description-by-Analysis

# Regression-Tested Compositional Semantics: A Graphical Development Environment for Glue and Description-by-Analysis

**Authors:** [Mark-Matthias Zymla](https://md.research.elamur.ai/free/en/authors/mark-matthias-zymla/), Kascha Kruschwitz · **Year:** 2026 · **Venue:** Proceedings of The Seventh International Workshop on Designing Meaning Representations (DMR 2026) @ LREC 2026 · **Licence:** [CC BY-NC 4.0 (ELRA, LREC proceedings)](https://creativecommons.org/licenses/by-nc/4.0/)

**Links:** [Publisher's page](https://aclanthology.org/2026.dmr-1.17/) · [PDF](https://aclanthology.org/2026.dmr-1.17.pdf) · [DOI 10.63317/29smqkidu5sm](https://doi.org/10.63317/29smqkidu5sm) · [OpenAlex](https://openalex.org/W7166557488)

**Citations:** 0 citations (openalex-snapshot · 2026-10-14)

## Summary
The authors address the decline of formal semantic parsing, which they argue still offers more transparency and predictable operator interactions than neural parsers that generalise poorly out of domain. They present a browser-based graphical environment built on XLE+Glue for writing and testing compositional semantic analyses over syntactic parses. These can be LFG analyses from XLE grammars or UD parses produced by Stanza. Users write description-by-analysis (DBA) rewrite rules that attach Glue meaning constructors to syntactic graphs. The system computes the resulting derivations and handles ambiguity with discriminants, borrowed from treebanking practice. Instead of scoring output against gold annotations, analyses are checked through regression testing on natural language inference with a theorem prover. The contribution is the tool and its workflow, not a benchmark score. The authors propose an incremental approach: several interoperable medium-sized grammars, each targeting particular inference patterns, instead of one broad-coverage parser. The aim is to make formal meaning banks easier to build, especially for LFG, which has syntactic treebanks but lacks large meaning banks.

## Key points
- The platform combines three components:
  - LiGER (Linguistic Graph Expansion and Rewriting), which applies DBA rules.
  - The Glue semantics workbench (GSWB), which computes Glue derivations.
  - An interface to the Vampire theorem prover, used for NLI.
- All annotation layers are stored as interconnected layered graphs, reflecting LFG's projection architecture. These layers include c-structure, f-structure and s-structure.
- Scope and meaning-constructor discriminants filter ambiguous derivations, following Rosén et al. (2006).
- The interface has three views:
  - a DBA view showing rules, the annotated graph and the history of applied rules;
  - a semantic composition view;
  - a combined full view.
- The code is on GitHub at Mmaz1988/xleplusglue, branch `dmr2026_regression_testing`. Using XLE grammars requires Linux XLE binaries, obtained through the University of Konstanz.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

Fields: [Linguistics & languages](https://md.research.elamur.ai/free/en/shelves/linguistics/)

## Cite

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{zymla2026regression,
  title = {{Regression-Tested Compositional Semantics: A Graphical Development Environment for Glue and Description-by-Analysis}},
  author = {Zymla, Mark-Matthias and Kruschwitz, Kascha},
  booktitle = {Proceedings of The Seventh International Workshop on Designing Meaning Representations (DMR 2026) @ LREC 2026},
  year = {2026},
  doi = {10.63317/29smqkidu5sm},
  url = {https://doi.org/10.63317/29smqkidu5sm}
}
```

- [← previous Regional Variation in the Performance of ASR Models on Croatian and Serbian](https://md.research.elamur.ai/free/en/papers/samardzic-2026-regional-variation-performance-asr-models/)
- [next → RelEx-PT: A Portuguese Sentence-Level Relation Extraction Dataset](https://md.research.elamur.ai/free/en/papers/pinto-2026-relex-pt-portuguese-sentence-level/)
- [↑ back to papers of 2026](https://md.research.elamur.ai/free/en/papers/2026/page/8/)

## References

51 references, 5 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Lasha Abzianidze and Johan Bos. 2019. Thirty musts for meaning banking. In Proceedings of the First International Workshop on Designing Meaning Representations, pages 15–27. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Lasha+Abzianidze+and+Johan+Bos%2E+2019%2E+Thirty+musts+for+meaning+banking%2E+In+Proceedings+of+the+First+International+Workshop+on+Designing+Meaning+Representations%2C+pages+15%E2%80%9327%2E+Association+for+Computatio)
2. Lasha Abzianidze, Rik Van Noord, Chunliu Wang, and Johan Bos. 2020. The parallel meaning bank: A framework for semantically annotating multiple languages. Applied Mathematics and Informatics, 25(2):45–60. [find](https://scholar.google.com/scholar?q=Lasha+Abzianidze%2C+Rik+Van+Noord%2C+Chunliu+Wang%2C+and+Johan+Bos%2E+2020%2E+The+parallel+meaning+bank%3A+A+framework+for+semantically+annotating+multiple+languages%2E+Applied+Mathematics+and+Informatics%2C+25%282%29%3A45) [our card](https://md.research.elamur.ai/free/en/papers/abzianidze-2020-parallel-meaning-bank-framework-semantically/)
3. Avery D Andrews. 2008. The role of PRED in LFG + Glue. In Proceedings of the LFG’08 Conference, pages 47–67, Stanford, CA. CSLI Publications. [find](https://scholar.google.com/scholar?q=Avery+D+Andrews%2E+2008%2E+The+role+of+PRED+in+LFG+%2B+Glue%2E+In+Proceedings+of+the+LFG%E2%80%9908+Conference%2C+pages+47%E2%80%9367%2C+Stanford%2C+CA%2E+CSLI+Publications%2E)
4. Ash Asudeh. 2006. Direct compositionality and the architecture of lfg. Intelligent linguistic architectures: Variations on themes by Ronald M. Kaplan, pages 363–387. [find](https://scholar.google.com/scholar?q=Ash+Asudeh%2E+2006%2E+Direct+compositionality+and+the+architecture+of+lfg%2E+Intelligent+linguistic+architectures%3A+Variations+on+themes+by+Ronald+M%2E+Kaplan%2C+pages+363%E2%80%93387%2E)
5. Ash Asudeh. 2023. Glue semantics. In Handbook of Lexical Functional Grammar, pages 651–697. Language Science Press, Berlin. [find](https://scholar.google.com/scholar?q=Ash+Asudeh%2E+2023%2E+Glue+semantics%2E+In+Handbook+of+Lexical+Functional+Grammar%2C+pages+651%E2%80%93697%2E+Language+Science+Press%2C+Berlin%2E)
6. Daniel G. Bobrow, Bob Cheslow, Cleo Condoravdi, Lauri Karttunen, Tracy Holloway King, Rowan Nairn, Valeria de Paiva, Charlotte Price, and Annie Zaenen. 2007. PARC’s Bridge and Question Answering System. In Proceedings of the GEAF 2007 Workshop, pages 1–22. [find](https://scholar.google.com/scholar?q=Daniel+G%2E+Bobrow%2C+Bob+Cheslow%2C+Cleo+Condoravdi%2C+Lauri+Karttunen%2C+Tracy+Holloway+King%2C+Rowan+Nairn%2C+Valeria+de+Paiva%2C+Charlotte+Price%2C+and+Annie+Zaenen%2E+2007%2E+PARC%E2%80%99s+Bridge+and+Question+Answering+Syste)
7. Julia Bonn, Matthew J. Buchholz, Jayeol Chun, Andrew Cowell, William Croft, Lukas Denk, Sijia Ge, Jan Hajič, Kenneth Lai, James H. Martin, Skatje Myers, Alexis Palmer, Martha Palmer, Claire Benet Post, James Pustejovsky, Kristine Stenzel, Haibo Sun, Zdeňka Urešová, Rosa Vallejos, Jens E. L. Van Gy… [find](https://scholar.google.com/scholar?q=Julia+Bonn%2C+Matthew+J%2E+Buchholz%2C+Jayeol+Chun%2C+Andrew+Cowell%2C+William+Croft%2C+Lukas+Denk%2C+Sijia+Ge%2C+Jan+Hajic%CC%8C%2C+Kenneth+Lai%2C+James+H%2E+Martin%2C+Skatje+Myers%2C+Alexis+Palmer%2C+Martha+Palmer%2C+Claire+Benet+Pos)
8. Johan Bos. 2009. Applying automated deduction to natural language understanding. Journal of Applied Logic, 7(1):100–112. [find](https://scholar.google.com/scholar?q=Johan+Bos%2E+2009%2E+Applying+automated+deduction+to+natural+language+understanding%2E+Journal+of+Applied+Logic%2C+7%281%29%3A100%E2%80%93112%2E)
9. Joan Bresnan, Ash Asudeh, Ida Toivonen, and Stephen Wechsler. 2015. Lexical-functional syntax, volume 16. John Wiley & Sons. [find](https://scholar.google.com/scholar?q=Joan+Bresnan%2C+Ash+Asudeh%2C+Ida+Toivonen%2C+and+Stephen+Wechsler%2E+2015%2E+Lexical%2Dfunctional+syntax%2C+volume+16%2E+John+Wiley+%26+Sons%2E)
10. Harry Bunt. 2008. Semantic underspecification: which technique for what purpose? In Computing Meaning, pages 55–85. Springer. [find](https://scholar.google.com/scholar?q=Harry+Bunt%2E+2008%2E+Semantic+underspecification%3A+which+technique+for+what+purpose%3F+In+Computing+Meaning%2C+pages+55%E2%80%9385%2E+Springer%2E)
11. Harry Bunt. 2015. On the principles of semantic annotation. In Proceedings of the 11th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-11). [find](https://scholar.google.com/scholar?q=Harry+Bunt%2E+2015%2E+On+the+principles+of+semantic+annotation%2E+In+Proceedings+of+the+11th+Joint+ACL%2DISO+Workshop+on+Interoperable+Semantic+Annotation+%28ISA%2D11%29%2E)
12. Miriam Butt, Tina Bögel, Mark-Matthias Zymla, and Benazir Mumtaz. 2024. Alternative questions in urdu: from the speech signal to semantics. In Proceedings of the LFG’24 Conference, Konstanz. PubliKon. [find](https://scholar.google.com/scholar?q=Miriam+Butt%2C+Tina+B%C3%B6gel%2C+Mark%2DMatthias+Zymla%2C+and+Benazir+Mumtaz%2E+2024%2E+Alternative+questions+in+urdu%3A+from+the+speech+signal+to+semantics%2E+In+Proceedings+of+the+LFG%E2%80%9924+Conference%2C+Konstanz%2E+PubliKon%2E)
13. Miriam Butt, Tracy Holloway King, María-Eugenia Niño, and Frédérique Segond. 1999. A grammar writer’s cookbook. CSLI Publications. [find](https://scholar.google.com/scholar?q=Miriam+Butt%2C+Tracy+Holloway+King%2C+Mar%C3%ADa%2DEugenia+Ni%C3%B1o%2C+and+Fr%C3%A9d%C3%A9rique+Segond%2E+1999%2E+A+grammar+writer%E2%80%99s+cookbook%2E+CSLI+Publications%2E)
14. Nikos Chatzichrisafis, Dick Crouch, Tracy Holloway King, Rowan Nairn, Manny Rayner, and Marianne Santaholma. 2007. Regression testing for grammar-based systems. In Proceedings of the GEAF07 Workshop, pages 128–143, Stanford, CA. CSLI Publications. [find](https://scholar.google.com/scholar?q=Nikos+Chatzichrisafis%2C+Dick+Crouch%2C+Tracy+Holloway+King%2C+Rowan+Nairn%2C+Manny+Rayner%2C+and+Marianne+Santaholma%2E+2007%2E+Regression+testing+for+grammar%2Dbased+systems%2E+In+Proceedings+of+the+GEAF07+Workshop%2C+)
15. Dick Crouch, Mary Dalrymple, Ronald M. Kaplan, Tracy Holloway King, John T. Maxwell III, and Paula Newman. 2017. XLE documentation. Palo Alto Research Center. [find](https://scholar.google.com/scholar?q=Dick+Crouch%2C+Mary+Dalrymple%2C+Ronald+M%2E+Kaplan%2C+Tracy+Holloway+King%2C+John+T%2E+Maxwell+III%2C+and+Paula+Newman%2E+2017%2E+XLE+documentation%2E+Palo+Alto+Research+Center%2E)
16. Richard Crouch. 2005. Packed rewriting for mapping semantics to KR. In Proceedings of the Sixth International Workshop on Computational Semantics (IWCS-6), pages 103–114, Tilburg. [find](https://scholar.google.com/scholar?q=Richard+Crouch%2E+2005%2E+Packed+rewriting+for+mapping+semantics+to+KR%2E+In+Proceedings+of+the+Sixth+International+Workshop+on+Computational+Semantics+%28IWCS%2D6%29%2C+pages+103%E2%80%93114%2C+Tilburg%2E)
17. Richard Crouch and Tracy Holloway King. 2006. Semantics via f-structure rewriting. In Proceedings of the LFG’06 Conference, pages 145–165, Stanford, CA. CSLI Publications. [find](https://scholar.google.com/scholar?q=Richard+Crouch+and+Tracy+Holloway+King%2E+2006%2E+Semantics+via+f%2Dstructure+rewriting%2E+In+Proceedings+of+the+LFG%E2%80%9906+Conference%2C+pages+145%E2%80%93165%2C+Stanford%2C+CA%2E+CSLI+Publications%2E)
18. Mary Dalrymple. 1999. Semantics and syntax in Lexical Functional Grammar: The resource logic approach. The MIT Press, Cambridge, MA. [find](https://scholar.google.com/scholar?q=Mary+Dalrymple%2E+1999%2E+Semantics+and+syntax+in+Lexical+Functional+Grammar%3A+The+resource+logic+approach%2E+The+MIT+Press%2C+Cambridge%2C+MA%2E)
19. Mary Dalrymple. 2001. Lexical Functional Grammar. Number 34 in Syntax and Semantics. Academic Press, San Diego, CA. [find](https://scholar.google.com/scholar?q=Mary+Dalrymple%2E+2001%2E+Lexical+Functional+Grammar%2E+Number+34+in+Syntax+and+Semantics%2E+Academic+Press%2C+San+Diego%2C+CA%2E)
20. Mary Dalrymple, editor. 2023. Handbook of Lexical Functional Grammar . Number 13 in Empirically Oriented Theoretical Morphology and Syntax. Language Science Press, Berlin. [find](https://scholar.google.com/scholar?q=Mary+Dalrymple%2C+editor%2E+2023%2E+Handbook+of+Lexical+Functional+Grammar+%2E+Number+13+in+Empirically+Oriented+Theoretical+Morphology+and+Syntax%2E+Language+Science+Press%2C+Berlin%2E)
21. Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat. 1999. Quantification, anaphora, and intensionality. In Mary Dalrymple, editor, Semantics and syntax in Lexical Functional Grammar: the resource logic approach, pages 39–89. [find](https://scholar.google.com/scholar?q=Mary+Dalrymple%2C+John+Lamping%2C+Fernando+Pereira%2C+and+Vijay+Saraswat%2E+1999%2E+Quantification%2C+anaphora%2C+and+intensionality%2E+In+Mary+Dalrymple%2C+editor%2C+Semantics+and+syntax+in+Lexical+Functional+Grammar%3A+t)
22. Mary Dalrymple, Agnieszka Patejuk, and Mark-Matthias Zymla. 2020. XLE+Glue – a new tool for integrating semantic analysis in XLE. In Proceedings of the LFG’20 Conference, pages 89– 108, Stanford, CA. CSLI Publications. [find](https://scholar.google.com/scholar?q=Mary+Dalrymple%2C+Agnieszka+Patejuk%2C+and+Mark%2DMatthias+Zymla%2E+2020%2E+XLE%2BGlue+%E2%80%93+a+new+tool+for+integrating+semantic+analysis+in+XLE%2E+In+Proceedings+of+the+LFG%E2%80%9920+Conference%2C+pages+89%E2%80%93+108%2C+Stanford%2C+CA%2E+)
23. Jamie Y Findlay, Saeedeh Salimifar, Ahmet Yıldırım, and Dag TT Haug. 2023. Rule-based semantic interpretation for Universal Dependencies. In Proceedings of the Sixth Workshop on Universal Dependencies (UDW, GURT/SyntaxFest 2023), pages 47–57. [find](https://scholar.google.com/scholar?q=Jamie+Y+Findlay%2C+Saeedeh+Salimifar%2C+Ahmet+Y%C4%B1ld%C4%B1r%C4%B1m%2C+and+Dag+TT+Haug%2E+2023%2E+Rule%2Dbased+semantic+interpretation+for+Universal+Dependencies%2E+In+Proceedings+of+the+Sixth+Workshop+on+Universal+Dependencies)
24. Dan Flickinger, Yi Zhang, and Valia Kordoni. 2012. Deepbank. a dynamically annotated treebank of the wall street journal. In Proceedings of the 11th International Workshop on Treebanks and Linguistic Theories, pages 85–96. [find](https://scholar.google.com/scholar?q=Dan+Flickinger%2C+Yi+Zhang%2C+and+Valia+Kordoni%2E+2012%2E+Deepbank%2E+a+dynamically+annotated+treebank+of+the+wall+street+journal%2E+In+Proceedings+of+the+11th+International+Workshop+on+Treebanks+and+Linguistic+)
25. Hayate Funakura, Hyunsoo Kim, and Koji Mineshima. 2025. A theorem-proving-based evaluation of neural semantic parsing. In Proceedings of the 8th BlackboxNLP Workshop: Analyzing and Interpreting Neural Networks for NLP, pages 295–306. [find](https://scholar.google.com/scholar?q=Hayate+Funakura%2C+Hyunsoo+Kim%2C+and+Koji+Mineshima%2E+2025%2E+A+theorem%2Dproving%2Dbased+evaluation+of+neural+semantic+parsing%2E+In+Proceedings+of+the+8th+BlackboxNLP+Workshop%3A+Analyzing+and+Interpreting+Neural)
26. Izumi Haruta, Koji Mineshima, and Daisuke Bekki. 2022. Implementing natural language inference for comparatives. Journal of Language Modelling, 10(1). [find](https://scholar.google.com/scholar?q=Izumi+Haruta%2C+Koji+Mineshima%2C+and+Daisuke+Bekki%2E+2022%2E+Implementing+natural+language+inference+for+comparatives%2E+Journal+of+Language+Modelling%2C+10%281%29%2E)
27. Dag Haug, Jamie Yates Findlay, and Ahmet Yıldırım. 2023. The long and the short of it: DRASTIC, a semantically annotated dataset containing sentences of more natural length. In Proceedings of the Fourth International Workshop on Designing Meaning Representations, pages 89–98. [find](https://scholar.google.com/scholar?q=Dag+Haug%2C+Jamie+Yates+Findlay%2C+and+Ahmet+Y%C4%B1ld%C4%B1r%C4%B1m%2E+2023%2E+The+long+and+the+short+of+it%3A+DRASTIC%2C+a+semantically+annotated+dataset+containing+sentences+of+more+natural+length%2E+In+Proceedings+of+the+Four)
28. Luheng He, Julian Michael, Mike Lewis, and Luke Zettlemoyer. 2016. Human-in-the-loop parsing. In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, pages 2337–2342, Austin, Texas. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Luheng+He%2C+Julian+Michael%2C+Mike+Lewis%2C+and+Luke+Zettlemoyer%2E+2016%2E+Human%2Din%2Dthe%2Dloop+parsing%2E+In+Proceedings+of+the+2016+Conference+on+Empirical+Methods+in+Natural+Language+Processing%2C+pages+2337%E2%80%932342)
29. Nancy Ide and Harry Bunt. 2010. Anatomy of Annotation Schemes: Mapping to GrAF. In Proceedings of the Fourth Linguistic Annotation Workshop, pages 247–255. toolkit for exploring linear logic and Glue semantics. In Proceedings of the LFG’18 Conference, pages 249–263, Stanford, CA. CSLI Publications. [find](https://scholar.google.com/scholar?q=Nancy+Ide+and+Harry+Bunt%2E+2010%2E+Anatomy+of+Annotation+Schemes%3A+Mapping+to+GrAF%2E+In+Proceedings+of+the+Fourth+Linguistic+Annotation+Workshop%2C+pages+247%E2%80%93255%2E+toolkit+for+exploring+linear+logic+and+Glue+)
30. Kevin Knight, Bianca Badarau, Laura Baranescu, Claire Bonial, Madalina Bardocz, Kira Griffitt, Ulf Hermjakob, Daniel Marcu, Martha Palmer, Tim O’Gorman, and Nathan Schneider. 2020. Abstract meaning representation (amr) annotation release 3.0. LDC2020T02, Web Download. DOI: 10.35111/44cy-bp51. — [doi:10.35111/44cy-bp51](https://doi.org/10.35111/44cy-bp51) [find](https://scholar.google.com/scholar?q=Kevin+Knight%2C+Bianca+Badarau%2C+Laura+Baranescu%2C+Claire+Bonial%2C+Madalina+Bardocz%2C+Kira+Griffitt%2C+Ulf+Hermjakob%2C+Daniel+Marcu%2C+Martha+Palmer%2C+Tim+O%E2%80%99Gorman%2C+and+Nathan+Schneider%2E+2020%2E+Abstract+meaning+re)
31. Adam Przepiórkowski and Agnieszka Patejuk. 2023. Filling gaps with Glue. In Proceedings of the LFG’23 Conference, pages 223–240, Konstanz. PubliKon. [find](https://scholar.google.com/scholar?q=Adam+Przepi%C3%B3rkowski+and+Agnieszka+Patejuk%2E+2023%2E+Filling+gaps+with+Glue%2E+In+Proceedings+of+the+LFG%E2%80%9923+Conference%2C+pages+223%E2%80%93240%2C+Konstanz%2E+PubliKon%2E)
32. Laura Kovács and Andrei Voronkov. 2013. First-order theorem proving and vampire. In International Conference on Computer Aided Verification, pages 1–35. Springer. [find](https://scholar.google.com/scholar?q=Laura+Kov%C3%A1cs+and+Andrei+Voronkov%2E+2013%2E+First%2Dorder+theorem+proving+and+vampire%2E+In+International+Conference+on+Computer+Aided+Verification%2C+pages+1%E2%80%9335%2E+Springer%2E)
33. Iddo Lev. 2007. Packed computation of exact meaning representations. Ph.D. thesis, Stanford University. [find](https://scholar.google.com/scholar?q=Iddo+Lev%2E+2007%2E+Packed+computation+of+exact+meaning+representations%2E+Ph%2ED%2E+thesis%2C+Stanford+University%2E)
34. Zhongli Li, Qingyu Zhou, Chao Li, Ke Xu, and Yunbo Cao. 2021. Improving BERT with syntax-aware local attention. In Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pages 645–653, Online. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Zhongli+Li%2C+Qingyu+Zhou%2C+Chao+Li%2C+Ke+Xu%2C+and+Yunbo+Cao%2E+2021%2E+Improving+BERT+with+syntax%2Daware+local+attention%2E+In+Findings+of+the+Association+for+Computational+Linguistics%3A+ACL%2DIJCNLP+2021%2C+pages+645)
35. Matthias Lindemann, Alexander Koller, and Ivan Titov. 2024. Strengthening structural inductive biases by pre-training to perform syntactic transformations. In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP), pages 11558–11573, Miami, Florida, USA. Assoc… [find](https://scholar.google.com/scholar?q=Matthias+Lindemann%2C+Alexander+Koller%2C+and+Ivan+Titov%2E+2024%2E+Strengthening+structural+inductive+biases+by+pre%2Dtraining+to+perform+syntactic+transformations%2E+In+Proceedings+of+the+2024+Conference+on+Emp)
36. Shixia Liu, Xiting Wang, Mengchen Liu, and Jun Zhu. 2017. Towards Better Analysis of Machine Learning Models: A Visual Analytics Perspective. Visual Informatics, 1(1):48–56. Publisher: Elsevier. [find](https://scholar.google.com/scholar?q=Shixia+Liu%2C+Xiting+Wang%2C+Mengchen+Liu%2C+and+Jun+Zhu%2E+2017%2E+Towards+Better+Analysis+of+Machine+Learning+Models%3A+A+Visual+Analytics+Perspective%2E+Visual+Informatics%2C+1%281%29%3A48%E2%80%9356%2E+Publisher%3A+Elsevier%2E)
37. Bill MacCartney and Christopher D. Manning. 2009. An extended model of natural logic. In Proceedings of the eight International Conference on Computational Semantics, pages 140–156. [find](https://scholar.google.com/scholar?q=Bill+MacCartney+and+Christopher+D%2E+Manning%2E+2009%2E+An+extended+model+of+natural+logic%2E+In+Proceedings+of+the+eight+International+Conference+on+Computational+Semantics%2C+pages+140%E2%80%93156%2E)
38. Christopher D. Manning. 2006. Local Textual Inference: It’s Hard to Circumscribe, but You Know It When You See It — and NLP Needs It. Manuscript, Stanford University. [find](https://scholar.google.com/scholar?q=Christopher+D%2E+Manning%2E+2006%2E+Local+Textual+Inference%3A+It%E2%80%99s+Hard+to+Circumscribe%2C+but+You+Know+It+When+You+See+It+%E2%80%94+and+NLP+Needs+It%2E+Manuscript%2C+Stanford+University%2E)
39. Mitchell P. Marcus, Beatrice Santorini, and Mary Ann Marcinkiewicz. 1993. Building a large annotated corpus of English: The Penn Treebank. Computational Linguistics, 19(2):313–330. [find](https://scholar.google.com/scholar?q=Mitchell+P%2E+Marcus%2C+Beatrice+Santorini%2C+and+Mary+Ann+Marcinkiewicz%2E+1993%2E+Building+a+large+annotated+corpus+of+English%3A+The+Penn+Treebank%2E+Computational+Linguistics%2C+19%282%29%3A313%E2%80%93330%2E) [our card](https://md.research.elamur.ai/free/en/papers/bank-1993-marcus-building-large-annotated-corpus-english/)
40. Moritz Meßmer and Mark-Matthias Zymla. 2018. The Glue semantics workbench: a modular Stephen Guy Pulman. 2018. Second order inference in natural language semantics. Journal of Language Modelling, 6(1):1–40. [find](https://scholar.google.com/scholar?q=Moritz+Me%C3%9Fmer+and+Mark%2DMatthias+Zymla%2E+2018%2E+The+Glue+semantics+workbench%3A+a+modular+Stephen+Guy+Pulman%2E+2018%2E+Second+order+inference+in+natural+language+semantics%2E+Journal+of+Language+Modelling%2C+6%281%29)
41. Peng Qi, Yuhao Zhang, Yuhui Zhang, Jason Bolton, and Christopher D Manning. 2020. Stanza: A python natural language processing toolkit for many human languages. In Proceedings of the 58th annual meeting of the association for computational linguistics: system demonstrations, pages 101–108. [find](https://scholar.google.com/scholar?q=Peng+Qi%2C+Yuhao+Zhang%2C+Yuhui+Zhang%2C+Jason+Bolton%2C+and+Christopher+D+Manning%2E+2020%2E+Stanza%3A+A+python+natural+language+processing+toolkit+for+many+human+languages%2E+In+Proceedings+of+the+58th+annual+meeti) [our card](https://md.research.elamur.ai/free/en/papers/ud-2020-qi-stanza-python-natural-language-processing/)
42. Victoria Rosén, Koenraad De Smedt, and Paul Meurer. 2006. Towards a toolkit linking treebanking to grammar development. In Proceedings of the Fifth Workshop on Treebanks and Linguistic Theories, pages 55–66. [find](https://scholar.google.com/scholar?q=Victoria+Ros%C3%A9n%2C+Koenraad+De+Smedt%2C+and+Paul+Meurer%2E+2006%2E+Towards+a+toolkit+linking+treebanking+to+grammar+development%2E+In+Proceedings+of+the+Fifth+Workshop+on+Treebanks+and+Linguistic+Theories%2C+pages)
43. Pontus Stenetorp, Sampo Pyysalo, Goran Topić, Tomoko Ohta, Sophia Ananiadou, and Jun’ichi Tsujii. 2012. Brat: a web-based tool for nlp-assisted text annotation. In Proceedings of the Demonstrations at the 13th Conference of the European Chapter of the Association for Computational Linguistics, page… [find](https://scholar.google.com/scholar?q=Pontus+Stenetorp%2C+Sampo+Pyysalo%2C+Goran+Topic%CC%81%2C+Tomoko+Ohta%2C+Sophia+Ananiadou%2C+and+Jun%E2%80%99ichi+Tsujii%2E+2012%2E+Brat%3A+a+web%2Dbased+tool+for+nlp%2Dassisted+text+annotation%2E+In+Proceedings+of+the+Demonstrations+a) [our card](https://md.research.elamur.ai/free/en/papers/stenetorp-2012-brat-web-based-tool-nlp/)
44. Emma Strubell, Patrick Verga, Daniel Andor, David Weiss, and Andrew McCallum. 2018. Linguistically-informed self-attention for semantic role labeling. In Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, pages 5027–5038, Brussels, Belgium. Association for Comput… [find](https://scholar.google.com/scholar?q=Emma+Strubell%2C+Patrick+Verga%2C+Daniel+Andor%2C+David+Weiss%2C+and+Andrew+McCallum%2E+2018%2E+Linguistically%2Dinformed+self%2Dattention+for+semantic+role+labeling%2E+In+Proceedings+of+the+2018+Conference+on+Empirica) [our card](https://md.research.elamur.ai/free/en/papers/strubell-2018-linguistically-informed-self-attention-semantic/)
45. Sebastian Sulger, Miriam Butt, Tracy Holloway King, Paul Meurer, Tibor Laczkó, György Rákosi, Cheikh M Bamba Dione, Helge Dyvik, Victoria Rosén, Koenraad De Smedt, Agnieszka Patejuk, Özlem Çetinŏglu, I Wayan Arka, and Meladel Mistica. 2013. ParGramBank: The ParGram Parallel Treebank. In ACL, pages… [find](https://scholar.google.com/scholar?q=Sebastian+Sulger%2C+Miriam+Butt%2C+Tracy+Holloway+King%2C+Paul+Meurer%2C+Tibor+Laczk%C3%B3%2C+Gy%C3%B6rgy+R%C3%A1kosi%2C+Cheikh+M+Bamba+Dione%2C+Helge+Dyvik%2C+Victoria+Ros%C3%A9n%2C+Koenraad+De+Smedt%2C+Agnieszka+Patejuk%2C+%C3%96zlem+%C3%87etino%CC%86glu%2C)
46. Geoff Sutcliffe, Stephan Schulz, Koen Claessen, and Allen Van Gelder. 2006. Using the TPTP language for writing derivations and finite interpretations. In Automated Reasoning – IJCAR 2006, volume 4130 of Lecture Notes in Computer Science, pages 67–81, Seattle, WA, USA. Springer. [find](https://scholar.google.com/scholar?q=Geoff+Sutcliffe%2C+Stephan+Schulz%2C+Koen+Claessen%2C+and+Allen+Van+Gelder%2E+2006%2E+Using+the+TPTP+language+for+writing+derivations+and+finite+interpretations%2E+In+Automated+Reasoning+%E2%80%93+IJCAR+2006%2C+volume+4130)
47. Shuai Zhang, Lijie Wang, Xinyan Xiao, and Hua Wu. 2022. Syntax-guided contrastive learning for pre-trained language model. In Findings of the Association for Computational Linguistics: ACL 2022, pages 2430–2440, Dublin, Ireland. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Shuai+Zhang%2C+Lijie+Wang%2C+Xinyan+Xiao%2C+and+Hua+Wu%2E+2022%2E+Syntax%2Dguided+contrastive+learning+for+pre%2Dtrained+language+model%2E+In+Findings+of+the+Association+for+Computational+Linguistics%3A+ACL+2022%2C+pages)
48. Xiao Zhang, Gosse Bouma, and Johan Bos. 2025. Neural semantic parsing with extremely rich symbolic meaning representations. Computational Linguistics, 51(1):235–274. [find](https://scholar.google.com/scholar?q=Xiao+Zhang%2C+Gosse+Bouma%2C+and+Johan+Bos%2E+2025%2E+Neural+semantic+parsing+with+extremely+rich+symbolic+meaning+representations%2E+Computational+Linguistics%2C+51%281%29%3A235%E2%80%93274%2E)
49. Mark-Matthias Zymla. 2024. Tense and aspect in multilingual semantic construction. Ph.D. thesis, University of Konstanz. [find](https://scholar.google.com/scholar?q=Mark%2DMatthias+Zymla%2E+2024%2E+Tense+and+aspect+in+multilingual+semantic+construction%2E+Ph%2ED%2E+thesis%2C+University+of+Konstanz%2E)
50. Mark-Matthias Zymla, Mary Dalrymple, and Agnieszka Patejuk. 2025a. Computational semantic tools for Glue semantics. In Proceedings of the 16th International Conference on Computational Semantics (IWCS 2025), pages 189–207, Düsseldorf. Association for Computational Linguistics. [find](https://scholar.google.com/scholar?q=Mark%2DMatthias+Zymla%2C+Mary+Dalrymple%2C+and+Agnieszka+Patejuk%2E+2025a%2E+Computational+semantic+tools+for+Glue+semantics%2E+In+Proceedings+of+the+16th+International+Conference+on+Computational+Semantics+%28IWCS)
51. Mark-Matthias Zymla, Kascha Kruschwitz, and Paul Zodl. 2025b. An instructive implementation of semantic parsing and reasoning using lexical functional grammar. In Proceedings of the 2nd Bridging the Gap between Human and Automated Reasoning Workshop (BriGap-2). [find](https://scholar.google.com/scholar?q=Mark%2DMatthias+Zymla%2C+Kascha+Kruschwitz%2C+and+Paul+Zodl%2E+2025b%2E+An+instructive+implementation+of+semantic+parsing+and+reasoning+using+lexical+functional+grammar%2E+In+Proceedings+of+the+2nd+Bridging+the+G)