1. NEED TO GO THROUGH A FILTER.
INPROCPUBLISHED[
    INPROCID(@inproc=x1){functional},
    AUTHID(@author=x2){functional}]
:-
Article(Y1),Author(Y2),Doc.Author(Y1,Y2),
Doc.key(Y1,x1),Agent.name(Y2,x2).