Connected to this question:
I cannot use sh:lessThan with xsd:positiveInteger
Indeed, I managed to make my example working by writing:
sh:pr