//-------- DECLARE VARIBLES ----------//
var	b_AdmissionsOfficer : int ,
	b_AssistantProf : int ,
	b_AssociateProf : int ,
	b_Dean : int ,
	b_DeanOfAdmissions : int ,
	b_DeptChair : int ,
	b_GradAdmissionsCommittee : int ,
	b_Lecturer : int ,
	b_President : int ,
	b_Professor : int ,
	b_Provost : int ,
	b_target : int ,
	b_SUPER_ROLE : int ,
	d_AdmissionsOfficer : int ,
	d_AssistantProf : int ,
	d_AssociateProf : int ,
	d_Dean : int ,
	d_DeanOfAdmissions : int ,
	d_DeptChair : int ,
	d_GradAdmissionsCommittee : int ,
	d_Lecturer : int ,
	d_President : int ,
	d_Professor : int ,
	d_Provost : int ,
	d_target : int ,
	d_SUPER_ROLE : int ,
	n_GradAdmissionsCommittee_AdmissionsOfficer : int ,
	n_SUPER_ROLE : int ,
	n_President : int ,
	n_Professor_0Dean_0President_0Provost : int ,
	n_Dean : int ,
	n_DeanOfAdmissions_0GradAdmissionsCommittee : int ,
	n_Provost_0GradAdmissionsCommittee : int ,
	n_DeanOfAdmissions_0President : int ,
	n_Provost_0President : int ,
	n_AssistantProf_0President : int ,
	n_DeptChair : int ,
	n_Lecturer_0President : int ,
	n_AssociateProf_0President : int ,
	n_Professor_0President : int ,
	n_Dean_0President : int ,
	n_DeptChair_0President : int ,
	n_Professor_0Dean_0DeptChair_0President : int ,
	n_Professor_0DeptChair_0President_0Provost : int ,
	n_Provost : int ,
	n_target : int ;

