# The NAI Suite -- Drafting and Reasoning over Legal Texts

arXiv: https://arxiv.org/abs/1910.07004 · HTML: https://mlsanity.com/paper/1910.07004/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 15 Oct 2019.

## Built on by (most cited first, 1 of 1)

- [Automating Defeasible Reasoning in Law](https://mlsanity.com/paper/2205.07335/) (2022)

## Abstract (arXiv)

A prototype for automated reasoning over legal texts, called NAI, is presented. As an input, NAI accepts formalized logical representations of such legal texts that can be created and curated using an integrated annotation interface. The prototype supports automated reasoning over the given text representation and multiple quality assurance procedures. The pragmatics of the NAI suite as well its feasibility in practical applications is studied on a fragment of the Smoking Prohibition (Children in Motor Vehicles) (Scotland) Act 2016 of the Scottish Parliament.