@prefix edupro: <http://ns.inria.fr/semed/eduprogression#>.