1. NEED TO GO THROUGH A FILTER. TECHREPPUBLISHED[ TECHREPID(@techrep=x1){functional}, AUTHID(@author=x2){functional}] :- Technical-Report(Y1),Author(Y2),Doc.Author(Y1,Y2), Doc.key(Y1,x1),Agent.name(Y2,x2).