#include <stdio.h>
_Bool nondet_bool();

//---------- VARIABLES DECLARATION ---------
int	track_0_AdmissionsOfficer,
	track_0_AssistantProf,
	track_0_AssociateProf,
	track_0_Dean,
	track_0_DeanOfAdmissions,
	track_0_DeptChair,
	track_0_GradAdmissionsCommittee,
	track_0_Lecturer,
	track_0_President,
	track_0_Professor,
	track_0_Provost,
	track_0_target,
	track_0_SUPER_ROLE,
	track_1_AdmissionsOfficer,
	track_1_AssistantProf,
	track_1_AssociateProf,
	track_1_Dean,
	track_1_DeanOfAdmissions,
	track_1_DeptChair,
	track_1_GradAdmissionsCommittee,
	track_1_Lecturer,
	track_1_President,
	track_1_Professor,
	track_1_Provost,
	track_1_target,
	track_1_SUPER_ROLE,
	track_2_AdmissionsOfficer,
	track_2_AssistantProf,
	track_2_AssociateProf,
	track_2_Dean,
	track_2_DeanOfAdmissions,
	track_2_DeptChair,
	track_2_GradAdmissionsCommittee,
	track_2_Lecturer,
	track_2_President,
	track_2_Professor,
	track_2_Provost,
	track_2_target,
	track_2_SUPER_ROLE,
	track_3_AdmissionsOfficer,
	track_3_AssistantProf,
	track_3_AssociateProf,
	track_3_Dean,
	track_3_DeanOfAdmissions,
	track_3_DeptChair,
	track_3_GradAdmissionsCommittee,
	track_3_Lecturer,
	track_3_President,
	track_3_Professor,
	track_3_Provost,
	track_3_target,
	track_3_SUPER_ROLE,
	track_4_AdmissionsOfficer,
	track_4_AssistantProf,
	track_4_AssociateProf,
	track_4_Dean,
	track_4_DeanOfAdmissions,
	track_4_DeptChair,
	track_4_GradAdmissionsCommittee,
	track_4_Lecturer,
	track_4_President,
	track_4_Professor,
	track_4_Provost,
	track_4_target,
	track_4_SUPER_ROLE,
	track_5_AdmissionsOfficer,
	track_5_AssistantProf,
	track_5_AssociateProf,
	track_5_Dean,
	track_5_DeanOfAdmissions,
	track_5_DeptChair,
	track_5_GradAdmissionsCommittee,
	track_5_Lecturer,
	track_5_President,
	track_5_Professor,
	track_5_Provost,
	track_5_target,
	track_5_SUPER_ROLE,
	b_0,
	b_1,
	b_2,
	b_3,
	b_4,
	b_5;

