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).

