@prefix nrv: <http://ns.inria.fr/nrv#>.