[YeGoblynQueenne]

I haven't really looked into that kind of thing. There's work I'm aware of in legal argumentation with logic programming and First Order Logic in general, for example:

https://link.springer.com/article/10.1007/BF00118494

A quick search on the internet also turns up this review that looks like it may have some information relevant to your question:

https://rd.springer.com/chapter/10.1007%2F3-540-45632-5_14