sum(Z,?x,?x)
-sum(?x,?y,?z) | sum(s(?x),?y,s(?z))
