raw_schema(fulltimeemployee((dept,_)),100).
raw_schema(gradcommittee((DEPT,_)),100).
raw_schema(fulltimeemployee,100).
raw_schema(admissionoffice,100).
raw_schema(honorspgmdirector((dept,_)),100).
raw_schema(facilitiescommittee((dept,_)),100).
raw_schema(lecturer((dept,_)),100).
raw_schema(gradstudofficer((dept,_)),100).
raw_schema(president,100).
raw_schema(ra((self,_)),100).
raw_schema(staff((dept,_)),100).
raw_schema(grad,100).
raw_schema(undergradpermittedgradclass((dept,_)),100).
raw_schema(undergrad((dept,_)),100).
raw_schema(grader((dept,_),(cid,_)),100).
raw_schema(ra,100).
raw_schema(lecturer,100).
raw_schema(qualexamcommitteehead((dept,_)),100).
raw_schema(deanofadmissions,100).
raw_schema(staff,100).
raw_schema(associateprof((dept,_)),100).
raw_schema(professor((dept,_)),100).
raw_schema(ta((dept,_),(cid,_)),100).
raw_schema(honorsstudent((dept,_)),100).
raw_schema(deptchair,100).
raw_schema(employee,100).
raw_schema(instructor((dept,_),(cid,_)),100).
raw_schema(faculty((dept,_)),100).
raw_schema(registrasoffice,100).
raw_schema(student((dept,_),(cid,_)),100).
raw_schema(undergradpermittedgradclass((dept,_),(cid,_)),100).
raw_schema(tenuredfac((dept,_)),100).
raw_schema(facilitiesdirector((dept,_)),100).
raw_schema(professor,100).
raw_schema(student,100).
raw_schema(assistantprof,100).
raw_schema(admissionscommittee((dept,_)),100).
raw_schema(dean((school,_)),100).
raw_schema(gradadmissionscommittee((dept,_)),100).
raw_schema(grad((dept,_),(cid,_)),100).
raw_schema(registrasoffice((dept,_)),100).
raw_schema(student((dept,_)),100).
raw_schema(gradcommittee((dept,_)),100).
raw_schema(grad((dept,_)),100).
raw_schema(deptchair((dept,_)),100).
raw_schema(tenuredfac,100).
raw_schema(undergrad((dept,_),(cid,_)),100).
raw_schema(qualexamcommittee((dept,_)),100).
raw_schema(asstforstudentaffairs,100).
raw_schema(honorsstudent((dept,_),(cid,_)),100).
raw_schema(associateprof,100).
raw_schema(registraroffice,100).
raw_schema(instructor((dept,_),(cid,_),(term,_)),100).
raw_schema(ra((fac,_)),100).
raw_schema(employee((dept,_)),100).
raw_schema(ta,100).
raw_schema(faculty,100).
raw_schema(undergrad,100).
raw_schema(honorsstudent,100).
raw_schema(provost,100).
raw_schema(admissionsofficer,100).
raw_schema(dean,100).
raw_schema(assistantprof((dept,_)),100).



