?-
times(suppliers,parts,t61),
project(t61,[sno,pno],t62),
project(spj,[sno,pno],t63),
minus(t62,t63,t64),
displayRelation(t64).