In the memorable paper:
Copestake, A., Flickinger, D., Sag, I. A., & Pollard, C. (2005). Minimal recursion semantics: An introduction. Research on Language and Computation, 3(2–3), 281–332. https://doi.org/10.1007/s11168-006-6327-9
The second footnote says:
(2) This should not be taken as suggesting that we think it is impossible or undesirable to give MRS a model-theoretic semantics directly. But given that our main interest is in the computational and compositional use of MRS, it is more appropriate to show how it relates to a relatively well-known language, such as predicate calculus, rather than to attempt a direct interpretation
I know that current trends are towards pure graph variable-free representations such as DMRS. Actually, @AnnC advocates explicitly about DMRS in Converting MRS output to a logical form - #14 by AnnC. In addition, I am very fascinated - but still studying - by the functional distributional semantics from @guyemerson too.
But I am still curious about reasoning with MRS. I also know about the paper:
Copestake, A., & Herbelot, A. (2013). Lexicalised compositionality.
On the other hand, I am recently thinking about how MRS could be used directly in deductions, I am thinking in rules such as natural logic (https://projects.illc.uva.nl/lgc/translation/papers/Kolkata.pdf, https://www-nlp.stanford.edu/pubs/angeli2014-emnlp-naturalli.pdf). Some neuro-symbolic approach could learn the rules… does it make sense? does anyone have references about MRS being used in deductions? Or any work that explores the direction suggested in the footnote above?
Comments are welcome! I surely expect that this community may already have strong feelings about what directions are worth exploring and which ones should be discarded by now.