1. NEED TO GO THROUGH A FILTER. S2[ TITLES[ CITKEY(@citkey=x1){functional}, TITLE(@title [KEY]=x2){functional}]] :- Document(Y1),Doc.Title(Y1,x2),Doc.key(Y1,x1).