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