//-------------- BEGIN Program --------------------//
begin
	//-------------- Init VARS ------------------------//
	b_AdmissionsOfficer = 0;
	b_AssistantProf = 0;
	b_AssociateProf = 0;
	b_Dean = 0;
	b_DeanOfAdmissions = 0;
	b_DeptChair = 0;
	b_GradAdmissionsCommittee = 0;
	b_Lecturer = 0;
	b_President = 0;
	b_Professor = 0;
	b_Provost = 0;
	b_target = 0;
	b_SUPER_ROLE = 0;
	d_AdmissionsOfficer = 0;
	d_AssistantProf = 0;
	d_AssociateProf = 0;
	d_Dean = 0;
	d_DeanOfAdmissions = 0;
	d_DeptChair = 0;
	d_GradAdmissionsCommittee = 0;
	d_Lecturer = 0;
	d_President = 0;
	d_Professor = 0;
	d_Provost = 0;
	d_target = 0;
	d_SUPER_ROLE = 0;
	n_GradAdmissionsCommittee_AdmissionsOfficer = 0;
	n_SUPER_ROLE = 0;
	n_President = 0;
	n_Professor_0Dean_0President_0Provost = 0;
	n_Dean = 0;
	n_DeanOfAdmissions_0GradAdmissionsCommittee = 0;
	n_Provost_0GradAdmissionsCommittee = 0;
	n_DeanOfAdmissions_0President = 0;
	n_Provost_0President = 0;
	n_AssistantProf_0President = 0;
	n_DeptChair = 0;
	n_Lecturer_0President = 0;
	n_AssociateProf_0President = 0;
	n_Professor_0President = 0;
	n_Dean_0President = 0;
	n_DeptChair_0President = 0;
	n_Professor_0Dean_0DeptChair_0President = 0;
	n_Professor_0DeptChair_0President_0Provost = 0;
	n_Provost = 0;
	n_target = 0;
	// Initialize track variables in the system
	n_SUPER_ROLE = n_SUPER_ROLE + 1;
	n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost + 7;
	n_Dean = n_Dean + 1;
	n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee + 1;
	n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee + 1;
	n_DeanOfAdmissions_0President = n_DeanOfAdmissions_0President + 1;
	n_Provost_0President = n_Provost_0President + 1;
	n_AssistantProf_0President = n_AssistantProf_0President + 6;
	n_DeptChair = n_DeptChair + 1;
	n_Lecturer_0President = n_Lecturer_0President + 6;
	n_AssociateProf_0President = n_AssociateProf_0President + 6;
	n_Professor_0President = n_Professor_0President + 9;
	n_Dean_0President = n_Dean_0President + 1;
	n_DeptChair_0President = n_DeptChair_0President + 1;
	n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President + 7;
	n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost + 7;
	n_Provost = n_Provost + 1;

	while ( true )  do 

		//----- Non-deterministic assignment ------//
		b_AdmissionsOfficer = random; assume b_AdmissionsOfficer >= 0 and b_AdmissionsOfficer <= 1;
		b_AssistantProf = random; assume b_AssistantProf >= 0 and b_AssistantProf <= 1;
		b_AssociateProf = random; assume b_AssociateProf >= 0 and b_AssociateProf <= 1;
		b_Dean = random; assume b_Dean >= 0 and b_Dean <= 1;
		b_DeanOfAdmissions = random; assume b_DeanOfAdmissions >= 0 and b_DeanOfAdmissions <= 1;
		b_DeptChair = random; assume b_DeptChair >= 0 and b_DeptChair <= 1;
		b_GradAdmissionsCommittee = random; assume b_GradAdmissionsCommittee >= 0 and b_GradAdmissionsCommittee <= 1;
		b_Lecturer = random; assume b_Lecturer >= 0 and b_Lecturer <= 1;
		b_President = random; assume b_President >= 0 and b_President <= 1;
		b_Professor = random; assume b_Professor >= 0 and b_Professor <= 1;
		b_Provost = random; assume b_Provost >= 0 and b_Provost <= 1;
		b_target = random; assume b_target >= 0 and b_target <= 1;
		b_SUPER_ROLE = random; assume b_SUPER_ROLE >= 0 and b_SUPER_ROLE <= 1;

		d_AdmissionsOfficer = random; assume d_AdmissionsOfficer >= 0 and d_AdmissionsOfficer <= 1;
		d_AssistantProf = random; assume d_AssistantProf >= 0 and d_AssistantProf <= 1;
		d_AssociateProf = random; assume d_AssociateProf >= 0 and d_AssociateProf <= 1;
		d_Dean = random; assume d_Dean >= 0 and d_Dean <= 1;
		d_DeanOfAdmissions = random; assume d_DeanOfAdmissions >= 0 and d_DeanOfAdmissions <= 1;
		d_DeptChair = random; assume d_DeptChair >= 0 and d_DeptChair <= 1;
		d_GradAdmissionsCommittee = random; assume d_GradAdmissionsCommittee >= 0 and d_GradAdmissionsCommittee <= 1;
		d_Lecturer = random; assume d_Lecturer >= 0 and d_Lecturer <= 1;
		d_President = random; assume d_President >= 0 and d_President <= 1;
		d_Professor = random; assume d_Professor >= 0 and d_Professor <= 1;
		d_Provost = random; assume d_Provost >= 0 and d_Provost <= 1;
		d_target = random; assume d_target >= 0 and d_target <= 1;
		d_SUPER_ROLE = random; assume d_SUPER_ROLE >= 0 and d_SUPER_ROLE <= 1;

		//-------------- Simulation -------------------//
		//------------------ CAN_ASSIGN RULE NUMBER 0 -----------------
		// <SUPER_ROLE,GradAdmissionsCommittee&AdmissionsOfficer,target>
		//------------------------------------------------------------------
		if(brandom and d_SUPER_ROLE==1 and n_SUPER_ROLE>0 and b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
			if(true) then
				n_target = n_target+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 1 -----------------
		// <President,TRUE,Professor>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0) then
			if(b_Dean==0 and b_President==0 and b_Provost==0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost+1;
			endif;
			if(b_President==0) then
				n_Professor_0President = n_Professor_0President+1;
			endif;
			if(b_Dean==0 and b_DeptChair==0 and b_President==0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President+1;
			endif;
			if(b_DeptChair==0 and b_President==0 and b_Provost==0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 2 -----------------
		// <President,TRUE,DeanOfAdmissions>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0) then
			if(b_GradAdmissionsCommittee==0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee+1;
			endif;
			if(b_President==0) then
				n_DeanOfAdmissions_0President = n_DeanOfAdmissions_0President+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 3 -----------------
		// <President,TRUE,Lecturer>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0) then
			if(b_President==0) then
				n_Lecturer_0President = n_Lecturer_0President+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 4 -----------------
		// <President,TRUE,AssistantProf>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0) then
			if(b_President==0) then
				n_AssistantProf_0President = n_AssistantProf_0President+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 5 -----------------
		// <President,TRUE,AssociateProf>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0) then
			if(b_President==0) then
				n_AssociateProf_0President = n_AssociateProf_0President+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 6 -----------------
		// <Dean,Professor&-Dean&-President&-Provost,DeptChair>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_Professor==1 and b_Dean==0 and b_President==0 and b_Provost==0 and n_Professor_0Dean_0President_0Provost>0) then
			if(true) then
				n_DeptChair = n_DeptChair+1;
			endif;
			if(b_President==0) then
				n_DeptChair_0President = n_DeptChair_0President+1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_DeptChair==0 and b_President==0 and n_Professor_0Dean_0DeptChair_0President>0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President-1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0 and b_Provost==0 and n_Professor_0DeptChair_0President_0Provost>0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 7 -----------------
		// <SUPER_ROLE,DeanOfAdmissions&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_SUPER_ROLE==1 and n_SUPER_ROLE>0 and b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 8 -----------------
		// <SUPER_ROLE,Provost&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_SUPER_ROLE==1 and n_SUPER_ROLE>0 and b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 9 -----------------
		// <SUPER_ROLE,DeanOfAdmissions&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_SUPER_ROLE==1 and n_SUPER_ROLE>0 and b_DeanOfAdmissions==1 and b_President==0 and n_DeanOfAdmissions_0President>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 10 -----------------
		// <SUPER_ROLE,Provost&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_SUPER_ROLE==1 and n_SUPER_ROLE>0 and b_Provost==1 and b_President==0 and n_Provost_0President>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 11 -----------------
		// <DeptChair,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_AssistantProf==1 and b_President==0 and n_AssistantProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 12 -----------------
		// <DeptChair,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_Lecturer==1 and b_President==0 and n_Lecturer_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 13 -----------------
		// <DeptChair,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_AssociateProf==1 and b_President==0 and n_AssociateProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 14 -----------------
		// <DeptChair,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_Professor==1 and b_President==0 and n_Professor_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 15 -----------------
		// <DeptChair,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_Dean==1 and b_President==0 and n_Dean_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 16 -----------------
		// <DeptChair,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_DeptChair==1 and b_President==0 and n_DeptChair_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 17 -----------------
		// <DeptChair,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_Provost==1 and b_President==0 and n_Provost_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 18 -----------------
		// <President,Professor&-Dean&-DeptChair&-President,Provost>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Professor==1 and b_Dean==0 and b_DeptChair==0 and b_President==0 and n_Professor_0Dean_0DeptChair_0President>0) then
			if(b_Professor==1 and b_Dean==0 and b_President==0 and b_Provost==0 and n_Professor_0Dean_0President_0Provost>0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost-1;
			endif;
			if(b_GradAdmissionsCommittee==0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee+1;
			endif;
			if(b_President==0) then
				n_Provost_0President = n_Provost_0President+1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0 and b_Provost==0 and n_Professor_0DeptChair_0President_0Provost>0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost-1;
			endif;
			if(true) then
				n_Provost = n_Provost+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 19 -----------------
		// <Provost,Professor&-DeptChair&-President&-Provost,Dean>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Professor==1 and b_DeptChair==0 and b_President==0 and b_Provost==0 and n_Professor_0DeptChair_0President_0Provost>0) then
			if(b_Professor==1 and b_Dean==0 and b_President==0 and b_Provost==0 and n_Professor_0Dean_0President_0Provost>0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost-1;
			endif;
			if(true) then
				n_Dean = n_Dean+1;
			endif;
			if(b_President==0) then
				n_Dean_0President = n_Dean_0President+1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_DeptChair==0 and b_President==0 and n_Professor_0Dean_0DeptChair_0President>0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 20 -----------------
		// <Provost,Professor&-Dean&-President&-Provost,DeptChair>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Professor==1 and b_Dean==0 and b_President==0 and b_Provost==0 and n_Professor_0Dean_0President_0Provost>0) then
			if(true) then
				n_DeptChair = n_DeptChair+1;
			endif;
			if(b_President==0) then
				n_DeptChair_0President = n_DeptChair_0President+1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_DeptChair==0 and b_President==0 and n_Professor_0Dean_0DeptChair_0President>0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President-1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0 and b_Provost==0 and n_Professor_0DeptChair_0President_0Provost>0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 21 -----------------
		// <President,Professor&-Dean&-President&-Provost,DeptChair>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Professor==1 and b_Dean==0 and b_President==0 and b_Provost==0 and n_Professor_0Dean_0President_0Provost>0) then
			if(true) then
				n_DeptChair = n_DeptChair+1;
			endif;
			if(b_President==0) then
				n_DeptChair_0President = n_DeptChair_0President+1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_DeptChair==0 and b_President==0 and n_Professor_0Dean_0DeptChair_0President>0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President-1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0 and b_Provost==0 and n_Professor_0DeptChair_0President_0Provost>0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 22 -----------------
		// <Provost,DeanOfAdmissions&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 23 -----------------
		// <President,DeanOfAdmissions&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 24 -----------------
		// <Provost,Provost&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 25 -----------------
		// <President,Provost&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 26 -----------------
		// <Provost,DeanOfAdmissions&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_DeanOfAdmissions==1 and b_President==0 and n_DeanOfAdmissions_0President>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 27 -----------------
		// <President,DeanOfAdmissions&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_DeanOfAdmissions==1 and b_President==0 and n_DeanOfAdmissions_0President>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 28 -----------------
		// <Provost,Provost&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Provost==1 and b_President==0 and n_Provost_0President>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 29 -----------------
		// <President,Provost&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Provost==1 and b_President==0 and n_Provost_0President>0) then
			if(b_GradAdmissionsCommittee==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 30 -----------------
		// <Dean,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_AssistantProf==1 and b_President==0 and n_AssistantProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 31 -----------------
		// <Provost,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_AssistantProf==1 and b_President==0 and n_AssistantProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 32 -----------------
		// <President,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_AssistantProf==1 and b_President==0 and n_AssistantProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 33 -----------------
		// <Dean,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_Lecturer==1 and b_President==0 and n_Lecturer_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 34 -----------------
		// <Provost,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Lecturer==1 and b_President==0 and n_Lecturer_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 35 -----------------
		// <President,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Lecturer==1 and b_President==0 and n_Lecturer_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 36 -----------------
		// <Dean,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_AssociateProf==1 and b_President==0 and n_AssociateProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 37 -----------------
		// <Provost,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_AssociateProf==1 and b_President==0 and n_AssociateProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 38 -----------------
		// <President,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_AssociateProf==1 and b_President==0 and n_AssociateProf_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 39 -----------------
		// <Dean,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_Professor==1 and b_President==0 and n_Professor_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 40 -----------------
		// <Provost,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Professor==1 and b_President==0 and n_Professor_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 41 -----------------
		// <President,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Professor==1 and b_President==0 and n_Professor_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 42 -----------------
		// <Dean,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_Dean==1 and b_President==0 and n_Dean_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 43 -----------------
		// <Provost,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Dean==1 and b_President==0 and n_Dean_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 44 -----------------
		// <President,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Dean==1 and b_President==0 and n_Dean_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 45 -----------------
		// <Dean,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_DeptChair==1 and b_President==0 and n_DeptChair_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 46 -----------------
		// <Provost,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_DeptChair==1 and b_President==0 and n_DeptChair_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 47 -----------------
		// <President,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_DeptChair==1 and b_President==0 and n_DeptChair_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 48 -----------------
		// <Dean,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_Provost==1 and b_President==0 and n_Provost_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 49 -----------------
		// <Provost,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Provost==1 and b_President==0 and n_Provost_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 50 -----------------
		// <President,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Provost==1 and b_President==0 and n_Provost_0President>0) then
			if(b_AdmissionsOfficer==1) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer+1;
			endif;
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
		endif;

		//------------------ CAN_ASSIGN RULE NUMBER 51 -----------------
		// <President,Professor&-DeptChair&-President&-Provost,Dean>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Professor==1 and b_DeptChair==0 and b_President==0 and b_Provost==0 and n_Professor_0DeptChair_0President_0Provost>0) then
			if(b_Professor==1 and b_Dean==0 and b_President==0 and b_Provost==0 and n_Professor_0Dean_0President_0Provost>0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost-1;
			endif;
			if(true) then
				n_Dean = n_Dean+1;
			endif;
			if(b_President==0) then
				n_Dean_0President = n_Dean_0President+1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_DeptChair==0 and b_President==0 and n_Professor_0Dean_0DeptChair_0President>0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 0 ---------------------
		// <SUPER_ROLE,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_SUPER_ROLE==1 and n_SUPER_ROLE>0 and b_AdmissionsOfficer==1) then
			if(b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 1 ---------------------
		// <DeptChair,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_DeptChair==1 and n_DeptChair>0 and b_GradAdmissionsCommittee==1) then
			if(b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer-1;
			endif;
			if(b_DeanOfAdmissions==1) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee+1;
			endif;
			if(b_Provost==1) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 2 ---------------------
		// <President,DeanOfAdmissions>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_DeanOfAdmissions==1) then
			if(b_DeanOfAdmissions==1 and b_GradAdmissionsCommittee==0 and n_DeanOfAdmissions_0GradAdmissionsCommittee>0) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee-1;
			endif;
			if(b_DeanOfAdmissions==1 and b_President==0 and n_DeanOfAdmissions_0President>0) then
				n_DeanOfAdmissions_0President = n_DeanOfAdmissions_0President-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 3 ---------------------
		// <President,Lecturer>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Lecturer==1) then
			if(b_Lecturer==1 and b_President==0 and n_Lecturer_0President>0) then
				n_Lecturer_0President = n_Lecturer_0President-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 4 ---------------------
		// <President,AssistantProf>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_AssistantProf==1) then
			if(b_AssistantProf==1 and b_President==0 and n_AssistantProf_0President>0) then
				n_AssistantProf_0President = n_AssistantProf_0President-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 5 ---------------------
		// <President,AssociateProf>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_AssociateProf==1) then
			if(b_AssociateProf==1 and b_President==0 and n_AssociateProf_0President>0) then
				n_AssociateProf_0President = n_AssociateProf_0President-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 6 ---------------------
		// <President,Professor>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Professor==1) then
			if(b_Professor==1 and b_Dean==0 and b_President==0 and b_Provost==0 and n_Professor_0Dean_0President_0Provost>0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost-1;
			endif;
			if(b_Professor==1 and b_President==0 and n_Professor_0President>0) then
				n_Professor_0President = n_Professor_0President-1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_DeptChair==0 and b_President==0 and n_Professor_0Dean_0DeptChair_0President>0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President-1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0 and b_Provost==0 and n_Professor_0DeptChair_0President_0Provost>0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 7 ---------------------
		// <President,Provost>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Provost==1) then
			if(b_Professor==1 and b_Dean==0 and b_President==0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost+1;
			endif;
			if(b_Provost==1 and b_GradAdmissionsCommittee==0 and n_Provost_0GradAdmissionsCommittee>0) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee-1;
			endif;
			if(b_Provost==1 and b_President==0 and n_Provost_0President>0) then
				n_Provost_0President = n_Provost_0President-1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost+1;
			endif;
			if(b_Provost==1 and n_Provost>0) then
				n_Provost = n_Provost-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 8 ---------------------
		// <Provost,Dean>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_Dean==1) then
			if(b_Professor==1 and b_President==0 and b_Provost==0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost+1;
			endif;
			if(b_Dean==1 and n_Dean>0) then
				n_Dean = n_Dean-1;
			endif;
			if(b_Dean==1 and b_President==0 and n_Dean_0President>0) then
				n_Dean_0President = n_Dean_0President-1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 9 ---------------------
		// <Dean,DeptChair>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_DeptChair==1) then
			if(b_DeptChair==1 and n_DeptChair>0) then
				n_DeptChair = n_DeptChair-1;
			endif;
			if(b_DeptChair==1 and b_President==0 and n_DeptChair_0President>0) then
				n_DeptChair_0President = n_DeptChair_0President-1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_President==0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President+1;
			endif;
			if(b_Professor==1 and b_President==0 and b_Provost==0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 10 ---------------------
		// <Provost,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_AdmissionsOfficer==1) then
			if(b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 11 ---------------------
		// <President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_AdmissionsOfficer==1) then
			if(b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer-1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 12 ---------------------
		// <Dean,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Dean==1 and n_Dean>0 and b_GradAdmissionsCommittee==1) then
			if(b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer-1;
			endif;
			if(b_DeanOfAdmissions==1) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee+1;
			endif;
			if(b_Provost==1) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 13 ---------------------
		// <Provost,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_GradAdmissionsCommittee==1) then
			if(b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer-1;
			endif;
			if(b_DeanOfAdmissions==1) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee+1;
			endif;
			if(b_Provost==1) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 14 ---------------------
		// <President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_GradAdmissionsCommittee==1) then
			if(b_GradAdmissionsCommittee==1 and b_AdmissionsOfficer==1 and n_GradAdmissionsCommittee_AdmissionsOfficer>0) then
				n_GradAdmissionsCommittee_AdmissionsOfficer = n_GradAdmissionsCommittee_AdmissionsOfficer-1;
			endif;
			if(b_DeanOfAdmissions==1) then
				n_DeanOfAdmissions_0GradAdmissionsCommittee = n_DeanOfAdmissions_0GradAdmissionsCommittee+1;
			endif;
			if(b_Provost==1) then
				n_Provost_0GradAdmissionsCommittee = n_Provost_0GradAdmissionsCommittee+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 15 ---------------------
		// <President,Dean>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_Dean==1) then
			if(b_Professor==1 and b_President==0 and b_Provost==0) then
				n_Professor_0Dean_0President_0Provost = n_Professor_0Dean_0President_0Provost+1;
			endif;
			if(b_Dean==1 and n_Dean>0) then
				n_Dean = n_Dean-1;
			endif;
			if(b_Dean==1 and b_President==0 and n_Dean_0President>0) then
				n_Dean_0President = n_Dean_0President-1;
			endif;
			if(b_Professor==1 and b_DeptChair==0 and b_President==0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 16 ---------------------
		// <Provost,DeptChair>
		//------------------------------------------------------------------
		if(brandom and d_Provost==1 and n_Provost>0 and b_DeptChair==1) then
			if(b_DeptChair==1 and n_DeptChair>0) then
				n_DeptChair = n_DeptChair-1;
			endif;
			if(b_DeptChair==1 and b_President==0 and n_DeptChair_0President>0) then
				n_DeptChair_0President = n_DeptChair_0President-1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_President==0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President+1;
			endif;
			if(b_Professor==1 and b_President==0 and b_Provost==0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost+1;
			endif;
		endif;

		//------------------- CAN_REVOKE RULE NUMBER 17 ---------------------
		// <President,DeptChair>
		//------------------------------------------------------------------
		if(brandom and d_President==1 and n_President>0 and b_DeptChair==1) then
			if(b_DeptChair==1 and n_DeptChair>0) then
				n_DeptChair = n_DeptChair-1;
			endif;
			if(b_DeptChair==1 and b_President==0 and n_DeptChair_0President>0) then
				n_DeptChair_0President = n_DeptChair_0President-1;
			endif;
			if(b_Professor==1 and b_Dean==0 and b_President==0) then
				n_Professor_0Dean_0DeptChair_0President = n_Professor_0Dean_0DeptChair_0President+1;
			endif;
			if(b_Professor==1 and b_President==0 and b_Provost==0) then
				n_Professor_0DeptChair_0President_0Provost = n_Professor_0DeptChair_0President_0Provost+1;
			endif;
		endif;

		//------------ ERROR Query ---------------//
		if (n_target>0) then
			skip;
		endif;
	done;  //End while loop
end  //End main