Q(?X) <- Organization(?X), -headOf(?Y,?X), -Department(?X).
Q(?X) <- Person(?X), -Faculty(?X), -headOf(?X,?Y).
Q(?X) <- Person(?X), Faculty(?X), takesCourse(?X,?Y).
Q(?X) <- Publication(?X), -TechnicalReport(?X).
Q(?Y) <- Work(?Y), -takesCourse(?X,?Y).