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