Core
Q1(x) :- useradministeredby(x,y), hasshopclass(x,z).
Q2(x) :- bookitemhasbook(x,w), user(x), hasshopclass(x,z).
Q3(x) :- shopevent(x), user(y), hasrole(x,y).
Q4(x) :- shopevent(x), user(y), hasrole(x,y), hasrole(x,z), sport(z).

Galen
Q1(x):- horn(x),hasstate(x,y), cellmorphologystate(y).
Q2(x):- shortbone(x),hasstate(x,y), cellmorphologystate(y).
Q3(x):- tissue(x),hasstate(x,y), temporalunit(y).
Q4(x) :- protozoa(x), contains(x,y), metal(y),  contains(x,z), steroid(z).

Stockexchange
Q1(?0) <- StockExchangeMember(?0).
Q2(?0,?1) <- Person(?0), hasStock(?0,?1), Stock(?1).
Q3(?0,?1,?2) <- FinantialInstrument(?0), belongsToCompany(?0,?1), Company(?1), hasStock(?1,?2), Stock(?2).
Q4(?0,?1,?2) <- Person(?0), hasStock(?0,?1), Stock(?1), isListedIn(?1,?2), StockExchangeList(?2).
Q5(?0,?1,?2,?3) <- FinantialInstrument(?0), belongsToCompany(?0,?1), Company(?1), hasStock(?1,?2), Stock(?2), isListedIn(?1,?3), 
StockExchangeList(?3).

University
Q1(?0) <- worksFor(?0,?1), affiliatedOrganizationOf(?1,?2)
Q2(?0,?1) <- Person(?0), teacherOf(?0,?1), Course(?1)
Q3(?0,?1,?2) <- Student(?0), advisor(?0,?1), FacultyStaff(?1), takesCourse(?0,?2), teacherOf(?1,?2), Course(?2)
Q4(?0,?1) <- Person(?0), worksFor(?0,?1), Organization(?1)
Q5(?0) <- Person(?0), worksFor(?0,?1), University(?1), hasAlumnus(?1,?0)