can_assign(admissionoffice, [], [grad((dept,N1)), grad((dept,N1),(cid,N2)), grad], undergrad).
can_assign(admissionscommittee((dept,DEPT)), [undergrad],[], undergrad((dept,DEPT))).
can_assign(registraroffice, [undergrad((dept,DEPT),(cid,N1))],[], undergrad((dept,DEPT),(cid,CID))).
can_assign(registraroffice, [undergradpermittedgradclass((dept,DEPT))],[], undergrad((dept,DEPT),(cid,CID))).
can_assign(registraroffice, [undergrad((dept,DEPT))],[], undergrad((dept,DEPT),(cid,CID))).
can_assign(gradadmissionscommittee((dept,DEPT)), [], [], grad((dept,DEPT))).
can_assign(registraroffice, [grad((dept,DEPT),(cid,N1))],[], grad((dept,DEPT),(cid,CID))).
can_assign(registraroffice, [grad((dept,DEPT))],[], grad((dept,DEPT),(cid,CID))).
can_assign(honorspgmdirector((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], honorsstudent((dept,DEPT))).
can_assign(honorspgmdirector((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], honorsstudent((dept,DEPT))).
can_assign(honorspgmdirector((dept,DEPT)), [undergrad((dept,DEPT))],[], honorsstudent((dept,DEPT))).
can_assign(registraroffice, [honorsstudent((dept,DEPT))],[], honorsstudent((dept,DEPT),(cid,CID))).
can_assign(lecturer((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(assistantprof((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(associateprof((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(professor((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(dean, [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(dean((school,N1)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(provost, [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(president, [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(tenuredfac((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(faculty((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(lecturer((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(assistantprof((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(associateprof((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(professor((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(dean, [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(dean((school,N1)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(provost, [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(president, [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(tenuredfac((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(faculty((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(lecturer((dept,DEPT)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(assistantprof((dept,DEPT)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(associateprof((dept,DEPT)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(professor((dept,DEPT)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(dean, [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(dean((school,N1)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(provost, [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(president, [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(tenuredfac((dept,DEPT)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(faculty((dept,DEPT)), [undergrad((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT))).
can_assign(registraroffice, [undergradpermittedgradclass((dept,DEPT))],[], undergradpermittedgradclass((dept,DEPT),(cid,CID))).
can_assign(dean, [undergrad((dept,DEPT),(cid,N1))],[], grader((dept,DEPT),(cid,CID))).
can_assign(dean((school,N1)), [undergrad((dept,DEPT),(cid,N1))],[], grader((dept,DEPT),(cid,CID))).
can_assign(provost, [undergrad((dept,DEPT),(cid,N1))],[], grader((dept,DEPT),(cid,CID))).
can_assign(president, [undergrad((dept,DEPT),(cid,N1))],[], grader((dept,DEPT),(cid,CID))).
can_assign(deptchair((dept,DEPT)), [undergrad((dept,DEPT),(cid,N1))],[], grader((dept,DEPT),(cid,CID))).
can_assign(dean, [undergradpermittedgradclass((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(dean((school,N1)), [undergradpermittedgradclass((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(provost, [undergradpermittedgradclass((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(president, [undergradpermittedgradclass((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(deptchair((dept,DEPT)), [undergradpermittedgradclass((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(dean, [undergrad((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(dean((school,N1)), [undergrad((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(provost, [undergrad((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(president, [undergrad((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(deptchair((dept,DEPT)), [undergrad((dept,DEPT))],[], grader((dept,DEPT),(cid,CID))).
can_assign(lecturer((dept,Dept)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(assistantprof((dept,Dept)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(associateprof((dept,Dept)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(professor((dept,Dept)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(deptchair((dept,Dept)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(dean, [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(dean((school,N1)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(provost, [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(president, [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(tenuredfac((dept,Dept)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(faculty((dept,Dept)), [grad((dept,DEPT),(cid,N1))],[], ra((fac,Self))).
can_assign(lecturer((dept,Dept)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(assistantprof((dept,Dept)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(associateprof((dept,Dept)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(professor((dept,Dept)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(deptchair((dept,Dept)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(dean, [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(dean((school,N1)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(provost, [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(president, [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(tenuredfac((dept,Dept)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(faculty((dept,Dept)), [grad((dept,DEPT))],[], ra((fac,Self))).
can_assign(dean, [grad((dept,DEPT),(cid,N1))],[], ta((dept,DEPT),(cid,CID))).
can_assign(dean((school,N1)), [grad((dept,DEPT),(cid,N1))],[], ta((dept,DEPT),(cid,CID))).
can_assign(provost, [grad((dept,DEPT),(cid,N1))],[], ta((dept,DEPT),(cid,CID))).
can_assign(president, [grad((dept,DEPT),(cid,N1))],[], ta((dept,DEPT),(cid,CID))).
can_assign(deptchair((dept,DEPT)), [grad((dept,DEPT),(cid,N1))],[], ta((dept,DEPT),(cid,CID))).
can_assign(dean, [grad((dept,DEPT))],[], ta((dept,DEPT),(cid,CID))).
can_assign(dean((school,N1)), [grad((dept,DEPT))],[], ta((dept,DEPT),(cid,CID))).
can_assign(provost, [grad((dept,DEPT))],[], ta((dept,DEPT),(cid,CID))).
can_assign(president, [grad((dept,DEPT))],[], ta((dept,DEPT),(cid,CID))).
can_assign(deptchair((dept,DEPT)), [grad((dept,DEPT))],[], ta((dept,DEPT),(cid,CID))).
can_assign(dean, [grad((dept,DEPT),(cid,N1))],[], gradstudofficer((dept,DEPT))).
can_assign(dean((school,N1)), [grad((dept,DEPT),(cid,N1))],[], gradstudofficer((dept,DEPT))).
can_assign(provost, [grad((dept,DEPT),(cid,N1))],[], gradstudofficer((dept,DEPT))).
can_assign(president, [grad((dept,DEPT),(cid,N1))],[], gradstudofficer((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [grad((dept,DEPT),(cid,N1))],[], gradstudofficer((dept,DEPT))).
can_assign(dean, [grad((dept,DEPT))],[], gradstudofficer((dept,DEPT))).
can_assign(dean((school,N1)), [grad((dept,DEPT))],[], gradstudofficer((dept,DEPT))).
can_assign(provost, [grad((dept,DEPT))],[], gradstudofficer((dept,DEPT))).
can_assign(president, [grad((dept,DEPT))],[], gradstudofficer((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [grad((dept,DEPT))],[], gradstudofficer((dept,DEPT))).
can_assign(dean, [gradstudofficer((dept,DEPT))],[], gradcommittee((DEPT,DEPT))).
can_assign(dean((school,N1)), [gradstudofficer((dept,DEPT))],[], gradcommittee((DEPT,DEPT))).
can_assign(provost, [gradstudofficer((dept,DEPT))],[], gradcommittee((DEPT,DEPT))).
can_assign(president, [gradstudofficer((dept,DEPT))],[], gradcommittee((DEPT,DEPT))).
can_assign(deptchair((dept,DEPT)), [gradstudofficer((dept,DEPT))],[], gradcommittee((DEPT,DEPT))).
can_assign(president, [], [], staff((dept,DEPT))).
can_assign(president, [], [], registrasoffice((dept,DEPT))).
can_assign(president, [], [], deanofadmissions).
can_assign(president, [], [], assistantprof((dept,DEPT))).
can_assign(president, [], [], associateprof((dept,DEPT))).
can_assign(president, [], [], professor((dept,DEPT))).
can_assign(president, [professor((dept,N1))],[deptchair, deptchair((dept,N1)), dean, dean((school,N1)), provost, president], provost).
can_assign(president, [professor],[deptchair, deptchair((dept,N1)), dean, dean((school,N1)), provost, president], provost).
can_assign(president, [], [], lecturer).
can_assign(dean, [lecturer((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [lecturer((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [lecturer((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [lecturer((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [lecturer((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [assistantprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [assistantprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [assistantprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [assistantprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [assistantprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [associateprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [associateprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [associateprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [associateprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [associateprof((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [professor((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [professor((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [professor((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [professor((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [deptchair((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [deptchair((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [deptchair((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [deptchair((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [dean],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [dean],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [dean],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [dean((school,N1))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean((school,N1))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [dean((school,N1))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [dean((school,N1))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean((school,N1))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [provost],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [provost],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [provost],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [provost],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [provost],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [president],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [president],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [president],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [president],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [president],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [tenuredfac((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [tenuredfac((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [tenuredfac((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [tenuredfac((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [tenuredfac((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [faculty((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [faculty((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(provost, [faculty((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(president, [faculty((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [faculty((dept,DEPT))],[], qualexamcommittee((dept,DEPT))).
can_assign(dean, [gradcommittee((dept,DEPT))],[], qualexamcommitteehead((dept,DEPT))).
can_assign(dean((school,N1)), [gradcommittee((dept,DEPT))],[], qualexamcommitteehead((dept,DEPT))).
can_assign(provost, [gradcommittee((dept,DEPT))],[], qualexamcommitteehead((dept,DEPT))).
can_assign(president, [gradcommittee((dept,DEPT))],[], qualexamcommitteehead((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [gradcommittee((dept,DEPT))],[], qualexamcommitteehead((dept,DEPT))).
can_assign(dean, [lecturer((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [lecturer((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [lecturer((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [lecturer((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [lecturer((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [assistantprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [assistantprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [assistantprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [assistantprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [assistantprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [associateprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [associateprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [associateprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [associateprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [associateprof((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [professor((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [professor((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [professor((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [professor((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [deptchair((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [deptchair((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [deptchair((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [deptchair((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [dean],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [dean],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [dean],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [dean],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [dean],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [dean((school,N1))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [dean((school,N1))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [dean((school,N1))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [dean((school,N1))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [dean((school,N1))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [provost],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [provost],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [provost],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [provost],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [provost],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [president],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [president],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [president],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [president],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [president],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [tenuredfac((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [tenuredfac((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [tenuredfac((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [tenuredfac((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [tenuredfac((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean, [faculty((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(dean((school,N1)), [faculty((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(provost, [faculty((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [faculty((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(deptchair((dept,DEPT)), [faculty((dept,DEPT))],[], instructor((dept,DEPT),(cid,CID),(term,TERM))).
can_assign(president, [professor((dept,N1))],[deptchair, deptchair((dept,N1)), dean, dean((school,N1)), provost, president], dean).
can_assign(provost, [professor((dept,N1))],[deptchair, deptchair((dept,N1)), dean, dean((school,N1)), provost, president], dean).
can_assign(president, [professor],[deptchair, deptchair((dept,N1)), dean, dean((school,N1)), provost, president], dean).
can_assign(provost, [professor],[deptchair, deptchair((dept,N1)), dean, dean((school,N1)), provost, president], dean).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(provost, [deptchair((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(president, [deptchair((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(dean, [deptchair((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(provost, [professor((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(president, [professor((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(dean, [professor((dept,DEPT))],[dean, provost, dean((school,N1)), president], deptchair((dept,DEPT))).
can_assign(dean((school,N1)), [admissionsofficer],[], asstforstudentaffairs).
can_assign(provost, [admissionsofficer],[], asstforstudentaffairs).
can_assign(president, [admissionsofficer],[], asstforstudentaffairs).
can_assign(dean, [admissionsofficer],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [deanofadmissions],[], asstforstudentaffairs).
can_assign(provost, [deanofadmissions],[], asstforstudentaffairs).
can_assign(president, [deanofadmissions],[], asstforstudentaffairs).
can_assign(dean, [deanofadmissions],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [provost],[], asstforstudentaffairs).
can_assign(provost, [provost],[], asstforstudentaffairs).
can_assign(president, [provost],[], asstforstudentaffairs).
can_assign(dean, [provost],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [president],[], asstforstudentaffairs).
can_assign(provost, [president],[], asstforstudentaffairs).
can_assign(president, [president],[], asstforstudentaffairs).
can_assign(dean, [president],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [registrasoffice],[], asstforstudentaffairs).
can_assign(provost, [registrasoffice],[], asstforstudentaffairs).
can_assign(president, [registrasoffice],[], asstforstudentaffairs).
can_assign(dean, [registrasoffice],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [staff((dept,N1))],[], asstforstudentaffairs).
can_assign(provost, [staff((dept,N1))],[], asstforstudentaffairs).
can_assign(president, [staff((dept,N1))],[], asstforstudentaffairs).
can_assign(dean, [staff((dept,N1))],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [deptchair((dept,N1))],[], asstforstudentaffairs).
can_assign(provost, [deptchair((dept,N1))],[], asstforstudentaffairs).
can_assign(president, [deptchair((dept,N1))],[], asstforstudentaffairs).
can_assign(dean, [deptchair((dept,N1))],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [dean],[], asstforstudentaffairs).
can_assign(provost, [dean],[], asstforstudentaffairs).
can_assign(president, [dean],[], asstforstudentaffairs).
can_assign(dean, [dean],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [dean((school,N1))],[], asstforstudentaffairs).
can_assign(provost, [dean((school,N1))],[], asstforstudentaffairs).
can_assign(president, [dean((school,N1))],[], asstforstudentaffairs).
can_assign(dean, [dean((school,N1))],[], asstforstudentaffairs).
can_assign(dean((school,N1)), [staff],[], asstforstudentaffairs).
can_assign(provost, [staff],[], asstforstudentaffairs).
can_assign(president, [staff],[], asstforstudentaffairs).
can_assign(dean, [staff],[], asstforstudentaffairs).
can_assign(dean, [lecturer((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [lecturer((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [lecturer((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [lecturer((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [lecturer((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [assistantprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [assistantprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [assistantprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [assistantprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [assistantprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [associateprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [associateprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [associateprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [associateprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [associateprof((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [professor((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [professor((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [professor((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [professor((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [deptchair((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [deptchair((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [deptchair((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [deptchair((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [dean],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [dean],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [dean],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [dean],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [dean((school,N1))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [dean((school,N1))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [dean((school,N1))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [dean((school,N1))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean((school,N1))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [provost],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [provost],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [provost],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [provost],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [provost],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [president],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [president],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [president],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [president],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [president],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [tenuredfac((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [tenuredfac((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [tenuredfac((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [tenuredfac((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [tenuredfac((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean, [faculty((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(dean((school,N1)), [faculty((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(provost, [faculty((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [faculty((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [faculty((dept,DEPT))],[], honorspgmdirector((dept,DEPT))).
can_assign(president, [], [], deanofadmissions).
can_assign(dean, [lecturer((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [lecturer((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [lecturer((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [lecturer((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [lecturer((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [assistantprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [assistantprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [assistantprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [assistantprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [assistantprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [associateprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [associateprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [associateprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [associateprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [associateprof((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [professor((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [professor((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [professor((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [professor((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [deptchair((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [deptchair((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [deptchair((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [deptchair((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [dean],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [dean],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [dean],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [dean((school,N1))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean((school,N1))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [dean((school,N1))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [dean((school,N1))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean((school,N1))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [provost],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [provost],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [provost],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [provost],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [provost],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [president],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [president],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [president],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [president],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [president],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [tenuredfac((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [tenuredfac((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [tenuredfac((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [tenuredfac((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [tenuredfac((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [faculty((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean((school,N1)), [faculty((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(provost, [faculty((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(president, [faculty((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [faculty((dept,DEPT))],[], gradadmissionscommittee((dept,DEPT))).
can_assign(dean, [lecturer((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [lecturer((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [lecturer((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(president, [lecturer((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [lecturer((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean, [assistantprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [assistantprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [assistantprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(president, [assistantprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [assistantprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean, [associateprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [associateprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [associateprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(president, [associateprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [associateprof((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean, [professor((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [professor((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(president, [professor((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [professor((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean, [deptchair((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [deptchair((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(president, [deptchair((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [deptchair((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean, [dean],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean],[], gradcommittee((dept,DEPT))).
can_assign(provost, [dean],[], gradcommittee((dept,DEPT))).
can_assign(president, [dean],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean],[], gradcommittee((dept,DEPT))).
can_assign(dean, [dean((school,N1))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean((school,N1))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [dean((school,N1))],[], gradcommittee((dept,DEPT))).
can_assign(president, [dean((school,N1))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean((school,N1))],[], gradcommittee((dept,DEPT))).
can_assign(dean, [provost],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [provost],[], gradcommittee((dept,DEPT))).
can_assign(provost, [provost],[], gradcommittee((dept,DEPT))).
can_assign(president, [provost],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [provost],[], gradcommittee((dept,DEPT))).
can_assign(dean, [president],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [president],[], gradcommittee((dept,DEPT))).
can_assign(provost, [president],[], gradcommittee((dept,DEPT))).
can_assign(president, [president],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [president],[], gradcommittee((dept,DEPT))).
can_assign(dean, [tenuredfac((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [tenuredfac((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [tenuredfac((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(president, [tenuredfac((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [tenuredfac((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean, [faculty((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(dean((school,N1)), [faculty((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [faculty((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(president, [faculty((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [faculty((dept,DEPT))],[], gradcommittee((dept,DEPT))).
can_assign(provost, [admissionsofficer],[], admissionsofficer).
can_assign(president, [admissionsofficer],[], admissionsofficer).
can_assign(deanofadmissions, [admissionsofficer],[], admissionsofficer).
can_assign(provost, [deanofadmissions],[], admissionsofficer).
can_assign(president, [deanofadmissions],[], admissionsofficer).
can_assign(deanofadmissions, [deanofadmissions],[], admissionsofficer).
can_assign(provost, [provost],[], admissionsofficer).
can_assign(president, [provost],[], admissionsofficer).
can_assign(deanofadmissions, [provost],[], admissionsofficer).
can_assign(provost, [president],[], admissionsofficer).
can_assign(president, [president],[], admissionsofficer).
can_assign(deanofadmissions, [president],[], admissionsofficer).
can_assign(provost, [registrasoffice],[], admissionsofficer).
can_assign(president, [registrasoffice],[], admissionsofficer).
can_assign(deanofadmissions, [registrasoffice],[], admissionsofficer).
can_assign(provost, [staff((dept,N1))],[], admissionsofficer).
can_assign(president, [staff((dept,N1))],[], admissionsofficer).
can_assign(deanofadmissions, [staff((dept,N1))],[], admissionsofficer).
can_assign(provost, [deptchair((dept,N1))],[], admissionsofficer).
can_assign(president, [deptchair((dept,N1))],[], admissionsofficer).
can_assign(deanofadmissions, [deptchair((dept,N1))],[], admissionsofficer).
can_assign(provost, [dean],[], admissionsofficer).
can_assign(president, [dean],[], admissionsofficer).
can_assign(deanofadmissions, [dean],[], admissionsofficer).
can_assign(provost, [dean((school,N1))],[], admissionsofficer).
can_assign(president, [dean((school,N1))],[], admissionsofficer).
can_assign(deanofadmissions, [dean((school,N1))],[], admissionsofficer).
can_assign(provost, [staff],[], admissionsofficer).
can_assign(president, [staff],[], admissionsofficer).
can_assign(deanofadmissions, [staff],[], admissionsofficer).
can_assign(dean, [staff((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [staff((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [staff((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [staff((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [staff((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [faculty((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [faculty((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [faculty((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [faculty((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [faculty((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [lecturer((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [lecturer((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [lecturer((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [lecturer((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [lecturer((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [assistantprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [assistantprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [assistantprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [assistantprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [assistantprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [associateprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [associateprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [associateprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [associateprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [associateprof((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [professor((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [professor((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [professor((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [professor((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [deptchair((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [deptchair((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [deptchair((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [deptchair((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [dean],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [dean],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [dean],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [dean((school,N1))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [dean((school,N1))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [dean((school,N1))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [dean((school,N1))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean((school,N1))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [provost],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [provost],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [provost],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [provost],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [provost],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [president],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [president],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [president],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [president],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [president],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [tenuredfac((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [tenuredfac((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [tenuredfac((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [tenuredfac((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [tenuredfac((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [fulltimeemployee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [fulltimeemployee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [fulltimeemployee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [fulltimeemployee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [fulltimeemployee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [employee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean((school,N1)), [employee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(provost, [employee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(president, [employee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [employee((dept,DEPT))],[], facilitiescommittee((dept,DEPT))).
can_assign(dean, [lecturer((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [lecturer((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [lecturer((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [lecturer((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [lecturer((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [assistantprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [assistantprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [assistantprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [assistantprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [assistantprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [associateprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [associateprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [associateprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [associateprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [associateprof((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [professor((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [professor((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [professor((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [professor((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [professor((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [deptchair((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [deptchair((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [deptchair((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [deptchair((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [deptchair((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [dean],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [dean],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [dean],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [dean],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [dean((school,N1))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [dean((school,N1))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [dean((school,N1))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [dean((school,N1))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [dean((school,N1))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [provost],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [provost],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [provost],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [provost],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [provost],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [president],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [president],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [president],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [president],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [president],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [tenuredfac((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [tenuredfac((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [tenuredfac((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [tenuredfac((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [tenuredfac((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean, [faculty((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,N1)), [faculty((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(provost, [faculty((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(president, [faculty((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(deptchair((dept,DEPT)), [faculty((dept,DEPT))],[], facilitiesdirector((dept,DEPT))).
can_assign(dean((school,eng)), [deptchair((dept,cs))],[dean, provost, dean((school,N1)), president], deptchair((dept,cs))).
can_assign(dean((school,eng)), [professor((dept,cs))],[dean, provost, dean((school,N1)), president], deptchair((dept,cs))).
can_assign(dean((school,eng)), [deptchair((dept,me))],[dean, provost, dean((school,N1)), president], deptchair((dept,me))).
can_assign(dean((school,eng)), [professor((dept,me))],[dean, provost, dean((school,N1)), president], deptchair((dept,me))).
can_assign(dean((school,eng)), [deptchair((dept,ssie))],[dean, provost, dean((school,N1)), president], deptchair((dept,ssie))).
can_assign(dean((school,eng)), [professor((dept,ssie))],[dean, provost, dean((school,N1)), president], deptchair((dept,ssie))).
can_assign(dean((school,eng)), [deptchair((dept,bioengine))],[dean, provost, dean((school,N1)), president], deptchair((dept,bioengine))).
can_assign(dean((school,eng)), [professor((dept,bioengine))],[dean, provost, dean((school,N1)), president], deptchair((dept,bioengine))).
can_assign(dean((school,eng)), [deptchair((dept,ece))],[dean, provost, dean((school,N1)), president], deptchair((dept,ece))).
can_assign(dean((school,eng)), [professor((dept,ece))],[dean, provost, dean((school,N1)), president], deptchair((dept,ece))).
can_assign(dean((school,artscience)), [deptchair((dept,math))],[dean, provost, dean((school,N1)), president], deptchair((dept,math))).
can_assign(dean((school,artscience)), [professor((dept,math))],[dean, provost, dean((school,N1)), president], deptchair((dept,math))).
can_assign(dean((school,artscience)), [deptchair((dept,chem))],[dean, provost, dean((school,N1)), president], deptchair((dept,chem))).
can_assign(dean((school,artscience)), [professor((dept,chem))],[dean, provost, dean((school,N1)), president], deptchair((dept,chem))).
can_assign(dean((school,artscience)), [deptchair((dept,physics))],[dean, provost, dean((school,N1)), president], deptchair((dept,physics))).
can_assign(dean((school,artscience)), [professor((dept,physics))],[dean, provost, dean((school,N1)), president], deptchair((dept,physics))).
can_assign(dean((school,artscience)), [deptchair((dept,bio))],[dean, provost, dean((school,N1)), president], deptchair((dept,bio))).
can_assign(dean((school,artscience)), [professor((dept,bio))],[dean, provost, dean((school,N1)), president], deptchair((dept,bio))).
can_assign(dean((school,artscience)), [deptchair((dept,geo))],[dean, provost, dean((school,N1)), president], deptchair((dept,geo))).
can_assign(dean((school,artscience)), [professor((dept,geo))],[dean, provost, dean((school,N1)), president], deptchair((dept,geo))).
can_assign(dean((school,artscience)), [deptchair((dept,philosophy))],[dean, provost, dean((school,N1)), president], deptchair((dept,philosophy))).
can_assign(dean((school,artscience)), [professor((dept,philosophy))],[dean, provost, dean((school,N1)), president], deptchair((dept,philosophy))).
can_assign(dean((school,artscience)), [deptchair((dept,history))],[dean, provost, dean((school,N1)), president], deptchair((dept,history))).
can_assign(dean((school,artscience)), [professor((dept,history))],[dean, provost, dean((school,N1)), president], deptchair((dept,history))).
can_assign(dean((school,artscience)), [deptchair((dept,literature))],[dean, provost, dean((school,N1)), president], deptchair((dept,literature))).
can_assign(dean((school,artscience)), [professor((dept,literature))],[dean, provost, dean((school,N1)), president], deptchair((dept,literature))).
can_assign(dean((school,artscience)), [deptchair((dept,language))],[dean, provost, dean((school,N1)), president], deptchair((dept,language))).
can_assign(dean((school,artscience)), [professor((dept,language))],[dean, provost, dean((school,N1)), president], deptchair((dept,language))).
can_assign(dean((school,artscience)), [deptchair((dept,history))],[dean, provost, dean((school,N1)), president], deptchair((dept,history))).
can_assign(dean((school,artscience)), [professor((dept,history))],[dean, provost, dean((school,N1)), president], deptchair((dept,history))).
can_assign(dean((school,artscience)), [deptchair((dept,sociology))],[dean, provost, dean((school,N1)), president], deptchair((dept,sociology))).
can_assign(dean((school,artscience)), [professor((dept,sociology))],[dean, provost, dean((school,N1)), president], deptchair((dept,sociology))).

can_revoke(deptchair((dept  ','  _h489)),honorspgmdirector((dept  ','  _h511)))
can_revoke(dean,honorspgmdirector((dept  ','  _h505)))
can_revoke(dean((school  ','  _h497)),honorspgmdirector((dept  ','  _h519)))
can_revoke(provost,honorspgmdirector((dept  ','  _h508)))
can_revoke(president,honorspgmdirector((dept  ','  _h511)))
can_revoke(deptchair,honorspgmdirector)
can_revoke(deptchair((dept  ','  _h457)),honorspgmdirector)
can_revoke(dean,honorspgmdirector)
can_revoke(dean((school  ','  _h465)),honorspgmdirector)
can_revoke(provost,honorspgmdirector)
can_revoke(president,honorspgmdirector)
can_revoke(registraroffice,undergradpermittedgradclass((dept  ','  _h487),(cid  ','  _h492)))
can_revoke(faculty((dept  ','  _h474)),undergradpermittedgradclass((dept  ','  _h496)))
can_revoke(lecturer((dept  ','  _h479)),undergradpermittedgradclass((dept  ','  _h501)))
can_revoke(assistantprof((dept  ','  _h484)),undergradpermittedgradclass((dept  ','  _h506)))
can_revoke(associateprof((dept  ','  _h489)),undergradpermittedgradclass((dept  ','  _h511)))
can_revoke(professor((dept  ','  _h494)),undergradpermittedgradclass((dept  ','  _h516)))
can_revoke(deptchair((dept  ','  _h499)),undergradpermittedgradclass((dept  ','  _h521)))
can_revoke(dean,undergradpermittedgradclass((dept  ','  _h515)))
can_revoke(dean((school  ','  _h507)),undergradpermittedgradclass((dept  ','  _h529)))
can_revoke(dean((school  ','  _h512)),undergrad((dept  ','  _h534)))
can_revoke(dean((school  ','  _h517)),student((dept  ','  _h539)))
can_revoke(provost,undergradpermittedgradclass((dept  ','  _h518)))
can_revoke(president,undergradpermittedgradclass((dept  ','  _h521)))
can_revoke(president,undergrad((dept  ','  _h526)))
can_revoke(president,student((dept  ','  _h531)))
can_revoke(provost,undergrad((dept  ','  _h523)))
can_revoke(provost,student((dept  ','  _h528)))
can_revoke(dean,undergrad((dept  ','  _h520)))
can_revoke(dean,student((dept  ','  _h525)))
can_revoke(deptchair((dept  ','  _h504)),undergrad((dept  ','  _h526)))
can_revoke(deptchair((dept  ','  _h509)),student((dept  ','  _h531)))
can_revoke(professor((dept  ','  _h499)),undergrad((dept  ','  _h521)))
can_revoke(professor((dept  ','  _h504)),student((dept  ','  _h526)))
can_revoke(associateprof((dept  ','  _h494)),undergrad((dept  ','  _h516)))
can_revoke(associateprof((dept  ','  _h499)),student((dept  ','  _h521)))
can_revoke(tenuredfac((dept  ','  _h489)),undergradpermittedgradclass((dept  ','  _h511)))
can_revoke(tenuredfac((dept  ','  _h494)),undergrad((dept  ','  _h516)))
can_revoke(tenuredfac((dept  ','  _h499)),student((dept  ','  _h521)))
can_revoke(assistantprof((dept  ','  _h489)),undergrad((dept  ','  _h511)))
can_revoke(assistantprof((dept  ','  _h494)),student((dept  ','  _h516)))
can_revoke(lecturer((dept  ','  _h484)),undergrad((dept  ','  _h506)))
can_revoke(lecturer((dept  ','  _h489)),student((dept  ','  _h511)))
can_revoke(faculty((dept  ','  _h479)),undergrad((dept  ','  _h501)))
can_revoke(faculty((dept  ','  _h484)),student((dept  ','  _h506)))
can_revoke(faculty,undergradpermittedgradclass)
can_revoke(faculty((dept  ','  _h457)),undergradpermittedgradclass)
can_revoke(lecturer((dept  ','  _h462)),undergradpermittedgradclass)
can_revoke(assistantprof((dept  ','  _h467)),undergradpermittedgradclass)
can_revoke(associateprof((dept  ','  _h472)),undergradpermittedgradclass)
can_revoke(professor((dept  ','  _h477)),undergradpermittedgradclass)
can_revoke(deptchair((dept  ','  _h482)),undergradpermittedgradclass)
can_revoke(dean,undergradpermittedgradclass)
can_revoke(dean((school  ','  _h490)),undergradpermittedgradclass)
can_revoke(provost,undergradpermittedgradclass)
can_revoke(president,undergradpermittedgradclass)
can_revoke(tenuredfac((dept  ','  _h472)),undergradpermittedgradclass)
can_revoke(lecturer,undergradpermittedgradclass)
can_revoke(assistantprof,undergradpermittedgradclass)
can_revoke(tenuredfac,undergradpermittedgradclass)
can_revoke(associateprof,undergradpermittedgradclass)
can_revoke(professor,undergradpermittedgradclass)
can_revoke(deptchair,undergradpermittedgradclass)
can_revoke(deptchair,facilitiescommittee((dept  ','  _h476)))
can_revoke(deptchair((dept  ','  _h468)),facilitiescommittee((dept  ','  _h490)))
can_revoke(dean,facilitiescommittee((dept  ','  _h484)))
can_revoke(dean((school  ','  _h476)),facilitiescommittee((dept  ','  _h498)))
can_revoke(provost,facilitiescommittee((dept  ','  _h487)))
can_revoke(president,facilitiescommittee((dept  ','  _h490)))
can_revoke(deptchair,facilitiesdirector((dept  ','  _h476)))
can_revoke(deptchair((dept  ','  _h468)),facilitiesdirector((dept  ','  _h490)))
can_revoke(dean,facilitiesdirector((dept  ','  _h484)))
can_revoke(dean((school  ','  _h476)),facilitiesdirector((dept  ','  _h498)))
can_revoke(provost,facilitiesdirector((dept  ','  _h487)))
can_revoke(president,facilitiesdirector((dept  ','  _h490)))
can_revoke(deptchair,lecturer((dept  ','  _h476)))
can_revoke(deptchair((dept  ','  _h468)),lecturer((dept  ','  _h490)))
can_revoke(dean,lecturer((dept  ','  _h484)))
can_revoke(dean((school  ','  _h476)),lecturer((dept  ','  _h498)))
can_revoke(dean((school  ','  _h479)),lecturer)
can_revoke(dean((school  ','  _h482)),faculty)
can_revoke(dean((school  ','  _h485)),employee)
can_revoke(dean((school  ','  _h481)),faculty((dept  ','  _h503)))
can_revoke(dean((school  ','  _h486)),employee((dept  ','  _h508)))
can_revoke(provost,lecturer((dept  ','  _h487)))
can_revoke(president,lecturer((dept  ','  _h490)))
can_revoke(president,lecturer)
can_revoke(president,faculty)
can_revoke(president,employee)
can_revoke(president,faculty((dept  ','  _h495)))
can_revoke(president,employee((dept  ','  _h500)))
can_revoke(provost,lecturer)
can_revoke(provost,faculty)
can_revoke(provost,employee)
can_revoke(provost,faculty((dept  ','  _h492)))
can_revoke(provost,employee((dept  ','  _h497)))
can_revoke(dean,lecturer)
can_revoke(dean,faculty)
can_revoke(dean,employee)
can_revoke(dean,faculty((dept  ','  _h489)))
can_revoke(dean,employee((dept  ','  _h494)))
can_revoke(deptchair((dept  ','  _h471)),lecturer)
can_revoke(deptchair((dept  ','  _h474)),faculty)
can_revoke(deptchair((dept  ','  _h477)),employee)
can_revoke(deptchair((dept  ','  _h473)),faculty((dept  ','  _h495)))
can_revoke(deptchair((dept  ','  _h478)),employee((dept  ','  _h500)))
can_revoke(deptchair,lecturer)
can_revoke(deptchair,faculty)
can_revoke(deptchair,employee)
can_revoke(deptchair,faculty((dept  ','  _h481)))
can_revoke(deptchair,employee((dept  ','  _h486)))
can_revoke(deptchair,grader((dept  ','  _h476)))
can_revoke(deptchair((dept  ','  _h468)),grader((dept  ','  _h490)))
can_revoke(dean,grader((dept  ','  _h484)))
can_revoke(dean((school  ','  _h476)),grader((dept  ','  _h498)))
can_revoke(provost,grader((dept  ','  _h487)))
can_revoke(president,grader((dept  ','  _h490)))
can_revoke(deptchair,grader)
can_revoke(deptchair((dept  ','  _h457)),grader)
can_revoke(dean,grader)
can_revoke(dean((school  ','  _h465)),grader)
can_revoke(provost,grader)
can_revoke(president,grader)
can_revoke(deptchair,grader((dept  ','  _h487),(cid  ','  _h492)))
can_revoke(deptchair((dept  ','  _h477)),grader((dept  ','  _h501),(cid  ','  _h506)))
can_revoke(dean,grader((dept  ','  _h495),(cid  ','  _h500)))
can_revoke(dean((school  ','  _h485)),grader((dept  ','  _h509),(cid  ','  _h514)))
can_revoke(provost,grader((dept  ','  _h498),(cid  ','  _h503)))
can_revoke(president,grader((dept  ','  _h501),(cid  ','  _h506)))
can_revoke(registraroffice,undergrad((dept  ','  _h487),(cid  ','  _h492)))
can_revoke(registraroffice,undergrad((dept  ','  _h490)))
can_revoke(registraroffice,student((dept  ','  _h495)))
can_revoke(registraroffice,student((dept  ','  _h493),(cid  ','  _h498)))
can_revoke(registraroffice,grad((dept  ','  _h487),(cid  ','  _h492)))
can_revoke(registraroffice,grad((dept  ','  _h490)))
can_revoke(dean,grad((dept  ','  _h476)))
can_revoke(dean((school  ','  _h468)),grad((dept  ','  _h490)))
can_revoke(provost,grad((dept  ','  _h479)))
can_revoke(president,grad((dept  ','  _h482)))
can_revoke(registraroffice,honorsstudent)
can_revoke(registraroffice,honorsstudent((dept  ','  _h487),(cid  ','  _h492)))
can_revoke(honorspgmdirector((dept  ','  _h474)),honorsstudent((dept  ','  _h496)))
can_revoke(faculty((dept  ','  _h474)),ra((self  ','  _h496)))
can_revoke(lecturer((dept  ','  _h479)),ra((self  ','  _h501)))
can_revoke(assistantprof((dept  ','  _h484)),ra((self  ','  _h506)))
can_revoke(associateprof((dept  ','  _h489)),ra((self  ','  _h511)))
can_revoke(professor((dept  ','  _h494)),ra((self  ','  _h516)))
can_revoke(deptchair((dept  ','  _h499)),ra((self  ','  _h521)))
can_revoke(dean,ra((self  ','  _h515)))
can_revoke(dean((school  ','  _h507)),ra((self  ','  _h529)))
can_revoke(provost,ra((self  ','  _h518)))
can_revoke(president,ra((self  ','  _h521)))
can_revoke(tenuredfac((dept  ','  _h489)),ra((self  ','  _h511)))
can_revoke(deanofadmissions,admissionsofficer)
can_revoke(provost,admissionsofficer)
can_revoke(president,admissionsofficer)
can_revoke(president,staff)
can_revoke(provost,staff)
can_revoke(deanofadmissions,staff)
can_revoke(deanofadmissions,employee)
can_revoke(faculty((dept  ','  _h463)),ra)
can_revoke(lecturer((dept  ','  _h468)),ra)
can_revoke(assistantprof((dept  ','  _h473)),ra)
can_revoke(associateprof((dept  ','  _h478)),ra)
can_revoke(professor((dept  ','  _h483)),ra)
can_revoke(deptchair((dept  ','  _h488)),ra)
can_revoke(dean,ra)
can_revoke(dean((school  ','  _h496)),ra)
can_revoke(provost,ra)
can_revoke(president,ra)
can_revoke(tenuredfac((dept  ','  _h478)),ra)
can_revoke(deptchair((dept  ','  _h483)),ta((dept  ','  _h507),(cid  ','  _h512)))
can_revoke(dean,ta((dept  ','  _h501),(cid  ','  _h506)))
can_revoke(dean((school  ','  _h491)),ta((dept  ','  _h515),(cid  ','  _h520)))
can_revoke(provost,ta((dept  ','  _h504),(cid  ','  _h509)))
can_revoke(president,ta((dept  ','  _h507),(cid  ','  _h512)))
can_revoke(deptchair,ta)
can_revoke(deptchair((dept  ','  _h457)),ta)
can_revoke(dean,ta)
can_revoke(dean((school  ','  _h465)),ta)
can_revoke(provost,ta)
can_revoke(president,ta)
can_revoke(deptchair((dept  ','  _h474)),gradstudofficer((dept  ','  _h496)))
can_revoke(dean,gradstudofficer((dept  ','  _h490)))
can_revoke(dean((school  ','  _h482)),gradstudofficer((dept  ','  _h504)))
can_revoke(provost,gradstudofficer((dept  ','  _h493)))
can_revoke(president,gradstudofficer((dept  ','  _h496)))
can_revoke(deptchair((dept  ','  _h474)),gradcommittee((dept  ','  _h496)))
can_revoke(dean,gradcommittee((dept  ','  _h490)))
can_revoke(dean((school  ','  _h482)),gradcommittee((dept  ','  _h504)))
can_revoke(provost,gradcommittee((dept  ','  _h493)))
can_revoke(president,gradcommittee((dept  ','  _h496)))
can_revoke(president,provost)
can_revoke(president,dean)
can_revoke(president,deptchair((dept  ','  _h473)))
can_revoke(president,professor((dept  ','  _h478)))
can_revoke(president,associateprof((dept  ','  _h483)))
can_revoke(president,assistantprof((dept  ','  _h488)))
can_revoke(president,associateprof)
can_revoke(president,tenuredfac)
can_revoke(president,assistantprof)
can_revoke(president,tenuredfac((dept  ','  _h488)))
can_revoke(president,professor)
can_revoke(president,deptchair)
can_revoke(president,deanofadmissions)
can_revoke(president,registrasoffice)
can_revoke(deptchair,qualexamcommitteehead((dept  ','  _h476)))
can_revoke(deptchair((dept  ','  _h468)),qualexamcommitteehead((dept  ','  _h490)))
can_revoke(dean,qualexamcommitteehead((dept  ','  _h484)))
can_revoke(dean((school  ','  _h476)),qualexamcommitteehead((dept  ','  _h498)))
can_revoke(dean((school  ','  _h481)),qualexamcommittee((dept  ','  _h503)))
can_revoke(provost,qualexamcommitteehead((dept  ','  _h487)))
can_revoke(president,qualexamcommitteehead((dept  ','  _h490)))
can_revoke(president,qualexamcommittee((dept  ','  _h495)))
can_revoke(provost,qualexamcommittee((dept  ','  _h492)))
can_revoke(dean,qualexamcommittee((dept  ','  _h489)))
can_revoke(deptchair((dept  ','  _h473)),qualexamcommittee((dept  ','  _h495)))
can_revoke(deptchair,qualexamcommittee((dept  ','  _h481)))
can_revoke(president,registraroffice)
can_revoke(president,asstforstudentaffairs)
can_revoke(president,fulltimeemployee((dept  ','  _h476)))
can_revoke(president,instructor((dept  ','  _h487),(cid  ','  _h492)))
can_revoke(provost,deanofadmissions)
can_revoke(provost,dean)
can_revoke(provost,deptchair((dept  ','  _h470)))
can_revoke(provost,professor((dept  ','  _h475)))
can_revoke(provost,associateprof((dept  ','  _h480)))
can_revoke(provost,assistantprof((dept  ','  _h485)))
can_revoke(provost,associateprof)
can_revoke(provost,tenuredfac)
can_revoke(provost,assistantprof)
can_revoke(provost,tenuredfac((dept  ','  _h485)))
can_revoke(provost,professor)
can_revoke(provost,deptchair)
can_revoke(provost,dean((school  ','  _h476)))
can_revoke(president,dean((school  ','  _h479)))
can_revoke(president,fulltimeemployee)
can_revoke(dean,deptchair)
can_revoke(dean((school  ','  _h457)),deptchair)
can_revoke(dean((school  ','  _h460)),professor)
can_revoke(dean((school  ','  _h463)),associateprof)
can_revoke(dean((school  ','  _h466)),tenuredfac)
can_revoke(dean((school  ','  _h469)),assistantprof)
can_revoke(dean,professor)
can_revoke(dean,associateprof)
can_revoke(dean,tenuredfac)
can_revoke(dean,assistantprof)
can_revoke(dean,deptchair((dept  ','  _h476)))
can_revoke(dean((school  ','  _h468)),deptchair((dept  ','  _h490)))
can_revoke(dean((school  ','  _h473)),professor((dept  ','  _h495)))
can_revoke(dean((school  ','  _h478)),associateprof((dept  ','  _h500)))
can_revoke(dean((school  ','  _h483)),assistantprof((dept  ','  _h505)))
can_revoke(dean((school  ','  _h483)),tenuredfac((dept  ','  _h505)))
can_revoke(dean((school  ','  _h471)),staff)
can_revoke(dean,professor((dept  ','  _h481)))
can_revoke(dean,associateprof((dept  ','  _h486)))
can_revoke(dean,assistantprof((dept  ','  _h491)))
can_revoke(dean,tenuredfac((dept  ','  _h491)))
can_revoke(dean,staff)
can_revoke(deptchair((dept  ','  _h474)),gradadmissionscommittee((dept  ','  _h496)))
can_revoke(dean,gradadmissionscommittee((dept  ','  _h490)))
can_revoke(dean((school  ','  _h482)),gradadmissionscommittee((dept  ','  _h504)))
can_revoke(provost,gradadmissionscommittee((dept  ','  _h493)))
can_revoke(president,gradadmissionscommittee((dept  ','  _h496)))

pa(student, gradebook((stu,Self)), viewGrade).
pa(student, computeraccount((stu,Self)), create).
pa(student, studentparkingpermit((stu,Self)), obtain).
pa(student, tuition((stu,Self)), pay).
pa(student, studenthealthinsur((stu,Self)), enroll).
pa(grader((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), assignGrade).
pa(grader((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), viewGrade).
pa(ta((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), assignGrade).
pa(ta((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), viewGrade).
pa(gradstudofficer((dept,DEPT)), roomschedule, reserveRoom).
pa(employee, employeeparkingpermit((emp,Self)), obtain).
pa(fulltimeemployee, employeehealthinsur((emp,Self)), enroll).
pa(instructor((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), assignGrade).
pa(instructor((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), submitGradeChange).
pa(instructor((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), submitGrades).
pa(instructor((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), reviseGrades).
pa(instructor((dept,DEPT),(cid,CID)), gradebook((dept,DEPT),(cid,CID)), viewGrades).
pa(deptchair((dept,DEPT)), deptbudget((dept,DEPT)), modify).
pa(dean, roster((dept,DEPT),(cid,CID)), approveLateWithdrawal).
pa(dean, gradebook((dept,DEPT),(cid,CID)), approveGradeChange).
pa(dean, collegeacct, authorizeExpenditure).
pa(president, universityacct, authorizeExpenditure).
pa(asstforstudentaffairs, roaster((dept,DEPT),(cid,CID)), allowLateWithdrawal).
pa(asstforstudentaffairs, gradebook((dept,DEPT),(cid,CID)), approveGradeChange).
pa(facilitiesdirector((dept,DEPT)), deptbudget((dept,DEPT)), authorizeEquipmentPurchase).
pa(undergrad, gradebook((stu,Self)), viewGrade).
pa(undergrad((dept,N1)), gradebook((stu,Self)), viewGrade).
pa(undergrad((dept,N1),(cid,N2)), gradebook((stu,Self)), viewGrade).
pa(undergradpermittedgradclass((dept,N1)), gradebook((stu,Self)), viewGrade).
pa(grad, gradebook((stu,Self)), viewGrade).
pa(grad((dept,N1)), gradebook((stu,Self)), viewGrade).
pa(grad((dept,N1),(cid,N2)), gradebook((stu,Self)), viewGrade).
pa(honorsstudent, gradebook((stu,Self)), viewGrade).
pa(undergrad, computeraccount((stu,Self)), create).
pa(undergrad((dept,N1)), computeraccount((stu,Self)), create).
pa(undergrad((dept,N1),(cid,N2)), computeraccount((stu,Self)), create).
pa(undergradpermittedgradclass((dept,N1)), computeraccount((stu,Self)), create).
pa(grad, computeraccount((stu,Self)), create).
pa(grad((dept,N1)), computeraccount((stu,Self)), create).
pa(grad((dept,N1),(cid,N2)), computeraccount((stu,Self)), create).
pa(honorsstudent, computeraccount((stu,Self)), create).
pa(undergrad, studentparkingpermit((stu,Self)), obtain).
pa(undergrad((dept,N1)), studentparkingpermit((stu,Self)), obtain).
pa(undergrad((dept,N1),(cid,N2)), studentparkingpermit((stu,Self)), obtain).
pa(undergradpermittedgradclass((dept,N1)), studentparkingpermit((stu,Self)), obtain).
pa(grad, studentparkingpermit((stu,Self)), obtain).
pa(grad((dept,N1)), studentparkingpermit((stu,Self)), obtain).
pa(grad((dept,N1),(cid,N2)), studentparkingpermit((stu,Self)), obtain).
pa(honorsstudent, studentparkingpermit((stu,Self)), obtain).
pa(undergrad, tuition((stu,Self)), pay).
pa(undergrad((dept,N1)), tuition((stu,Self)), pay).
pa(undergrad((dept,N1),(cid,N2)), tuition((stu,Self)), pay).
pa(undergradpermittedgradclass((dept,N1)), tuition((stu,Self)), pay).
pa(grad, tuition((stu,Self)), pay).
pa(grad((dept,N1)), tuition((stu,Self)), pay).
pa(grad((dept,N1),(cid,N2)), tuition((stu,Self)), pay).
pa(honorsstudent, tuition((stu,Self)), pay).
pa(undergrad, studenthealthinsur((stu,Self)), enroll).
pa(undergrad((dept,N1)), studenthealthinsur((stu,Self)), enroll).
pa(undergrad((dept,N1),(cid,N2)), studenthealthinsur((stu,Self)), enroll).
pa(undergradpermittedgradclass((dept,N1)), studenthealthinsur((stu,Self)), enroll).
pa(grad, studenthealthinsur((stu,Self)), enroll).
pa(grad((dept,N1)), studenthealthinsur((stu,Self)), enroll).
pa(grad((dept,N1),(cid,N2)), studenthealthinsur((stu,Self)), enroll).
pa(honorsstudent, studenthealthinsur((stu,Self)), enroll).
pa(staff, employeeparkingpermit((emp,Self)), obtain).
pa(admissionsofficer, employeeparkingpermit((emp,Self)), obtain).
pa(deanofadmissions, employeeparkingpermit((emp,Self)), obtain).
pa(provost, employeeparkingpermit((emp,Self)), obtain).
pa(president, employeeparkingpermit((emp,Self)), obtain).
pa(registrasoffice, employeeparkingpermit((emp,Self)), obtain).
pa(staff((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(deptchair((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(dean, employeeparkingpermit((emp,Self)), obtain).
pa(dean((school,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(fulltimeemployee, employeeparkingpermit((emp,Self)), obtain).
pa(faculty, employeeparkingpermit((emp,Self)), obtain).
pa(faculty((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(lecturer((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(assistantprof((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(associateprof((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(professor((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(tenuredfac((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(lecturer, employeeparkingpermit((emp,Self)), obtain).
pa(assistantprof, employeeparkingpermit((emp,Self)), obtain).
pa(tenuredfac, employeeparkingpermit((emp,Self)), obtain).
pa(associateprof, employeeparkingpermit((emp,Self)), obtain).
pa(professor, employeeparkingpermit((emp,Self)), obtain).
pa(deptchair, employeeparkingpermit((emp,Self)), obtain).
pa(employee((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(fulltimeemployee((dept,N1)), employeeparkingpermit((emp,Self)), obtain).
pa(dean, deptbudget((dept,DEPT)), modify).
pa(dean((school,N1)), deptbudget((dept,DEPT)), modify).
pa(provost, deptbudget((dept,DEPT)), modify).
pa(president, deptbudget((dept,DEPT)), modify).
pa(dean((school,N1)), roster((dept,DEPT),(cid,CID)), approveLateWithdrawal).
pa(provost, roster((dept,DEPT),(cid,CID)), approveLateWithdrawal).
pa(president, roster((dept,DEPT),(cid,CID)), approveLateWithdrawal).
pa(dean((school,N1)), gradebook((dept,DEPT),(cid,CID)), approveGradeChange).
pa(provost, gradebook((dept,DEPT),(cid,CID)), approveGradeChange).
pa(president, gradebook((dept,DEPT),(cid,CID)), approveGradeChange).
pa(dean((school,N1)), collegeacct, authorizeExpenditure).
pa(provost, collegeacct, authorizeExpenditure).
pa(president, collegeacct, authorizeExpenditure).

rh(dean(school),dean).
rh(undergrad(dept),student(dept)).
rh(grad(dept),student(dept)).
rh(provost,dean).
rh(dean,deptchair(dept)).
rh(deptchair(dept),professor(dept)).
rh(professor(dept),associateprof(dept)).
rh(staff,employee).
rh(fulltimeemployee,employee).
rh(faculty,employee).
rh(employee(dept),employee).
rh(admissionsofficer,staff).
rh(deanofadmissions,admissionsofficer).
rh(provost,deanofadmissions).
rh(president,provost).
rh(registrasoffice,staff).
rh(provost,registrasoffice).
rh(staff(dept),staff).
rh(deptchair(dept),staff).
rh(faculty(dept),faculty).
rh(lecturer(dept),lecturer).
rh(associateprof(dept),assistantprof(dept)).
rh(tenuredfac(dept),tenuredfac).
rh(associateprof(dept),associateprof).
rh(professor(dept),professor).
rh(dean,deptchair(dept)).
rh(deptchair(dept),deptchair).
rh(staff(dept),employee(dept)).
rh(faculty(dept),employee(dept)).
rh(fulltimeemployee(dept),employee(dept)).
rh(qualexamcommitteehead(dept), qualexamcommittee(dept)).
rh(facilitiesdirector(dept),facilitiescommittee(dept)).
rh(undergrad, student).
rh(undergrad(dept), undergrad).
rh(undergrad(dept,cid), undergrad(dept)).
rh(undergradpermittedgradclass(dept), undergrad(dept)).
rh(grad, student).
rh(grad(dept), grad).
rh(grad(dept,cid),grad(dept)).
rh(honorsstudent, student).
rh(undergrad(dept,cid), student(dept,cid)).
rh(grad(dept,cid), student(dept,cid)).
rh(undergrad(dept), student(dept)).
rh(grad(dept), student(dept)).
rh(lecturer(dept),faculty(dept)).
rh(assistantprof(dept),lecturer(dept)).
rh(tenuredfac(dept),assistantprof(dept)).
rh(associateprof(dept),tenuredfac(dept)).
rh(professor(dept),associateprof(dept)).
rh(deptchair(dept),professor(dept)).
rh(lecturer,faculty).
rh(assistantprof,lecturer).
rh(tenuredfac,assistantprof).
rh(associateprof,tenuredfac).
rh(professor,associateprof).
rh(deptchair,professor).
rh(dean,deptchair).
rh(provost,dean).


