edupro	http://ns.inria.fr/semed/eduprogression#