1. NEED TO GO THROUGH A FILTER. S2[ AUTHORS[ CITKEY(@citkey=x1){functional}, AUTNUM(@autname [KEY]=x2){functional}]] :- Document(Y1),Author(Y2),Doc.Author(Y1,Y2), Doc.key(Y1,x1),Agent.name(Y2,x2).