This repository contains the scientific claims that make up dataset A (50 claims) and dataset B (25 claims) from randomly selected articles from Semantic Scholar. These are used in the Expressing High-Level Claims with Formal Semantics article.

• needs to be written in English
• needs to be from 2000 or later
• needs to have an abstract
• needs to be a research article