+desc(*x,*z)-child(*x,*y)-desc(*y,*z);;