//---------- BEGIN MAIN PROGRAM ---------
int main()
{

	//---------- INITIALIZE VARIABLES ---------
	b_0 = 0;
	b_1 = 0;
	b_2 = 0;
	b_3 = 0;
	b_4 = 0;
	b_5 = 0;

	track_0_AdmissionsOfficer = 0;
	track_0_AssistantProf = 0;
	track_0_AssociateProf = 0;
	track_0_Dean = 0;
	track_0_DeanOfAdmissions = 0;
	track_0_DeptChair = 0;
	track_0_GradAdmissionsCommittee = 0;
	track_0_Lecturer = 0;
	track_0_President = 0;
	track_0_Professor = 0;
	track_0_Provost = 0;
	track_0_target = 0;
	track_0_SUPER_ROLE = 0;
	track_1_AdmissionsOfficer = 0;
	track_1_AssistantProf = 0;
	track_1_AssociateProf = 0;
	track_1_Dean = 0;
	track_1_DeanOfAdmissions = 0;
	track_1_DeptChair = 0;
	track_1_GradAdmissionsCommittee = 0;
	track_1_Lecturer = 0;
	track_1_President = 0;
	track_1_Professor = 0;
	track_1_Provost = 0;
	track_1_target = 0;
	track_1_SUPER_ROLE = 0;
	track_2_AdmissionsOfficer = 0;
	track_2_AssistantProf = 0;
	track_2_AssociateProf = 0;
	track_2_Dean = 0;
	track_2_DeanOfAdmissions = 0;
	track_2_DeptChair = 0;
	track_2_GradAdmissionsCommittee = 0;
	track_2_Lecturer = 0;
	track_2_President = 0;
	track_2_Professor = 0;
	track_2_Provost = 0;
	track_2_target = 0;
	track_2_SUPER_ROLE = 0;
	track_3_AdmissionsOfficer = 0;
	track_3_AssistantProf = 0;
	track_3_AssociateProf = 0;
	track_3_Dean = 0;
	track_3_DeanOfAdmissions = 0;
	track_3_DeptChair = 0;
	track_3_GradAdmissionsCommittee = 0;
	track_3_Lecturer = 0;
	track_3_President = 0;
	track_3_Professor = 0;
	track_3_Provost = 0;
	track_3_target = 0;
	track_3_SUPER_ROLE = 0;
	track_4_AdmissionsOfficer = 0;
	track_4_AssistantProf = 0;
	track_4_AssociateProf = 0;
	track_4_Dean = 0;
	track_4_DeanOfAdmissions = 0;
	track_4_DeptChair = 0;
	track_4_GradAdmissionsCommittee = 0;
	track_4_Lecturer = 0;
	track_4_President = 0;
	track_4_Professor = 0;
	track_4_Provost = 0;
	track_4_target = 0;
	track_4_SUPER_ROLE = 0;
	track_5_AdmissionsOfficer = 0;
	track_5_AssistantProf = 0;
	track_5_AssociateProf = 0;
	track_5_Dean = 0;
	track_5_DeanOfAdmissions = 0;
	track_5_DeptChair = 0;
	track_5_GradAdmissionsCommittee = 0;
	track_5_Lecturer = 0;
	track_5_President = 0;
	track_5_Professor = 0;
	track_5_Provost = 0;
	track_5_target = 0;
	track_5_SUPER_ROLE = 0;

	//---------- CONFIGURATION_USERS ---------
	//Configuration of user0
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
		}
		else if (!b_1) {
			b_1 = 1;
		}
		else if (!b_2) {
			b_2 = 1;
		}
		else if (!b_3) {
			b_3 = 1;
		}
		else if (!b_4) {
			b_4 = 1;
		}
		else if (!b_5) {
			b_5 = 1;
		}
	}

	//Configuration of user1
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Dean = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Dean = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Dean = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Dean = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Dean = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Dean = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of SUPER_USER
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_DeptChair = 1;
			track_0_Professor = 1;
			track_0_SUPER_ROLE = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_DeptChair = 1;
			track_1_Professor = 1;
			track_1_SUPER_ROLE = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_DeptChair = 1;
			track_2_Professor = 1;
			track_2_SUPER_ROLE = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_DeptChair = 1;
			track_3_Professor = 1;
			track_3_SUPER_ROLE = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_DeptChair = 1;
			track_4_Professor = 1;
			track_4_SUPER_ROLE = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_DeptChair = 1;
			track_5_Professor = 1;
			track_5_SUPER_ROLE = 1;
		}
	}

	//Configuration of user3
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_GradAdmissionsCommittee = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_GradAdmissionsCommittee = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_GradAdmissionsCommittee = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_GradAdmissionsCommittee = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_GradAdmissionsCommittee = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_GradAdmissionsCommittee = 1;
		}
	}

	//Configuration of user4
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
		}
		else if (!b_1) {
			b_1 = 1;
		}
		else if (!b_2) {
			b_2 = 1;
		}
		else if (!b_3) {
			b_3 = 1;
		}
		else if (!b_4) {
			b_4 = 1;
		}
		else if (!b_5) {
			b_5 = 1;
		}
	}

	//Configuration of user5
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_DeanOfAdmissions = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_DeanOfAdmissions = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_DeanOfAdmissions = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_DeanOfAdmissions = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_DeanOfAdmissions = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_DeanOfAdmissions = 1;
		}
	}

	//Configuration of user6
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Provost = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Provost = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Provost = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Provost = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Provost = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Provost = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of user7
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AdmissionsOfficer = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AdmissionsOfficer = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AdmissionsOfficer = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AdmissionsOfficer = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AdmissionsOfficer = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AdmissionsOfficer = 1;
		}
	}

	//Configuration of user8
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Lecturer = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Lecturer = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Lecturer = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Lecturer = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Lecturer = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Lecturer = 1;
		}
	}

	//Configuration of user9
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Lecturer = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Lecturer = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Lecturer = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Lecturer = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Lecturer = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Lecturer = 1;
		}
	}

	//Configuration of user10
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Lecturer = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Lecturer = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Lecturer = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Lecturer = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Lecturer = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Lecturer = 1;
		}
	}

	//Configuration of user11
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Lecturer = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Lecturer = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Lecturer = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Lecturer = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Lecturer = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Lecturer = 1;
		}
	}

	//Configuration of user12
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Lecturer = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Lecturer = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Lecturer = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Lecturer = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Lecturer = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Lecturer = 1;
		}
	}

	//Configuration of user13
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Lecturer = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Lecturer = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Lecturer = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Lecturer = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Lecturer = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Lecturer = 1;
		}
	}

	//Configuration of user108
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of user109
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of user110
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of user111
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of user112
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of user113
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_Professor = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_Professor = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_Professor = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_Professor = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_Professor = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_Professor = 1;
		}
	}

	//Configuration of user138
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssistantProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssistantProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssistantProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssistantProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssistantProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssistantProf = 1;
		}
	}

	//Configuration of user139
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssistantProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssistantProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssistantProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssistantProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssistantProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssistantProf = 1;
		}
	}

	//Configuration of user140
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssistantProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssistantProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssistantProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssistantProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssistantProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssistantProf = 1;
		}
	}

	//Configuration of user141
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssistantProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssistantProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssistantProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssistantProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssistantProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssistantProf = 1;
		}
	}

	//Configuration of user142
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssistantProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssistantProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssistantProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssistantProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssistantProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssistantProf = 1;
		}
	}

	//Configuration of user143
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssistantProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssistantProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssistantProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssistantProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssistantProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssistantProf = 1;
		}
	}

	//Configuration of user178
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssociateProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssociateProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssociateProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssociateProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssociateProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssociateProf = 1;
		}
	}

	//Configuration of user179
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssociateProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssociateProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssociateProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssociateProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssociateProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssociateProf = 1;
		}
	}

	//Configuration of user180
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssociateProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssociateProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssociateProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssociateProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssociateProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssociateProf = 1;
		}
	}

	//Configuration of user181
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssociateProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssociateProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssociateProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssociateProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssociateProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssociateProf = 1;
		}
	}

	//Configuration of user182
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssociateProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssociateProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssociateProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssociateProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssociateProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssociateProf = 1;
		}
	}

	//Configuration of user183
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
			track_0_AssociateProf = 1;
		}
		else if (!b_1) {
			b_1 = 1;
			track_1_AssociateProf = 1;
		}
		else if (!b_2) {
			b_2 = 1;
			track_2_AssociateProf = 1;
		}
		else if (!b_3) {
			b_3 = 1;
			track_3_AssociateProf = 1;
		}
		else if (!b_4) {
			b_4 = 1;
			track_4_AssociateProf = 1;
		}
		else if (!b_5) {
			b_5 = 1;
			track_5_AssociateProf = 1;
		}
	}

	//Configuration of user228
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
		}
		else if (!b_1) {
			b_1 = 1;
		}
		else if (!b_2) {
			b_2 = 1;
		}
		else if (!b_3) {
			b_3 = 1;
		}
		else if (!b_4) {
			b_4 = 1;
		}
		else if (!b_5) {
			b_5 = 1;
		}
	}

	//Configuration of user229
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
		}
		else if (!b_1) {
			b_1 = 1;
		}
		else if (!b_2) {
			b_2 = 1;
		}
		else if (!b_3) {
			b_3 = 1;
		}
		else if (!b_4) {
			b_4 = 1;
		}
		else if (!b_5) {
			b_5 = 1;
		}
	}

	//Configuration of user230
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
		}
		else if (!b_1) {
			b_1 = 1;
		}
		else if (!b_2) {
			b_2 = 1;
		}
		else if (!b_3) {
			b_3 = 1;
		}
		else if (!b_4) {
			b_4 = 1;
		}
		else if (!b_5) {
			b_5 = 1;
		}
	}

	//Configuration of user231
	if (nondet_bool()){
		if (!b_0) {
			b_0 = 1;
		}
		else if (!b_1) {
			b_1 = 1;
		}
		else if (!b_2) {
			b_2 = 1;
		}
		else if (!b_3) {
			b_3 = 1;
		}
		else if (!b_4) {
			b_4 = 1;
		}
		else if (!b_5) {
			b_5 = 1;
		}
	}

	//---------- SIMULATION OF RULES ---------
	while(1){
		//------------------ CAN_ASSIGN RULE NUMBER 0 -----------------
		// <SUPER_ROLE,GradAdmissionsCommittee&AdmissionsOfficer,target>
		//------------------------------------------------------------------
		if(track_0_SUPER_ROLE || track_1_SUPER_ROLE || track_2_SUPER_ROLE || track_3_SUPER_ROLE || track_4_SUPER_ROLE || track_5_SUPER_ROLE){
			if(nondet_bool()){
				if(b_0 && track_0_GradAdmissionsCommittee && track_0_AdmissionsOfficer){
					track_0_target = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_GradAdmissionsCommittee && track_1_AdmissionsOfficer){
					track_1_target = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_GradAdmissionsCommittee && track_2_AdmissionsOfficer){
					track_2_target = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_GradAdmissionsCommittee && track_3_AdmissionsOfficer){
					track_3_target = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_GradAdmissionsCommittee && track_4_AdmissionsOfficer){
					track_4_target = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_GradAdmissionsCommittee && track_5_AdmissionsOfficer){
					track_5_target = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 1 -----------------
		// <President,TRUE,Professor>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0){
					track_0_Professor = 1;
				}
			}
			if(nondet_bool()){
				if(b_1){
					track_1_Professor = 1;
				}
			}
			if(nondet_bool()){
				if(b_2){
					track_2_Professor = 1;
				}
			}
			if(nondet_bool()){
				if(b_3){
					track_3_Professor = 1;
				}
			}
			if(nondet_bool()){
				if(b_4){
					track_4_Professor = 1;
				}
			}
			if(nondet_bool()){
				if(b_5){
					track_5_Professor = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 2 -----------------
		// <President,TRUE,DeanOfAdmissions>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0){
					track_0_DeanOfAdmissions = 1;
				}
			}
			if(nondet_bool()){
				if(b_1){
					track_1_DeanOfAdmissions = 1;
				}
			}
			if(nondet_bool()){
				if(b_2){
					track_2_DeanOfAdmissions = 1;
				}
			}
			if(nondet_bool()){
				if(b_3){
					track_3_DeanOfAdmissions = 1;
				}
			}
			if(nondet_bool()){
				if(b_4){
					track_4_DeanOfAdmissions = 1;
				}
			}
			if(nondet_bool()){
				if(b_5){
					track_5_DeanOfAdmissions = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 3 -----------------
		// <President,TRUE,Lecturer>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0){
					track_0_Lecturer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1){
					track_1_Lecturer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2){
					track_2_Lecturer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3){
					track_3_Lecturer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4){
					track_4_Lecturer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5){
					track_5_Lecturer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 4 -----------------
		// <President,TRUE,AssistantProf>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0){
					track_0_AssistantProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_1){
					track_1_AssistantProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_2){
					track_2_AssistantProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_3){
					track_3_AssistantProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_4){
					track_4_AssistantProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_5){
					track_5_AssistantProf = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 5 -----------------
		// <President,TRUE,AssociateProf>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0){
					track_0_AssociateProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_1){
					track_1_AssociateProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_2){
					track_2_AssociateProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_3){
					track_3_AssociateProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_4){
					track_4_AssociateProf = 1;
				}
			}
			if(nondet_bool()){
				if(b_5){
					track_5_AssociateProf = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 6 -----------------
		// <Dean,Professor&-Dean&-President&-Provost,DeptChair>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_Dean && !track_0_President && !track_0_Provost){
					track_0_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_Dean && !track_1_President && !track_1_Provost){
					track_1_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_Dean && !track_2_President && !track_2_Provost){
					track_2_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_Dean && !track_3_President && !track_3_Provost){
					track_3_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_Dean && !track_4_President && !track_4_Provost){
					track_4_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_Dean && !track_5_President && !track_5_Provost){
					track_5_DeptChair = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 7 -----------------
		// <SUPER_ROLE,DeanOfAdmissions&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_SUPER_ROLE || track_1_SUPER_ROLE || track_2_SUPER_ROLE || track_3_SUPER_ROLE || track_4_SUPER_ROLE || track_5_SUPER_ROLE){
			if(nondet_bool()){
				if(b_0 && track_0_DeanOfAdmissions && !track_0_GradAdmissionsCommittee){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeanOfAdmissions && !track_1_GradAdmissionsCommittee){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeanOfAdmissions && !track_2_GradAdmissionsCommittee){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeanOfAdmissions && !track_3_GradAdmissionsCommittee){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeanOfAdmissions && !track_4_GradAdmissionsCommittee){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeanOfAdmissions && !track_5_GradAdmissionsCommittee){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 8 -----------------
		// <SUPER_ROLE,Provost&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_SUPER_ROLE || track_1_SUPER_ROLE || track_2_SUPER_ROLE || track_3_SUPER_ROLE || track_4_SUPER_ROLE || track_5_SUPER_ROLE){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_GradAdmissionsCommittee){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_GradAdmissionsCommittee){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_GradAdmissionsCommittee){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_GradAdmissionsCommittee){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_GradAdmissionsCommittee){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_GradAdmissionsCommittee){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 9 -----------------
		// <SUPER_ROLE,DeanOfAdmissions&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_SUPER_ROLE || track_1_SUPER_ROLE || track_2_SUPER_ROLE || track_3_SUPER_ROLE || track_4_SUPER_ROLE || track_5_SUPER_ROLE){
			if(nondet_bool()){
				if(b_0 && track_0_DeanOfAdmissions && !track_0_President){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeanOfAdmissions && !track_1_President){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeanOfAdmissions && !track_2_President){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeanOfAdmissions && !track_3_President){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeanOfAdmissions && !track_4_President){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeanOfAdmissions && !track_5_President){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 10 -----------------
		// <SUPER_ROLE,Provost&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_SUPER_ROLE || track_1_SUPER_ROLE || track_2_SUPER_ROLE || track_3_SUPER_ROLE || track_4_SUPER_ROLE || track_5_SUPER_ROLE){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_President){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_President){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_President){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_President){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_President){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_President){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 11 -----------------
		// <DeptChair,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_AssistantProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssistantProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssistantProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssistantProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssistantProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssistantProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 12 -----------------
		// <DeptChair,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_Lecturer && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Lecturer && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Lecturer && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Lecturer && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Lecturer && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Lecturer && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 13 -----------------
		// <DeptChair,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_AssociateProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssociateProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssociateProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssociateProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssociateProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssociateProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 14 -----------------
		// <DeptChair,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 15 -----------------
		// <DeptChair,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_Dean && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Dean && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Dean && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Dean && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Dean && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Dean && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 16 -----------------
		// <DeptChair,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_DeptChair && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeptChair && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeptChair && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeptChair && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeptChair && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeptChair && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 17 -----------------
		// <DeptChair,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 18 -----------------
		// <President,Professor&-Dean&-DeptChair&-President,Provost>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_Dean && !track_0_DeptChair && !track_0_President){
					track_0_Provost = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_Dean && !track_1_DeptChair && !track_1_President){
					track_1_Provost = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_Dean && !track_2_DeptChair && !track_2_President){
					track_2_Provost = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_Dean && !track_3_DeptChair && !track_3_President){
					track_3_Provost = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_Dean && !track_4_DeptChair && !track_4_President){
					track_4_Provost = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_Dean && !track_5_DeptChair && !track_5_President){
					track_5_Provost = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 19 -----------------
		// <Provost,Professor&-DeptChair&-President&-Provost,Dean>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_DeptChair && !track_0_President && !track_0_Provost){
					track_0_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_DeptChair && !track_1_President && !track_1_Provost){
					track_1_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_DeptChair && !track_2_President && !track_2_Provost){
					track_2_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_DeptChair && !track_3_President && !track_3_Provost){
					track_3_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_DeptChair && !track_4_President && !track_4_Provost){
					track_4_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_DeptChair && !track_5_President && !track_5_Provost){
					track_5_Dean = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 20 -----------------
		// <Provost,Professor&-Dean&-President&-Provost,DeptChair>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_Dean && !track_0_President && !track_0_Provost){
					track_0_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_Dean && !track_1_President && !track_1_Provost){
					track_1_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_Dean && !track_2_President && !track_2_Provost){
					track_2_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_Dean && !track_3_President && !track_3_Provost){
					track_3_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_Dean && !track_4_President && !track_4_Provost){
					track_4_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_Dean && !track_5_President && !track_5_Provost){
					track_5_DeptChair = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 21 -----------------
		// <President,Professor&-Dean&-President&-Provost,DeptChair>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_Dean && !track_0_President && !track_0_Provost){
					track_0_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_Dean && !track_1_President && !track_1_Provost){
					track_1_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_Dean && !track_2_President && !track_2_Provost){
					track_2_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_Dean && !track_3_President && !track_3_Provost){
					track_3_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_Dean && !track_4_President && !track_4_Provost){
					track_4_DeptChair = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_Dean && !track_5_President && !track_5_Provost){
					track_5_DeptChair = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 22 -----------------
		// <Provost,DeanOfAdmissions&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_DeanOfAdmissions && !track_0_GradAdmissionsCommittee){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeanOfAdmissions && !track_1_GradAdmissionsCommittee){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeanOfAdmissions && !track_2_GradAdmissionsCommittee){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeanOfAdmissions && !track_3_GradAdmissionsCommittee){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeanOfAdmissions && !track_4_GradAdmissionsCommittee){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeanOfAdmissions && !track_5_GradAdmissionsCommittee){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 23 -----------------
		// <President,DeanOfAdmissions&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_DeanOfAdmissions && !track_0_GradAdmissionsCommittee){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeanOfAdmissions && !track_1_GradAdmissionsCommittee){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeanOfAdmissions && !track_2_GradAdmissionsCommittee){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeanOfAdmissions && !track_3_GradAdmissionsCommittee){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeanOfAdmissions && !track_4_GradAdmissionsCommittee){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeanOfAdmissions && !track_5_GradAdmissionsCommittee){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 24 -----------------
		// <Provost,Provost&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_GradAdmissionsCommittee){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_GradAdmissionsCommittee){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_GradAdmissionsCommittee){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_GradAdmissionsCommittee){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_GradAdmissionsCommittee){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_GradAdmissionsCommittee){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 25 -----------------
		// <President,Provost&-GradAdmissionsCommittee,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_GradAdmissionsCommittee){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_GradAdmissionsCommittee){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_GradAdmissionsCommittee){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_GradAdmissionsCommittee){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_GradAdmissionsCommittee){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_GradAdmissionsCommittee){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 26 -----------------
		// <Provost,DeanOfAdmissions&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_DeanOfAdmissions && !track_0_President){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeanOfAdmissions && !track_1_President){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeanOfAdmissions && !track_2_President){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeanOfAdmissions && !track_3_President){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeanOfAdmissions && !track_4_President){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeanOfAdmissions && !track_5_President){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 27 -----------------
		// <President,DeanOfAdmissions&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_DeanOfAdmissions && !track_0_President){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeanOfAdmissions && !track_1_President){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeanOfAdmissions && !track_2_President){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeanOfAdmissions && !track_3_President){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeanOfAdmissions && !track_4_President){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeanOfAdmissions && !track_5_President){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 28 -----------------
		// <Provost,Provost&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_President){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_President){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_President){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_President){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_President){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_President){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 29 -----------------
		// <President,Provost&-President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_President){
					track_0_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_President){
					track_1_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_President){
					track_2_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_President){
					track_3_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_President){
					track_4_AdmissionsOfficer = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_President){
					track_5_AdmissionsOfficer = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 30 -----------------
		// <Dean,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_AssistantProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssistantProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssistantProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssistantProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssistantProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssistantProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 31 -----------------
		// <Provost,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_AssistantProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssistantProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssistantProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssistantProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssistantProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssistantProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 32 -----------------
		// <President,AssistantProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_AssistantProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssistantProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssistantProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssistantProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssistantProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssistantProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 33 -----------------
		// <Dean,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_Lecturer && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Lecturer && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Lecturer && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Lecturer && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Lecturer && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Lecturer && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 34 -----------------
		// <Provost,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Lecturer && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Lecturer && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Lecturer && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Lecturer && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Lecturer && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Lecturer && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 35 -----------------
		// <President,Lecturer&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Lecturer && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Lecturer && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Lecturer && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Lecturer && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Lecturer && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Lecturer && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 36 -----------------
		// <Dean,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_AssociateProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssociateProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssociateProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssociateProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssociateProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssociateProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 37 -----------------
		// <Provost,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_AssociateProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssociateProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssociateProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssociateProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssociateProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssociateProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 38 -----------------
		// <President,AssociateProf&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_AssociateProf && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssociateProf && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssociateProf && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssociateProf && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssociateProf && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssociateProf && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 39 -----------------
		// <Dean,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 40 -----------------
		// <Provost,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 41 -----------------
		// <President,Professor&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 42 -----------------
		// <Dean,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_Dean && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Dean && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Dean && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Dean && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Dean && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Dean && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 43 -----------------
		// <Provost,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Dean && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Dean && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Dean && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Dean && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Dean && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Dean && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 44 -----------------
		// <President,Dean&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Dean && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Dean && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Dean && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Dean && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Dean && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Dean && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 45 -----------------
		// <Dean,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_DeptChair && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeptChair && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeptChair && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeptChair && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeptChair && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeptChair && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 46 -----------------
		// <Provost,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_DeptChair && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeptChair && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeptChair && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeptChair && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeptChair && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeptChair && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 47 -----------------
		// <President,DeptChair&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_DeptChair && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeptChair && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeptChair && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeptChair && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeptChair && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeptChair && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 48 -----------------
		// <Dean,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 49 -----------------
		// <Provost,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 50 -----------------
		// <President,Provost&-President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Provost && !track_0_President){
					track_0_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost && !track_1_President){
					track_1_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost && !track_2_President){
					track_2_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost && !track_3_President){
					track_3_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost && !track_4_President){
					track_4_GradAdmissionsCommittee = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost && !track_5_President){
					track_5_GradAdmissionsCommittee = 1;
				}
			}
		}
		//------------------ CAN_ASSIGN RULE NUMBER 51 -----------------
		// <President,Professor&-DeptChair&-President&-Provost,Dean>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Professor && !track_0_DeptChair && !track_0_President && !track_0_Provost){
					track_0_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor && !track_1_DeptChair && !track_1_President && !track_1_Provost){
					track_1_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor && !track_2_DeptChair && !track_2_President && !track_2_Provost){
					track_2_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor && !track_3_DeptChair && !track_3_President && !track_3_Provost){
					track_3_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor && !track_4_DeptChair && !track_4_President && !track_4_Provost){
					track_4_Dean = 1;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor && !track_5_DeptChair && !track_5_President && !track_5_Provost){
					track_5_Dean = 1;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 0 ---------------------
		// <SUPER_ROLE,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_SUPER_ROLE || track_1_SUPER_ROLE || track_2_SUPER_ROLE || track_3_SUPER_ROLE || track_4_SUPER_ROLE || track_5_SUPER_ROLE){
			if(nondet_bool()){
				if(b_0 && track_0_AdmissionsOfficer){
					track_0_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AdmissionsOfficer){
					track_1_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AdmissionsOfficer){
					track_2_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AdmissionsOfficer){
					track_3_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AdmissionsOfficer){
					track_4_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AdmissionsOfficer){
					track_5_AdmissionsOfficer = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 1 ---------------------
		// <DeptChair,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_DeptChair || track_1_DeptChair || track_2_DeptChair || track_3_DeptChair || track_4_DeptChair || track_5_DeptChair){
			if(nondet_bool()){
				if(b_0 && track_0_GradAdmissionsCommittee){
					track_0_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_GradAdmissionsCommittee){
					track_1_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_GradAdmissionsCommittee){
					track_2_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_GradAdmissionsCommittee){
					track_3_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_GradAdmissionsCommittee){
					track_4_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_GradAdmissionsCommittee){
					track_5_GradAdmissionsCommittee = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 2 ---------------------
		// <President,DeanOfAdmissions>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_DeanOfAdmissions){
					track_0_DeanOfAdmissions = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeanOfAdmissions){
					track_1_DeanOfAdmissions = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeanOfAdmissions){
					track_2_DeanOfAdmissions = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeanOfAdmissions){
					track_3_DeanOfAdmissions = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeanOfAdmissions){
					track_4_DeanOfAdmissions = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeanOfAdmissions){
					track_5_DeanOfAdmissions = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 3 ---------------------
		// <President,Lecturer>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Lecturer){
					track_0_Lecturer = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Lecturer){
					track_1_Lecturer = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Lecturer){
					track_2_Lecturer = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Lecturer){
					track_3_Lecturer = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Lecturer){
					track_4_Lecturer = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Lecturer){
					track_5_Lecturer = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 4 ---------------------
		// <President,AssistantProf>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_AssistantProf){
					track_0_AssistantProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssistantProf){
					track_1_AssistantProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssistantProf){
					track_2_AssistantProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssistantProf){
					track_3_AssistantProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssistantProf){
					track_4_AssistantProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssistantProf){
					track_5_AssistantProf = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 5 ---------------------
		// <President,AssociateProf>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_AssociateProf){
					track_0_AssociateProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AssociateProf){
					track_1_AssociateProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AssociateProf){
					track_2_AssociateProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AssociateProf){
					track_3_AssociateProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AssociateProf){
					track_4_AssociateProf = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AssociateProf){
					track_5_AssociateProf = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 6 ---------------------
		// <President,Professor>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Professor){
					track_0_Professor = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Professor){
					track_1_Professor = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Professor){
					track_2_Professor = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Professor){
					track_3_Professor = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Professor){
					track_4_Professor = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Professor){
					track_5_Professor = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 7 ---------------------
		// <President,Provost>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Provost){
					track_0_Provost = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Provost){
					track_1_Provost = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Provost){
					track_2_Provost = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Provost){
					track_3_Provost = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Provost){
					track_4_Provost = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Provost){
					track_5_Provost = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 8 ---------------------
		// <Provost,Dean>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_Dean){
					track_0_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Dean){
					track_1_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Dean){
					track_2_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Dean){
					track_3_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Dean){
					track_4_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Dean){
					track_5_Dean = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 9 ---------------------
		// <Dean,DeptChair>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_DeptChair){
					track_0_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeptChair){
					track_1_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeptChair){
					track_2_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeptChair){
					track_3_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeptChair){
					track_4_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeptChair){
					track_5_DeptChair = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 10 ---------------------
		// <Provost,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_AdmissionsOfficer){
					track_0_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AdmissionsOfficer){
					track_1_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AdmissionsOfficer){
					track_2_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AdmissionsOfficer){
					track_3_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AdmissionsOfficer){
					track_4_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AdmissionsOfficer){
					track_5_AdmissionsOfficer = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 11 ---------------------
		// <President,AdmissionsOfficer>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_AdmissionsOfficer){
					track_0_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_AdmissionsOfficer){
					track_1_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_AdmissionsOfficer){
					track_2_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_AdmissionsOfficer){
					track_3_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_AdmissionsOfficer){
					track_4_AdmissionsOfficer = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_AdmissionsOfficer){
					track_5_AdmissionsOfficer = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 12 ---------------------
		// <Dean,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Dean || track_1_Dean || track_2_Dean || track_3_Dean || track_4_Dean || track_5_Dean){
			if(nondet_bool()){
				if(b_0 && track_0_GradAdmissionsCommittee){
					track_0_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_GradAdmissionsCommittee){
					track_1_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_GradAdmissionsCommittee){
					track_2_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_GradAdmissionsCommittee){
					track_3_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_GradAdmissionsCommittee){
					track_4_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_GradAdmissionsCommittee){
					track_5_GradAdmissionsCommittee = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 13 ---------------------
		// <Provost,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_GradAdmissionsCommittee){
					track_0_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_GradAdmissionsCommittee){
					track_1_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_GradAdmissionsCommittee){
					track_2_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_GradAdmissionsCommittee){
					track_3_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_GradAdmissionsCommittee){
					track_4_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_GradAdmissionsCommittee){
					track_5_GradAdmissionsCommittee = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 14 ---------------------
		// <President,GradAdmissionsCommittee>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_GradAdmissionsCommittee){
					track_0_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_GradAdmissionsCommittee){
					track_1_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_GradAdmissionsCommittee){
					track_2_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_GradAdmissionsCommittee){
					track_3_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_GradAdmissionsCommittee){
					track_4_GradAdmissionsCommittee = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_GradAdmissionsCommittee){
					track_5_GradAdmissionsCommittee = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 15 ---------------------
		// <President,Dean>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_Dean){
					track_0_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_Dean){
					track_1_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_Dean){
					track_2_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_Dean){
					track_3_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_Dean){
					track_4_Dean = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_Dean){
					track_5_Dean = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 16 ---------------------
		// <Provost,DeptChair>
		//------------------------------------------------------------------
		if(track_0_Provost || track_1_Provost || track_2_Provost || track_3_Provost || track_4_Provost || track_5_Provost){
			if(nondet_bool()){
				if(b_0 && track_0_DeptChair){
					track_0_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeptChair){
					track_1_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeptChair){
					track_2_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeptChair){
					track_3_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeptChair){
					track_4_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeptChair){
					track_5_DeptChair = 0;
				}
			}
		}
		//------------------- CAN_REVOKE RULE NUMBER 17 ---------------------
		// <President,DeptChair>
		//------------------------------------------------------------------
		if(track_0_President || track_1_President || track_2_President || track_3_President || track_4_President || track_5_President){
			if(nondet_bool()){
				if(b_0 && track_0_DeptChair){
					track_0_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_1 && track_1_DeptChair){
					track_1_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_2 && track_2_DeptChair){
					track_2_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_3 && track_3_DeptChair){
					track_3_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_4 && track_4_DeptChair){
					track_4_DeptChair = 0;
				}
			}
			if(nondet_bool()){
				if(b_5 && track_5_DeptChair){
					track_5_DeptChair = 0;
				}
			}
		}
		//---------------Error------------
		if(track_0_target==1 || track_1_target==1 || track_2_target==1 || track_3_target==1 || track_4_target==1 || track_5_target==1){
			assert(0);
		}
	}

}