req3(?0,?1,?2) <- Student(?0), advisor(?0,?1), Faculty(?1), 
                  takesCourse(?0,?2), teacherOf(?1,?2), Course(?2)

