This document contains 9514 RDF triples in machine-readable format.