Q(?X) <- -FullProfessor(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -Lecturer(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -Lecturer(?X), headOf(?X, ?Y).
Q(?X) <- -headOf(?Z, ?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -Department(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -headOf(?Z, ?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Department(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Department(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Department(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Department(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -memberOf(?Z, ?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Department(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -headOf(?Z, ?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -headOf(?Z, ?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -memberOf(?Z, ?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -memberOf(?Z, ?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -member(?X, ?Z), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Lecturer(?X), -FullProfessor(?X), Chair(?X).
Q(?X) <- -Lecturer(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -AssistantProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -FullProfessor(?X), Chair(?X).
Q(?X) <- -AssistantProfessor(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -AssociateProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -Lecturer(?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -Lecturer(?X), headOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -Lecturer(?X), member(?X, ?Y).
Q(?X) <- -Lecturer(?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -Lecturer(?X), memberOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -Lecturer(?X), worksFor(?Y, ?X).
Q(?X) <- -Lecturer(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Lecturer(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Lecturer(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Lecturer(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Lecturer(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -Lecturer(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Department(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -Department(?X), headOf(?X, ?Y).
Q(?X) <- -Chair(?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Chair(?X), -Department(?X), headOf(?Y, ?X).
Q(?X) <- -Chair(?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Chair(?X), -Department(?X), member(?X, ?Y).
Q(?X) <- -Chair(?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Chair(?X), -Department(?X), memberOf(?Y, ?X).
Q(?X) <- -Chair(?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Chair(?X), -Department(?X), worksFor(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -headOf(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -headOf(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -member(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -member(?X, ?Z), headOf(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -memberOf(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -memberOf(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -worksFor(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -worksFor(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -Chair(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -Chair(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Chair(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Chair(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Chair(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Chair(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Chair(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Chair(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -Chair(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Chair(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -Chair(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Chair(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Lecturer(?X), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -headOf(?X, ?Z), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -headOf(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -headOf(?X, ?Z), member(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -headOf(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -headOf(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -Lecturer(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Lecturer(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Lecturer(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Chair(?X), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -AssociateProfessor(?X), -FullProfessor(?X), Chair(?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -subOrganizationOf(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -Chair(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Chair(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Chair(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Chair(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?X, ?Z), Department(?X).
Q(?X) <- -AssociateProfessor(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?X, ?Z), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -headOf(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -Department(?X), -FullProfessor(?X), Chair(?X).
Q(?X) <- -FullProfessor(?X), -headOf(?Z, ?X), Chair(?X).
Q(?X) <- -FullProfessor(?X), -member(?X, ?Z), Chair(?X).
Q(?X) <- -FullProfessor(?X), -memberOf(?Z, ?X), Chair(?X).
Q(?X) <- -FullProfessor(?X), -worksFor(?Z, ?X), Chair(?X).
Q(?X) <- -Department(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -FullProfessor(?X), headOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -FullProfessor(?X), member(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -FullProfessor(?X), memberOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -FullProfessor(?X), worksFor(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -headOf(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -member(?X, ?Z), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -memberOf(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -worksFor(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -subOrganizationOf(?Z, ?X), Chair(?X).
Q(?X) <- -AssistantProfessor(?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -AssistantProfessor(?X), -Department(?X), headOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -AssistantProfessor(?X), -Department(?X), member(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -AssistantProfessor(?X), -Department(?X), memberOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -AssistantProfessor(?X), -Department(?X), worksFor(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -FullProfessor(?X), -subOrganizationOf(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -AssistantProfessor(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -AssistantProfessor(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Lecturer(?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Lecturer(?X), -Publication(?X), publicationAuthor(?X, ?Y).
Q(?X) <- -Publication(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -Publication(?X), headOf(?X, ?Y).
Q(?X) <- -Chair(?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Chair(?X), -Publication(?X), publicationAuthor(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -ResearchGroup(?X), headOf(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -publicationAuthor(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -publicationAuthor(?X, ?Z), headOf(?X, ?Y).
Q(?X) <- -headOf(?X, ?Z), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Publication(?X), -headOf(?X, ?Z), publicationAuthor(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -AssociateProfessor(?X), headOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -AssociateProfessor(?X), member(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -AssociateProfessor(?X), memberOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -AssociateProfessor(?X), worksFor(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Publication(?X), -FullProfessor(?X), Chair(?X).
Q(?X) <- -ResearchGroup(?X), -FullProfessor(?X), Chair(?X).
Q(?X) <- -FullProfessor(?X), -publicationAuthor(?X, ?Z), Chair(?X).
Q(?X) <- -AssociateProfessor(?X), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -AssociateProfessor(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Publication(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Publication(?X), -FullProfessor(?X), publicationAuthor(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -publicationAuthor(?X, ?Z), headOf(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -AssistantProfessor(?X), -Publication(?X), publicationAuthor(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -AssociateProfessor(?X), -Publication(?X), publicationAuthor(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -Professor(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Professor(?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -advisor(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -advisor(?Z, ?X), AssistantProfessor(?X).
Q(?X) <- -Professor(?X), -AssociateProfessor(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Professor(?X), AssociateProfessor(?X).
Q(?X) <- -Professor(?X), -FullProfessor(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Professor(?X), FullProfessor(?X).
Q(?X) <- -Professor(?X), -headOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -Professor(?X), headOf(?X, ?Y).
Q(?X) <- -Professor(?X), -advisor(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -advisor(?Z, ?X), Professor(?X).
Q(?X) <- -Chair(?X), -Professor(?X), advisor(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -advisor(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -advisor(?Z, ?X), AssociateProfessor(?X).
Q(?X) <- -FullProfessor(?X), -advisor(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -advisor(?Z, ?X), FullProfessor(?X).
Q(?X) <- -headOf(?X, ?Z), -advisor(?Z, ?X), Chair(?X).
Q(?X) <- -Chair(?X), -advisor(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -Professor(?X), -AssociateProfessor(?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -Professor(?X), AssociateProfessor(?X).
Q(?X) <- -Professor(?X), -FullProfessor(?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -Professor(?X), FullProfessor(?X).
Q(?X) <- -Professor(?X), -headOf(?X, ?Z), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -Professor(?X), headOf(?X, ?Y).
Q(?X) <- -Professor(?X), -advisor(?Z, ?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -advisor(?Z, ?X), Professor(?X).
Q(?X) <- -AssistantProfessor(?X), -Professor(?X), advisor(?Y, ?X).
Q(?X) <- -AssociateProfessor(?X), -advisor(?Z, ?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -advisor(?Z, ?X), AssociateProfessor(?X).
Q(?X) <- -FullProfessor(?X), -advisor(?Z, ?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -advisor(?Z, ?X), FullProfessor(?X).
Q(?X) <- -headOf(?X, ?Z), -advisor(?Z, ?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -advisor(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -Professor(?X), -FullProfessor(?X), AssociateProfessor(?X).
Q(?X) <- -Professor(?X), -AssociateProfessor(?X), FullProfessor(?X).
Q(?X) <- -Professor(?X), -headOf(?X, ?Z), AssociateProfessor(?X).
Q(?X) <- -Professor(?X), -AssociateProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -AssociateProfessor(?X), -advisor(?Z, ?X), Professor(?X).
Q(?X) <- -Professor(?X), -advisor(?Z, ?X), AssociateProfessor(?X).
Q(?X) <- -Professor(?X), -AssociateProfessor(?X), advisor(?Y, ?X).
Q(?X) <- -Professor(?X), -headOf(?X, ?Z), FullProfessor(?X).
Q(?X) <- -Professor(?X), -FullProfessor(?X), headOf(?X, ?Y).
Q(?X) <- -FullProfessor(?X), -advisor(?Z, ?X), Professor(?X).
Q(?X) <- -Professor(?X), -advisor(?Z, ?X), FullProfessor(?X).
Q(?X) <- -Professor(?X), -FullProfessor(?X), advisor(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -advisor(?Z, ?X), Professor(?X).
Q(?X) <- -Professor(?X), -advisor(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -Professor(?X), -headOf(?X, ?Z), advisor(?Y, ?X).
Q(?X) <- -Publication(?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -Publication(?X), headOf(?Y, ?X).
Q(?X) <- -Publication(?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -Publication(?X), member(?X, ?Y).
Q(?X) <- -Department(?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Department(?X), -Publication(?X), publicationAuthor(?X, ?Y).
Q(?X) <- -Publication(?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -Publication(?X), memberOf(?Y, ?X).
Q(?X) <- -Publication(?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -Publication(?X), worksFor(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?X, ?Z), ResearchGroup(?X).
Q(?X) <- -Department(?X), -ResearchGroup(?X), subOrganizationOf(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -ResearchGroup(?X), headOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -ResearchGroup(?X), member(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -ResearchGroup(?X), memberOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -ResearchGroup(?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -headOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -member(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?X, ?Z), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?X, ?Z), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -subOrganizationOf(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -publicationAuthor(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -publicationAuthor(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -publicationAuthor(?X, ?Z), Department(?X).
Q(?X) <- -Department(?X), -publicationAuthor(?X, ?Z), member(?X, ?Y).
Q(?X) <- -publicationAuthor(?X, ?Z), -memberOf(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -publicationAuthor(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -publicationAuthor(?X, ?Z), -worksFor(?Z, ?X), Department(?X).
Q(?X) <- -Department(?X), -publicationAuthor(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -FullProfessor(?X), -advisor(?Z, ?X), AssociateProfessor(?X).
Q(?X) <- -AssociateProfessor(?X), -advisor(?Z, ?X), FullProfessor(?X).
Q(?X) <- -headOf(?X, ?Z), -advisor(?Z, ?X), AssociateProfessor(?X).
Q(?X) <- -AssociateProfessor(?X), -advisor(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -Publication(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -Publication(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -headOf(?Z, ?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Publication(?X), -headOf(?Z, ?X), publicationAuthor(?X, ?Y).
Q(?X) <- -Publication(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Publication(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Publication(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Publication(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Publication(?X), -member(?X, ?Z), publicationAuthor(?X, ?Y).
Q(?X) <- -Publication(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Publication(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -Publication(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -Publication(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -publicationAuthor(?X, ?Z), -memberOf(?Z, ?X), Publication(?X).
Q(?X) <- -Publication(?X), -memberOf(?Z, ?X), publicationAuthor(?X, ?Y).
Q(?X) <- -publicationAuthor(?X, ?Z), -worksFor(?Z, ?X), Publication(?X).
Q(?X) <- -Publication(?X), -worksFor(?Z, ?X), publicationAuthor(?X, ?Y).
Q(?X) <- -Publication(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Publication(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -headOf(?Z, ?X), ResearchGroup(?X).
Q(?X) <- -ResearchGroup(?X), -headOf(?Z, ?X), subOrganizationOf(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -member(?X, ?Z), ResearchGroup(?X).
Q(?X) <- -ResearchGroup(?X), -member(?X, ?Z), subOrganizationOf(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?X, ?Z), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?X, ?Z), -memberOf(?Z, ?X), ResearchGroup(?X).
Q(?X) <- -ResearchGroup(?X), -memberOf(?Z, ?X), subOrganizationOf(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -worksFor(?Z, ?X), ResearchGroup(?X).
Q(?X) <- -ResearchGroup(?X), -worksFor(?Z, ?X), subOrganizationOf(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -headOf(?X, ?Z), -advisor(?Z, ?X), FullProfessor(?X).
Q(?X) <- -FullProfessor(?X), -advisor(?Z, ?X), headOf(?X, ?Y).
Q(?X) <- -subOrganizationOf(?X, ?Z), -member(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -headOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?X, ?Z), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -headOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -headOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?X, ?Z), -member(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?X, ?Z), -member(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -member(?X, ?Z), -publicationAuthor(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -publicationAuthor(?X, ?Z), member(?X, ?Y).
Q(?X) <- -publicationAuthor(?X, ?Z), -memberOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -publicationAuthor(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -publicationAuthor(?X, ?Z), -worksFor(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -headOf(?Z, ?X), -publicationAuthor(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -publicationAuthor(?X, ?Z), -memberOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -member(?X, ?Z), -publicationAuthor(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -publicationAuthor(?X, ?Z), -worksFor(?Z, ?X), member(?X, ?Y).
Q(?X) <- -member(?X, ?Z), -publicationAuthor(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -publicationAuthor(?X, ?Z), -worksFor(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -publicationAuthor(?X, ?Z), -memberOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -Publication(?X), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -subOrganizationOf(?Z, ?X), Department(?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -publicationAuthor(?X, ?Z), Department(?X).
Q(?X) <- -Publication(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -Publication(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Publication(?X), -subOrganizationOf(?Z, ?X), publicationAuthor(?X, ?Y).
Q(?X) <- -Publication(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -Publication(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -subOrganizationOf(?Z, ?X), ResearchGroup(?X).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?Z, ?X), subOrganizationOf(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -subOrganizationOf(?Z, ?X), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -subOrganizationOf(?Z, ?X), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?X, ?Z), -subOrganizationOf(?Z, ?X), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?X, ?Z), -subOrganizationOf(?Z, ?X), worksFor(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -publicationAuthor(?X, ?Z), headOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -publicationAuthor(?X, ?Z), member(?X, ?Y).
Q(?X) <- -subOrganizationOf(?Z, ?X), -publicationAuthor(?X, ?Z), memberOf(?Y, ?X).
Q(?X) <- -subOrganizationOf(?Z, ?X), -publicationAuthor(?X, ?Z), worksFor(?Y, ?X).
Q(?X) <- -ResearchGroup(?X), -publicationAuthor(?X, ?Z), Publication(?X).
Q(?X) <- -Publication(?X), -ResearchGroup(?X), publicationAuthor(?X, ?Y).
Q(?X) <- -AssistantProfessor(?X), -Faculty(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Faculty(?X), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -teacherOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -teacherOf(?X, ?Z), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -mastersDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -mastersDegreeFrom(?X, ?Z), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -doctoralDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -doctoralDegreeFrom(?X, ?Z), AssistantProfessor(?X).
Q(?X) <- -AssistantProfessor(?X), -worksFor(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -worksFor(?X, ?Z), AssistantProfessor(?X).
Q(?X) <- -Professor(?X), -Lecturer(?X), Chair(?X).
Q(?X) <- -Professor(?X), -Faculty(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Faculty(?X), Professor(?X).
Q(?X) <- -Professor(?X), -teacherOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -teacherOf(?X, ?Z), Professor(?X).
Q(?X) <- -Professor(?X), -mastersDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -mastersDegreeFrom(?X, ?Z), Professor(?X).
Q(?X) <- -Professor(?X), -doctoralDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -doctoralDegreeFrom(?X, ?Z), Professor(?X).
Q(?X) <- -Professor(?X), -worksFor(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -worksFor(?X, ?Z), Professor(?X).
Q(?X) <- -AssociateProfessor(?X), -Faculty(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Faculty(?X), AssociateProfessor(?X).
Q(?X) <- -AssociateProfessor(?X), -teacherOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -teacherOf(?X, ?Z), AssociateProfessor(?X).
Q(?X) <- -AssociateProfessor(?X), -mastersDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -mastersDegreeFrom(?X, ?Z), AssociateProfessor(?X).
Q(?X) <- -AssociateProfessor(?X), -doctoralDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -doctoralDegreeFrom(?X, ?Z), AssociateProfessor(?X).
Q(?X) <- -AssociateProfessor(?X), -worksFor(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -worksFor(?X, ?Z), AssociateProfessor(?X).
Q(?X) <- -Lecturer(?X), -Faculty(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Faculty(?X), Lecturer(?X).
Q(?X) <- -Lecturer(?X), -teacherOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -teacherOf(?X, ?Z), Lecturer(?X).
Q(?X) <- -Lecturer(?X), -mastersDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -mastersDegreeFrom(?X, ?Z), Lecturer(?X).
Q(?X) <- -Lecturer(?X), -advisor(?Z, ?X), Chair(?X).
Q(?X) <- -Lecturer(?X), -doctoralDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -doctoralDegreeFrom(?X, ?Z), Lecturer(?X).
Q(?X) <- -Lecturer(?X), -worksFor(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -worksFor(?X, ?Z), Lecturer(?X).
Q(?X) <- -FullProfessor(?X), -Faculty(?X), Chair(?X).
Q(?X) <- -Chair(?X), -Faculty(?X), FullProfessor(?X).
Q(?X) <- -FullProfessor(?X), -teacherOf(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -teacherOf(?X, ?Z), FullProfessor(?X).
Q(?X) <- -FullProfessor(?X), -mastersDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -mastersDegreeFrom(?X, ?Z), FullProfessor(?X).
Q(?X) <- -FullProfessor(?X), -doctoralDegreeFrom(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -doctoralDegreeFrom(?X, ?Z), FullProfessor(?X).
Q(?X) <- -FullProfessor(?X), -worksFor(?X, ?Z), Chair(?X).
Q(?X) <- -Chair(?X), -worksFor(?X, ?Z), FullProfessor(?X).