professor(person)
student(person)
publication(title, person)
taughtBy(course, person, quarter)
courseLevel(course, level)
introCourse(course)
hasPosition(person, position)
projectMember(project, person)
advisedBy(person, person)
inPhase(person, phase)
tempAdvisedBy(person, person)
yearsInProgram(person, integer)
ta(course, person, quarter)
samePerson(person, person)
sameTitle(title, title)
sameCourse(course, course)
sameProject(project, project)
sameQuarter(quarter, quarter)
sameLevel(level, level)
samePosition(position, position)
samePhase(phase, phase)
sameInteger(integer, integer)
