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