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