taughtBy(Course51, Person5, Autumn_0001)
taughtBy(Course172, Person335, Autumn_0001)
taughtBy(Course46, Person335, Winter_0001)
taughtBy(Course71, Person5, Winter_0001)
taughtBy(Course124, Person335, Spring_0001)
taughtBy(Course51, Person166, Autumn_0102)
taughtBy(Course49, Person263, Winter_0102)
taughtBy(Course19, Person5, Winter_0102)
taughtBy(Course63, Person335, Spring_0102)
taughtBy(Course51, Person18, Autumn_0203)
taughtBy(Course53, Person248, Autumn_0203)
taughtBy(Course172, Person335, Autumn_0203)
taughtBy(Course49, Person248, Winter_0203)
taughtBy(Course46, Person335, Winter_0203)
taughtBy(Course146, Person335, Spring_0203)
taughtBy(Course49, Person248, Spring_0203)
taughtBy(Course53, Person189, Autumn_0304)
taughtBy(Course172, Person46, Autumn_0304)
taughtBy(Course138, Person335, Autumn_0304)
taughtBy(Course124, Person9, Winter_0304)
taughtBy(Course49, Person64, Winter_0304)
taughtBy(Course46, Person335, Winter_0304)
taughtBy(Course146, Person335, Spring_0304)
taughtBy(Course124, Person46, Spring_0304)
taughtBy(Course49, Person189, Spring_0304)
taughtBy(Course19, Person370, Spring_0304)
courseLevel(Course146, Level_300)
courseLevel(Course124, Level_300)
courseLevel(Course51, Level_400)
courseLevel(Course49, Level_400)
courseLevel(Course53, Level_400)
courseLevel(Course46, Level_500)
courseLevel(Course19, Level_500)
courseLevel(Course172, Level_500)
courseLevel(Course71, Level_500)
courseLevel(Course63, Level_500)
courseLevel(Course152, Level_500)
courseLevel(Course54, Level_500)
courseLevel(Course138, Level_500)
courseLevel(Course35, Level_500)
hasPosition(Person335, Faculty)
hasPosition(Person46, Faculty)
hasPosition(Person189, Faculty_adjunct)
hasPosition(Person5, Faculty)
inPhase(Person18, Pre_Quals)
inPhase(Person9, Post_Generals)
inPhase(Person429, Post_Quals)
inPhase(Person27, Pre_Quals)
inPhase(Person362, Post_Quals)
inPhase(Person96, Post_Generals)
inPhase(Person361, Post_Generals)
inPhase(Person263, Post_Generals)
inPhase(Person183, Pre_Quals)
inPhase(Person118, Post_Generals)
tempAdvisedBy(Person27, Person335)
yearsInProgram(Person18, Year_3)
yearsInProgram(Person9, Year_5)
yearsInProgram(Person429, Year_5)
yearsInProgram(Person27, Year_1)
yearsInProgram(Person362, Year_3)
yearsInProgram(Person96, Year_5)
yearsInProgram(Person361, Year_6)
yearsInProgram(Person263, Year_6)
yearsInProgram(Person183, Year_4)
yearsInProgram(Person118, Year_4)
ta(Course49, Person361, Winter_0304)
ta(Course46, Person429, Winter_0304)
ta(Course124, Person105, Autumn_0304)
ta(Course51, Person27, Autumn_0304)
ta(Course138, Person18, Autumn_0304)
ta(Course49, Person361, Summer_0203)
ta(Course124, Person108, Spring_0203)
ta(Course124, Person203, Spring_0203)
ta(Course51, Person96, Spring_0203)
ta(Course49, Person287, Spring_0203)
ta(Course49, Person87, Spring_0203)
ta(Course124, Person18, Winter_0203)
ta(Course124, Person35, Winter_0203)
ta(Course49, Person287, Winter_0203)
ta(Course49, Person87, Winter_0203)
ta(Course46, Person429, Winter_0203)
ta(Course124, Person108, Autumn_0203)
ta(Course124, Person203, Autumn_0203)
ta(Course53, Person287, Autumn_0203)
ta(Course172, Person325, Autumn_0203)
ta(Course49, Person361, Summer_0102)
ta(Course51, Person39, Spring_0102)
ta(Course124, Person76, Winter_0102)
ta(Course124, Person9, Winter_0102)
ta(Course49, Person96, Winter_0102)
ta(Course19, Person232, Winter_0102)
taughtBy(Course53, Person248, Autumn_0304)
taughtBy(Course49, Person64, Summer_0203)
taughtBy(Course49, Person64, Summer_0102)
professor(Person248)
professor(Person64)
professor(Person166)
professor(Person370)
professor(Person335)
professor(Person46)
professor(Person189)
professor(Person5)
student(Person18)
student(Person9)
student(Person429)
student(Person27)
student(Person362)
student(Person96)
student(Person361)
student(Person263)
student(Person183)
student(Person118)
student(Person105)
student(Person108)
student(Person203)
student(Person287)
student(Person87)
student(Person39)
student(Person35)
student(Person325)
student(Person76)
student(Person232)
samePerson(Person248, Person248)
samePerson(Person64, Person64)
samePerson(Person166, Person166)
samePerson(Person370, Person370)
samePerson(Person335, Person335)
samePerson(Person46, Person46)
samePerson(Person189, Person189)
samePerson(Person5, Person5)
samePerson(Person18, Person18)
samePerson(Person9, Person9)
samePerson(Person429, Person429)
samePerson(Person27, Person27)
samePerson(Person362, Person362)
samePerson(Person96, Person96)
samePerson(Person361, Person361)
samePerson(Person263, Person263)
samePerson(Person183, Person183)
samePerson(Person118, Person118)
samePerson(Person105, Person105)
samePerson(Person108, Person108)
samePerson(Person203, Person203)
samePerson(Person287, Person287)
samePerson(Person87, Person87)
samePerson(Person39, Person39)
samePerson(Person35, Person35)
samePerson(Person325, Person325)
samePerson(Person76, Person76)
samePerson(Person232, Person232)
sameCourse(Course146, Course146)
sameCourse(Course124, Course124)
sameCourse(Course51, Course51)
sameCourse(Course49, Course49)
sameCourse(Course53, Course53)
sameCourse(Course46, Course46)
sameCourse(Course19, Course19)
sameCourse(Course172, Course172)
sameCourse(Course71, Course71)
sameCourse(Course63, Course63)
sameCourse(Course152, Course152)
sameCourse(Course54, Course54)
sameCourse(Course138, Course138)
sameCourse(Course35, Course35)
sameProject(Project9, Project9)
sameProject(Project102, Project102)
sameProject(Project108, Project108)
sameProject(Project89, Project89)
sameProject(Project147, Project147)
sameProject(Project3, Project3)
sameProject(Project95, Project95)
sameProject(Project120, Project120)
publication(Title106 , Person335)
publication(Title14 , Person335)
publication(Title130 , Person335)
publication(Title106 , Person5)
publication(Title130 , Person5)
publication(Title257 , Person429)
publication(Title142 , Person429)
publication(Title14 , Person429)
publication(Title257 , Person183)
publication(Title142 , Person183)
