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