Jar P prov-model