1. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Technical-Manual(Y3),
[cites:cites](Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

2. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Conference(Y3),
Doc.Conference(Y2,Y3),Conf.Organization(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

3. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Article(Y3),
isa(Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

4. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Article(Y3),
inDoc(Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

5. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Article(Y3),
[cites:anySlot:cites](Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

6. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Periodical-Publication(Y3),
isa(Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

7. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Technical-Report(Y3),
isa(Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

8. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Book(Y3),
isa(Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

9. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Proceedings(Y3),
isa(Y3,Y2),Doc.Institution(Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).

10. NEED TO GO THROUGH A FILTER.
S2[
    SCHOOLS[
        CITKEY(@citkey=x1){functional},
        SCHOOLNM(@schoolname [KEY]=x2){functional}]]
:-
University(Y1),Document(Y2),Thesis(Y3),
isa(Y3,Y2),[Thesis.University:Doc.Institution](Y3,Y1),Agent.name(Y1,x2),
Doc.key(Y2,x1).