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