@prefix coin: <http://purl.org/court/def/2009/coin#>.