//predicate declarations
advisedBy(person,person)
phase(person,phas)
sameProject(project,project)
professor(person)
sameCourse(course,course)
publication(title,person)
tempAdvisedBy(person,person)
yearsInProgram(person,year)
tA(course,person,semester)
samePerson(person,person)
position(person,pos)
taughtBy(course,person,semester)
student(person)
courseLevel(course,level)
projectMember(project,person)

//function declarations

0.00866079 samePerson(a1,a1)
-1.72657   taughtBy(a1,a2,a3)
1.00703e-05 sameCourse(a1,a1)
-0.282772  position(a1,a2)
0.062228   sameProject(a1,a1)
-1.4088    projectMember(a1,a2)
-0.691624  phase(a1,a2)
-0.825761  tempAdvisedBy(a1,a2)
1.00147    yearsInProgram(a1,a2)
-1.80063   tA(a1,a2,a3)
2.28939    publication(a1,a2)
-0.209437  advisedBy(a1,a1)
-0.0439941 samePerson(a1,a2)
-0.0331155 tempAdvisedBy(a1,a1)
-0.60042   sameProject(a1,a2)
-6.39071e-05 courseLevel(a1,a2)
-0.4797    sameCourse(a1,a2)
-0.396043  advisedBy(a1,a2)
-0.012318  student(a1)
0.012318   professor(a1)
1.50516    !samePerson(a1,a2) v publication(a3,a2)
-3.16896   taughtBy(a1,a2,a3) v tA(a1,a2,a3)
1.26542    !advisedBy(a1,a2) v phase(a1,a3)
1.92571    !sameProject(a1,a2) v !sameProject(a3,a2)
1.43912    !sameCourse(a1,a2) v !sameCourse(a3,a2)
1.95523    position(a1,a2) v !projectMember(a3,a1)
-0.940793  !phase(a1,a2) v yearsInProgram(a1,a3) v !yearsInProgram(a1,a4)
1.85497    !publication(a3,a1) v !publication(a3,a2) v a1 = a2
1.08672    position(a1,a2) v phase(a3,a4) v !tempAdvisedBy(a3,a1)
-0.970086  projectMember(a1,a2) v student(a2) v !professor(a2) v !sameProject(a1,a1)
2.16718    !position(a3,a1) v !position(a3,a2) v !position(a3,a4) v a1 = a2
2.84048    phase(a1,a2) v !phase(a1,a3) v !phase(a1,a4) v !phase(a1,a5)
-0.784247  courseLevel(a1,a2) v courseLevel(a1,a3) v !courseLevel(a1,a4) v sameCourse(a1,a5) v !sameCourse(a1,a1)
1.79733    phase(a3,a1) v phase(a3,a2) v !yearsInProgram(a3,a4) v !yearsInProgram(a3,a5) v a1 = a2
-1.59018   position(a1,a2) v advisedBy(a3,a1) v tempAdvisedBy(a3,a1) v !student(a1) v professor(a1) v samePerson(a1,a3) v samePerson(a3,a1) v !samePerson(a3,a3)