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