problem([]==>y:pnat=>leq(y,0)=>y=0 in pnat,_,_,_).
