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.