SARA-atoms: an atom-level view of the SARA statutory-reasoning dataset for measuring fact extraction against the formalisation

Atom-level companion to SARA (Holzenberger et al., NLLP 2020): for each of the 376 cases, the formalisation's atoms with English renderings, seeded distractors, a text-only generator's candidates with oracle matches, and model verification probabilities. Additions under CC BY 4.0; SARA content under its original permission notice (LICENSE). See README.md.