/* University dataset from
Schulte, Oliver, and Hassan Khosravi. "Learning graphical models for relational data via lattice search." Machine Learning 88.3 (2012): 331-368.

Downloaded from 
http://www.cs.sfu.ca/~oschulte/jbn/dataset.html
*/
begin(model(f1)).
capability(prof_id_5,student_id_5,capability_1).
capability(prof_id_6,student_id_5,capability_2).
capability(prof_id_7,student_id_7,capability_4).
capability(prof_id_7,student_id_8,capability_4).
capability(prof_id_6,student_id_8,capability_4).
capability(prof_id_6,student_id_9,capability_4).
capability(prof_id_9,student_id_10,capability_3).
capability(prof_id_7,student_id_11,capability_1).
capability(prof_id_8,student_id_12,capability_1).
capability(prof_id_8,student_id_13,capability_2).
capability(prof_id_5,student_id_14,capability_2).
capability(prof_id_6,student_id_15,capability_1).
capability(prof_id_6,student_id_16,capability_2).
capability(prof_id_4,student_id_17,capability_3).
capability(prof_id_5,student_id_18,capability_3).
capability(prof_id_7,student_id_19,capability_5).
capability(prof_id_7,student_id_20,capability_1).
capability(prof_id_8,student_id_21,capability_3).
capability(prof_id_7,student_id_22,capability_3).
capability(prof_id_6,student_id_23,capability_5).
capability(prof_id_6,student_id_24,capability_5).
capability(prof_id_6,student_id_25,capability_5).
capability(prof_id_5,student_id_26,capability_4).
capability(prof_id_5,student_id_27,capability_3).
capability(prof_id_5,student_id_28,capability_3).
salary(prof_id_5,student_id_5,salary_low).
salary(prof_id_6,student_id_5,salary_low).
salary(prof_id_7,student_id_7,salary_high).
salary(prof_id_7,student_id_8,salary_high).
salary(prof_id_6,student_id_8,salary_high).
salary(prof_id_6,student_id_9,salary_high).
salary(prof_id_9,student_id_10,salary_high).
salary(prof_id_7,student_id_11,salary_med).
salary(prof_id_8,student_id_12,salary_med).
salary(prof_id_8,student_id_13,salary_med).
salary(prof_id_5,student_id_14,salary_low).
salary(prof_id_6,student_id_15,salary_med).
salary(prof_id_6,student_id_16,salary_med).
salary(prof_id_4,student_id_17,salary_med).
salary(prof_id_5,student_id_18,salary_high).
salary(prof_id_7,student_id_19,salary_high).
salary(prof_id_7,student_id_20,salary_low).
salary(prof_id_8,student_id_21,salary_low).
salary(prof_id_7,student_id_22,salary_med).
salary(prof_id_6,student_id_23,salary_high).
salary(prof_id_6,student_id_24,salary_high).
salary(prof_id_6,student_id_25,salary_high).
salary(prof_id_5,student_id_26,salary_high).
salary(prof_id_5,student_id_27,salary_med).
salary(prof_id_5,student_id_28,salary_med).
diff(course_id_4,diff_1).
diff(course_id_5,diff_2).
diff(course_id_6,diff_1).
diff(course_id_7,diff_2).
diff(course_id_8,diff_1).
diff(course_id_9,diff_2).
diff(course_id_10,diff_1).
diff(course_id_11,diff_2).
diff(course_id_12,diff_1).
diff(course_id_13,diff_2).
popularity(prof_id_4,popularity_2).
popularity(prof_id_5,popularity_2).
popularity(prof_id_6,popularity_2).
popularity(prof_id_7,popularity_2).
popularity(prof_id_8,popularity_1).
popularity(prof_id_9,popularity_1).
teachingability(prof_id_4,teachingability_3).
teachingability(prof_id_5,teachingability_3).
teachingability(prof_id_6,teachingability_3).
teachingability(prof_id_7,teachingability_2).
teachingability(prof_id_8,teachingability_2).
teachingability(prof_id_9,teachingability_2).
grade(course_id_4,student_id_4,grade_1).
grade(course_id_4,student_id_6,grade_1).
grade(course_id_4,student_id_7,grade_1).
grade(course_id_4,student_id_12,grade_2).
grade(course_id_4,student_id_18,grade_2).
grade(course_id_4,student_id_29,grade_3).
grade(course_id_4,student_id_38,grade_4).
grade(course_id_4,student_id_40,grade_1).
grade(course_id_5,student_id_4,grade_1).
grade(course_id_5,student_id_5,grade_2).
grade(course_id_5,student_id_6,grade_2).
grade(course_id_5,student_id_15,grade_2).
grade(course_id_5,student_id_18,grade_3).
grade(course_id_5,student_id_25,grade_3).
grade(course_id_5,student_id_29,grade_4).
grade(course_id_5,student_id_34,grade_3).
grade(course_id_5,student_id_38,grade_4).
grade(course_id_5,student_id_39,grade_1).
grade(course_id_5,student_id_41,grade_1).
grade(course_id_6,student_id_4,grade_1).
grade(course_id_6,student_id_6,grade_1).
grade(course_id_6,student_id_7,grade_1).
grade(course_id_6,student_id_9,grade_1).
grade(course_id_6,student_id_13,grade_1).
grade(course_id_6,student_id_19,grade_2).
grade(course_id_6,student_id_25,grade_3).
grade(course_id_6,student_id_30,grade_4).
grade(course_id_6,student_id_41,grade_1).
grade(course_id_7,student_id_4,grade_2).
grade(course_id_7,student_id_5,grade_2).
grade(course_id_7,student_id_9,grade_2).
grade(course_id_7,student_id_15,grade_2).
grade(course_id_7,student_id_20,grade_2).
grade(course_id_7,student_id_30,grade_4).
grade(course_id_7,student_id_40,grade_1).
grade(course_id_8,student_id_5,grade_1).
grade(course_id_8,student_id_6,grade_1).
grade(course_id_8,student_id_9,grade_1).
grade(course_id_8,student_id_10,grade_1).
grade(course_id_8,student_id_11,grade_2).
grade(course_id_8,student_id_14,grade_1).
grade(course_id_8,student_id_20,grade_3).
grade(course_id_8,student_id_22,grade_3).
grade(course_id_8,student_id_30,grade_4).
grade(course_id_8,student_id_41,grade_1).
grade(course_id_9,student_id_6,grade_1).
grade(course_id_9,student_id_10,grade_2).
grade(course_id_9,student_id_12,grade_2).
grade(course_id_9,student_id_15,grade_2).
grade(course_id_9,student_id_23,grade_2).
grade(course_id_9,student_id_31,grade_3).
grade(course_id_9,student_id_33,grade_3).
grade(course_id_9,student_id_35,grade_3).
grade(course_id_10,student_id_6,grade_1).
grade(course_id_10,student_id_11,grade_1).
grade(course_id_10,student_id_14,grade_1).
grade(course_id_10,student_id_17,grade_3).
grade(course_id_10,student_id_18,grade_1).
grade(course_id_10,student_id_23,grade_2).
grade(course_id_10,student_id_32,grade_3).
grade(course_id_10,student_id_36,grade_4).
grade(course_id_11,student_id_7,grade_2).
grade(course_id_11,student_id_8,grade_1).
grade(course_id_11,student_id_14,grade_2).
grade(course_id_11,student_id_16,grade_2).
grade(course_id_11,student_id_17,grade_2).
grade(course_id_11,student_id_23,grade_3).
grade(course_id_11,student_id_28,grade_4).
grade(course_id_11,student_id_32,grade_4).
grade(course_id_11,student_id_37,grade_3).
grade(course_id_11,student_id_41,grade_2).
grade(course_id_12,student_id_8,grade_1).
grade(course_id_12,student_id_10,grade_1).
grade(course_id_12,student_id_11,grade_1).
grade(course_id_12,student_id_17,grade_2).
grade(course_id_12,student_id_21,grade_1).
grade(course_id_12,student_id_22,grade_2).
grade(course_id_12,student_id_23,grade_1).
grade(course_id_12,student_id_24,grade_1).
grade(course_id_12,student_id_26,grade_2).
grade(course_id_12,student_id_28,grade_3).
grade(course_id_12,student_id_33,grade_4).
grade(course_id_12,student_id_37,grade_4).
grade(course_id_13,student_id_7,grade_2).
grade(course_id_13,student_id_14,grade_2).
grade(course_id_13,student_id_16,grade_3).
grade(course_id_13,student_id_21,grade_2).
grade(course_id_13,student_id_26,grade_3).
grade(course_id_13,student_id_27,grade_3).
grade(course_id_13,student_id_33,grade_4).
grade(course_id_13,student_id_37,grade_4).
grade(course_id_13,student_id_41,grade_2).
sat(course_id_4,student_id_4,sat_1).
sat(course_id_4,student_id_6,sat_1).
sat(course_id_4,student_id_7,sat_1).
sat(course_id_4,student_id_12,sat_2).
sat(course_id_4,student_id_18,sat_2).
sat(course_id_4,student_id_29,sat_2).
sat(course_id_4,student_id_38,sat_3).
sat(course_id_4,student_id_40,sat_1).
sat(course_id_5,student_id_4,sat_1).
sat(course_id_5,student_id_5,sat_2).
sat(course_id_5,student_id_6,sat_2).
sat(course_id_5,student_id_15,sat_1).
sat(course_id_5,student_id_18,sat_2).
sat(course_id_5,student_id_25,sat_2).
sat(course_id_5,student_id_29,sat_3).
sat(course_id_5,student_id_34,sat_2).
sat(course_id_5,student_id_38,sat_3).
sat(course_id_5,student_id_39,sat_1).
sat(course_id_5,student_id_41,sat_1).
sat(course_id_6,student_id_4,sat_1).
sat(course_id_6,student_id_6,sat_1).
sat(course_id_6,student_id_7,sat_1).
sat(course_id_6,student_id_9,sat_1).
sat(course_id_6,student_id_13,sat_1).
sat(course_id_6,student_id_19,sat_3).
sat(course_id_6,student_id_25,sat_3).
sat(course_id_6,student_id_30,sat_3).
sat(course_id_6,student_id_41,sat_1).
sat(course_id_7,student_id_4,sat_1).
sat(course_id_7,student_id_5,sat_2).
sat(course_id_7,student_id_9,sat_2).
sat(course_id_7,student_id_15,sat_1).
sat(course_id_7,student_id_20,sat_2).
sat(course_id_7,student_id_30,sat_3).
sat(course_id_7,student_id_40,sat_1).
sat(course_id_8,student_id_5,sat_1).
sat(course_id_8,student_id_6,sat_1).
sat(course_id_8,student_id_9,sat_2).
sat(course_id_8,student_id_10,sat_1).
sat(course_id_8,student_id_11,sat_2).
sat(course_id_8,student_id_14,sat_1).
sat(course_id_8,student_id_20,sat_3).
sat(course_id_8,student_id_22,sat_2).
sat(course_id_8,student_id_30,sat_3).
sat(course_id_8,student_id_41,sat_1).
sat(course_id_9,student_id_6,sat_1).
sat(course_id_9,student_id_10,sat_2).
sat(course_id_9,student_id_12,sat_1).
sat(course_id_9,student_id_15,sat_1).
sat(course_id_9,student_id_23,sat_2).
sat(course_id_9,student_id_31,sat_2).
sat(course_id_9,student_id_33,sat_2).
sat(course_id_9,student_id_35,sat_2).
sat(course_id_10,student_id_6,sat_1).
sat(course_id_10,student_id_11,sat_2).
sat(course_id_10,student_id_14,sat_1).
sat(course_id_10,student_id_17,sat_3).
sat(course_id_10,student_id_18,sat_1).
sat(course_id_10,student_id_23,sat_1).
sat(course_id_10,student_id_32,sat_2).
sat(course_id_10,student_id_36,sat_3).
sat(course_id_11,student_id_7,sat_1).
sat(course_id_11,student_id_8,sat_1).
sat(course_id_11,student_id_14,sat_1).
sat(course_id_11,student_id_16,sat_1).
sat(course_id_11,student_id_17,sat_1).
sat(course_id_11,student_id_23,sat_3).
sat(course_id_11,student_id_28,sat_3).
sat(course_id_11,student_id_32,sat_3).
sat(course_id_11,student_id_37,sat_3).
sat(course_id_11,student_id_41,sat_2).
sat(course_id_12,student_id_8,sat_1).
sat(course_id_12,student_id_10,sat_1).
sat(course_id_12,student_id_11,sat_2).
sat(course_id_12,student_id_17,sat_2).
sat(course_id_12,student_id_21,sat_1).
sat(course_id_12,student_id_22,sat_1).
sat(course_id_12,student_id_23,sat_1).
sat(course_id_12,student_id_24,sat_1).
sat(course_id_12,student_id_26,sat_3).
sat(course_id_12,student_id_28,sat_2).
sat(course_id_12,student_id_33,sat_3).
sat(course_id_12,student_id_37,sat_3).
sat(course_id_13,student_id_7,sat_1).
sat(course_id_13,student_id_14,sat_2).
sat(course_id_13,student_id_16,sat_2).
sat(course_id_13,student_id_21,sat_2).
sat(course_id_13,student_id_26,sat_3).
sat(course_id_13,student_id_27,sat_2).
sat(course_id_13,student_id_33,sat_3).
sat(course_id_13,student_id_37,sat_3).
sat(course_id_13,student_id_41,sat_2).
intelligence(student_id_4,intelligence_3).
intelligence(student_id_5,intelligence_3).
intelligence(student_id_6,intelligence_3).
intelligence(student_id_7,intelligence_3).
intelligence(student_id_8,intelligence_3).
intelligence(student_id_9,intelligence_3).
intelligence(student_id_10,intelligence_3).
intelligence(student_id_11,intelligence_3).
intelligence(student_id_12,intelligence_2).
intelligence(student_id_13,intelligence_2).
intelligence(student_id_14,intelligence_2).
intelligence(student_id_15,intelligence_2).
intelligence(student_id_16,intelligence_2).
intelligence(student_id_17,intelligence_2).
intelligence(student_id_18,intelligence_2).
intelligence(student_id_19,intelligence_2).
intelligence(student_id_20,intelligence_2).
intelligence(student_id_21,intelligence_2).
intelligence(student_id_22,intelligence_2).
intelligence(student_id_23,intelligence_2).
intelligence(student_id_24,intelligence_2).
intelligence(student_id_25,intelligence_1).
intelligence(student_id_26,intelligence_1).
intelligence(student_id_27,intelligence_1).
intelligence(student_id_28,intelligence_1).
intelligence(student_id_29,intelligence_1).
intelligence(student_id_30,intelligence_1).
intelligence(student_id_31,intelligence_1).
intelligence(student_id_32,intelligence_1).
intelligence(student_id_33,intelligence_1).
intelligence(student_id_34,intelligence_1).
intelligence(student_id_35,intelligence_1).
intelligence(student_id_36,intelligence_1).
intelligence(student_id_37,intelligence_1).
intelligence(student_id_38,intelligence_1).
intelligence(student_id_39,intelligence_3).
intelligence(student_id_40,intelligence_3).
intelligence(student_id_41,intelligence_3).
ranking(student_id_4,ranking_1).
ranking(student_id_5,ranking_1).
ranking(student_id_6,ranking_2).
ranking(student_id_7,ranking_1).
ranking(student_id_8,ranking_1).
ranking(student_id_9,ranking_2).
ranking(student_id_10,ranking_1).
ranking(student_id_11,ranking_2).
ranking(student_id_12,ranking_2).
ranking(student_id_13,ranking_2).
ranking(student_id_14,ranking_2).
ranking(student_id_15,ranking_3).
ranking(student_id_16,ranking_3).
ranking(student_id_17,ranking_3).
ranking(student_id_18,ranking_3).
ranking(student_id_19,ranking_3).
ranking(student_id_20,ranking_3).
ranking(student_id_21,ranking_2).
ranking(student_id_22,ranking_4).
ranking(student_id_23,ranking_3).
ranking(student_id_24,ranking_2).
ranking(student_id_25,ranking_4).
ranking(student_id_26,ranking_4).
ranking(student_id_27,ranking_4).
ranking(student_id_28,ranking_4).
ranking(student_id_29,ranking_5).
ranking(student_id_30,ranking_5).
ranking(student_id_31,ranking_5).
ranking(student_id_32,ranking_5).
ranking(student_id_33,ranking_5).
ranking(student_id_34,ranking_4).
ranking(student_id_35,ranking_4).
ranking(student_id_36,ranking_5).
ranking(student_id_37,ranking_5).
ranking(student_id_38,ranking_5).
ranking(student_id_39,ranking_1).
ranking(student_id_40,ranking_1).
ranking(student_id_41,ranking_1).
b_registration(course_id_4,student_id_4).
b_registration(course_id_4,student_id_6).
b_registration(course_id_4,student_id_7).
b_registration(course_id_4,student_id_12).
b_registration(course_id_4,student_id_18).
b_registration(course_id_4,student_id_29).
b_registration(course_id_4,student_id_38).
b_registration(course_id_4,student_id_40).
b_registration(course_id_5,student_id_4).
b_registration(course_id_5,student_id_5).
b_registration(course_id_5,student_id_6).
b_registration(course_id_5,student_id_15).
b_registration(course_id_5,student_id_18).
b_registration(course_id_5,student_id_25).
b_registration(course_id_5,student_id_29).
b_registration(course_id_5,student_id_34).
b_registration(course_id_5,student_id_38).
b_registration(course_id_5,student_id_39).
b_registration(course_id_5,student_id_41).
b_registration(course_id_6,student_id_4).
b_registration(course_id_6,student_id_6).
b_registration(course_id_6,student_id_7).
b_registration(course_id_6,student_id_9).
b_registration(course_id_6,student_id_13).
b_registration(course_id_6,student_id_19).
b_registration(course_id_6,student_id_25).
b_registration(course_id_6,student_id_30).
b_registration(course_id_6,student_id_41).
b_registration(course_id_7,student_id_4).
b_registration(course_id_7,student_id_5).
b_registration(course_id_7,student_id_9).
b_registration(course_id_7,student_id_15).
b_registration(course_id_7,student_id_20).
b_registration(course_id_7,student_id_30).
b_registration(course_id_7,student_id_40).
b_registration(course_id_8,student_id_5).
b_registration(course_id_8,student_id_6).
b_registration(course_id_8,student_id_9).
b_registration(course_id_8,student_id_10).
b_registration(course_id_8,student_id_11).
b_registration(course_id_8,student_id_14).
b_registration(course_id_8,student_id_20).
b_registration(course_id_8,student_id_22).
b_registration(course_id_8,student_id_30).
b_registration(course_id_8,student_id_41).
b_registration(course_id_9,student_id_6).
b_registration(course_id_9,student_id_10).
b_registration(course_id_9,student_id_12).
b_registration(course_id_9,student_id_15).
b_registration(course_id_9,student_id_23).
b_registration(course_id_9,student_id_31).
b_registration(course_id_9,student_id_33).
b_registration(course_id_9,student_id_35).
b_registration(course_id_10,student_id_6).
b_registration(course_id_10,student_id_11).
b_registration(course_id_10,student_id_14).
b_registration(course_id_10,student_id_17).
b_registration(course_id_10,student_id_18).
b_registration(course_id_10,student_id_23).
b_registration(course_id_10,student_id_32).
b_registration(course_id_10,student_id_36).
b_registration(course_id_11,student_id_7).
b_registration(course_id_11,student_id_8).
b_registration(course_id_11,student_id_14).
b_registration(course_id_11,student_id_16).
b_registration(course_id_11,student_id_17).
b_registration(course_id_11,student_id_23).
b_registration(course_id_11,student_id_28).
b_registration(course_id_11,student_id_32).
b_registration(course_id_11,student_id_37).
b_registration(course_id_11,student_id_41).
b_registration(course_id_12,student_id_8).
b_registration(course_id_12,student_id_10).
b_registration(course_id_12,student_id_11).
b_registration(course_id_12,student_id_17).
b_registration(course_id_12,student_id_21).
b_registration(course_id_12,student_id_22).
b_registration(course_id_12,student_id_23).
b_registration(course_id_12,student_id_24).
b_registration(course_id_12,student_id_26).
b_registration(course_id_12,student_id_28).
b_registration(course_id_12,student_id_33).
b_registration(course_id_12,student_id_37).
b_registration(course_id_13,student_id_7).
b_registration(course_id_13,student_id_14).
b_registration(course_id_13,student_id_16).
b_registration(course_id_13,student_id_21).
b_registration(course_id_13,student_id_26).
b_registration(course_id_13,student_id_27).
b_registration(course_id_13,student_id_33).
b_registration(course_id_13,student_id_37).
b_registration(course_id_13,student_id_41).
b_ra(prof_id_5,student_id_5).
b_ra(prof_id_6,student_id_5).
b_ra(prof_id_7,student_id_7).
b_ra(prof_id_7,student_id_8).
b_ra(prof_id_6,student_id_8).
b_ra(prof_id_6,student_id_9).
b_ra(prof_id_9,student_id_10).
b_ra(prof_id_7,student_id_11).
b_ra(prof_id_8,student_id_12).
b_ra(prof_id_8,student_id_13).
b_ra(prof_id_5,student_id_14).
b_ra(prof_id_6,student_id_15).
b_ra(prof_id_6,student_id_16).
b_ra(prof_id_4,student_id_17).
b_ra(prof_id_5,student_id_18).
b_ra(prof_id_7,student_id_19).
b_ra(prof_id_7,student_id_20).
b_ra(prof_id_8,student_id_21).
b_ra(prof_id_7,student_id_22).
b_ra(prof_id_6,student_id_23).
b_ra(prof_id_6,student_id_24).
b_ra(prof_id_6,student_id_25).
b_ra(prof_id_5,student_id_26).
b_ra(prof_id_5,student_id_27).
b_ra(prof_id_5,student_id_28).
rating(course_id_6,rating_2).
rating(course_id_9,rating_2).
neg(rating(course_id_6,rating_1)).
neg(rating(course_id_9,rating_1)).
end(model(f1)).
begin(model(f2)).
capability(prof_id_5,student_id_5,capability_1).
capability(prof_id_6,student_id_5,capability_2).
capability(prof_id_7,student_id_7,capability_4).
capability(prof_id_7,student_id_8,capability_4).
capability(prof_id_6,student_id_8,capability_4).
capability(prof_id_6,student_id_9,capability_4).
capability(prof_id_9,student_id_10,capability_3).
capability(prof_id_7,student_id_11,capability_1).
capability(prof_id_8,student_id_12,capability_1).
capability(prof_id_8,student_id_13,capability_2).
capability(prof_id_5,student_id_14,capability_2).
capability(prof_id_6,student_id_15,capability_1).
capability(prof_id_6,student_id_16,capability_2).
capability(prof_id_4,student_id_17,capability_3).
capability(prof_id_5,student_id_18,capability_3).
capability(prof_id_7,student_id_19,capability_5).
capability(prof_id_7,student_id_20,capability_1).
capability(prof_id_8,student_id_21,capability_3).
capability(prof_id_7,student_id_22,capability_3).
capability(prof_id_6,student_id_23,capability_5).
capability(prof_id_6,student_id_24,capability_5).
capability(prof_id_6,student_id_25,capability_5).
capability(prof_id_5,student_id_26,capability_4).
capability(prof_id_5,student_id_27,capability_3).
capability(prof_id_5,student_id_28,capability_3).
salary(prof_id_5,student_id_5,salary_low).
salary(prof_id_6,student_id_5,salary_low).
salary(prof_id_7,student_id_7,salary_high).
salary(prof_id_7,student_id_8,salary_high).
salary(prof_id_6,student_id_8,salary_high).
salary(prof_id_6,student_id_9,salary_high).
salary(prof_id_9,student_id_10,salary_high).
salary(prof_id_7,student_id_11,salary_med).
salary(prof_id_8,student_id_12,salary_med).
salary(prof_id_8,student_id_13,salary_med).
salary(prof_id_5,student_id_14,salary_low).
salary(prof_id_6,student_id_15,salary_med).
salary(prof_id_6,student_id_16,salary_med).
salary(prof_id_4,student_id_17,salary_med).
salary(prof_id_5,student_id_18,salary_high).
salary(prof_id_7,student_id_19,salary_high).
salary(prof_id_7,student_id_20,salary_low).
salary(prof_id_8,student_id_21,salary_low).
salary(prof_id_7,student_id_22,salary_med).
salary(prof_id_6,student_id_23,salary_high).
salary(prof_id_6,student_id_24,salary_high).
salary(prof_id_6,student_id_25,salary_high).
salary(prof_id_5,student_id_26,salary_high).
salary(prof_id_5,student_id_27,salary_med).
salary(prof_id_5,student_id_28,salary_med).
diff(course_id_4,diff_1).
diff(course_id_5,diff_2).
diff(course_id_6,diff_1).
diff(course_id_7,diff_2).
diff(course_id_8,diff_1).
diff(course_id_9,diff_2).
diff(course_id_10,diff_1).
diff(course_id_11,diff_2).
diff(course_id_12,diff_1).
diff(course_id_13,diff_2).
popularity(prof_id_4,popularity_2).
popularity(prof_id_5,popularity_2).
popularity(prof_id_6,popularity_2).
popularity(prof_id_7,popularity_2).
popularity(prof_id_8,popularity_1).
popularity(prof_id_9,popularity_1).
teachingability(prof_id_4,teachingability_3).
teachingability(prof_id_5,teachingability_3).
teachingability(prof_id_6,teachingability_3).
teachingability(prof_id_7,teachingability_2).
teachingability(prof_id_8,teachingability_2).
teachingability(prof_id_9,teachingability_2).
grade(course_id_4,student_id_4,grade_1).
grade(course_id_4,student_id_6,grade_1).
grade(course_id_4,student_id_7,grade_1).
grade(course_id_4,student_id_12,grade_2).
grade(course_id_4,student_id_18,grade_2).
grade(course_id_4,student_id_29,grade_3).
grade(course_id_4,student_id_38,grade_4).
grade(course_id_4,student_id_40,grade_1).
grade(course_id_5,student_id_4,grade_1).
grade(course_id_5,student_id_5,grade_2).
grade(course_id_5,student_id_6,grade_2).
grade(course_id_5,student_id_15,grade_2).
grade(course_id_5,student_id_18,grade_3).
grade(course_id_5,student_id_25,grade_3).
grade(course_id_5,student_id_29,grade_4).
grade(course_id_5,student_id_34,grade_3).
grade(course_id_5,student_id_38,grade_4).
grade(course_id_5,student_id_39,grade_1).
grade(course_id_5,student_id_41,grade_1).
grade(course_id_6,student_id_4,grade_1).
grade(course_id_6,student_id_6,grade_1).
grade(course_id_6,student_id_7,grade_1).
grade(course_id_6,student_id_9,grade_1).
grade(course_id_6,student_id_13,grade_1).
grade(course_id_6,student_id_19,grade_2).
grade(course_id_6,student_id_25,grade_3).
grade(course_id_6,student_id_30,grade_4).
grade(course_id_6,student_id_41,grade_1).
grade(course_id_7,student_id_4,grade_2).
grade(course_id_7,student_id_5,grade_2).
grade(course_id_7,student_id_9,grade_2).
grade(course_id_7,student_id_15,grade_2).
grade(course_id_7,student_id_20,grade_2).
grade(course_id_7,student_id_30,grade_4).
grade(course_id_7,student_id_40,grade_1).
grade(course_id_8,student_id_5,grade_1).
grade(course_id_8,student_id_6,grade_1).
grade(course_id_8,student_id_9,grade_1).
grade(course_id_8,student_id_10,grade_1).
grade(course_id_8,student_id_11,grade_2).
grade(course_id_8,student_id_14,grade_1).
grade(course_id_8,student_id_20,grade_3).
grade(course_id_8,student_id_22,grade_3).
grade(course_id_8,student_id_30,grade_4).
grade(course_id_8,student_id_41,grade_1).
grade(course_id_9,student_id_6,grade_1).
grade(course_id_9,student_id_10,grade_2).
grade(course_id_9,student_id_12,grade_2).
grade(course_id_9,student_id_15,grade_2).
grade(course_id_9,student_id_23,grade_2).
grade(course_id_9,student_id_31,grade_3).
grade(course_id_9,student_id_33,grade_3).
grade(course_id_9,student_id_35,grade_3).
grade(course_id_10,student_id_6,grade_1).
grade(course_id_10,student_id_11,grade_1).
grade(course_id_10,student_id_14,grade_1).
grade(course_id_10,student_id_17,grade_3).
grade(course_id_10,student_id_18,grade_1).
grade(course_id_10,student_id_23,grade_2).
grade(course_id_10,student_id_32,grade_3).
grade(course_id_10,student_id_36,grade_4).
grade(course_id_11,student_id_7,grade_2).
grade(course_id_11,student_id_8,grade_1).
grade(course_id_11,student_id_14,grade_2).
grade(course_id_11,student_id_16,grade_2).
grade(course_id_11,student_id_17,grade_2).
grade(course_id_11,student_id_23,grade_3).
grade(course_id_11,student_id_28,grade_4).
grade(course_id_11,student_id_32,grade_4).
grade(course_id_11,student_id_37,grade_3).
grade(course_id_11,student_id_41,grade_2).
grade(course_id_12,student_id_8,grade_1).
grade(course_id_12,student_id_10,grade_1).
grade(course_id_12,student_id_11,grade_1).
grade(course_id_12,student_id_17,grade_2).
grade(course_id_12,student_id_21,grade_1).
grade(course_id_12,student_id_22,grade_2).
grade(course_id_12,student_id_23,grade_1).
grade(course_id_12,student_id_24,grade_1).
grade(course_id_12,student_id_26,grade_2).
grade(course_id_12,student_id_28,grade_3).
grade(course_id_12,student_id_33,grade_4).
grade(course_id_12,student_id_37,grade_4).
grade(course_id_13,student_id_7,grade_2).
grade(course_id_13,student_id_14,grade_2).
grade(course_id_13,student_id_16,grade_3).
grade(course_id_13,student_id_21,grade_2).
grade(course_id_13,student_id_26,grade_3).
grade(course_id_13,student_id_27,grade_3).
grade(course_id_13,student_id_33,grade_4).
grade(course_id_13,student_id_37,grade_4).
grade(course_id_13,student_id_41,grade_2).
sat(course_id_4,student_id_4,sat_1).
sat(course_id_4,student_id_6,sat_1).
sat(course_id_4,student_id_7,sat_1).
sat(course_id_4,student_id_12,sat_2).
sat(course_id_4,student_id_18,sat_2).
sat(course_id_4,student_id_29,sat_2).
sat(course_id_4,student_id_38,sat_3).
sat(course_id_4,student_id_40,sat_1).
sat(course_id_5,student_id_4,sat_1).
sat(course_id_5,student_id_5,sat_2).
sat(course_id_5,student_id_6,sat_2).
sat(course_id_5,student_id_15,sat_1).
sat(course_id_5,student_id_18,sat_2).
sat(course_id_5,student_id_25,sat_2).
sat(course_id_5,student_id_29,sat_3).
sat(course_id_5,student_id_34,sat_2).
sat(course_id_5,student_id_38,sat_3).
sat(course_id_5,student_id_39,sat_1).
sat(course_id_5,student_id_41,sat_1).
sat(course_id_6,student_id_4,sat_1).
sat(course_id_6,student_id_6,sat_1).
sat(course_id_6,student_id_7,sat_1).
sat(course_id_6,student_id_9,sat_1).
sat(course_id_6,student_id_13,sat_1).
sat(course_id_6,student_id_19,sat_3).
sat(course_id_6,student_id_25,sat_3).
sat(course_id_6,student_id_30,sat_3).
sat(course_id_6,student_id_41,sat_1).
sat(course_id_7,student_id_4,sat_1).
sat(course_id_7,student_id_5,sat_2).
sat(course_id_7,student_id_9,sat_2).
sat(course_id_7,student_id_15,sat_1).
sat(course_id_7,student_id_20,sat_2).
sat(course_id_7,student_id_30,sat_3).
sat(course_id_7,student_id_40,sat_1).
sat(course_id_8,student_id_5,sat_1).
sat(course_id_8,student_id_6,sat_1).
sat(course_id_8,student_id_9,sat_2).
sat(course_id_8,student_id_10,sat_1).
sat(course_id_8,student_id_11,sat_2).
sat(course_id_8,student_id_14,sat_1).
sat(course_id_8,student_id_20,sat_3).
sat(course_id_8,student_id_22,sat_2).
sat(course_id_8,student_id_30,sat_3).
sat(course_id_8,student_id_41,sat_1).
sat(course_id_9,student_id_6,sat_1).
sat(course_id_9,student_id_10,sat_2).
sat(course_id_9,student_id_12,sat_1).
sat(course_id_9,student_id_15,sat_1).
sat(course_id_9,student_id_23,sat_2).
sat(course_id_9,student_id_31,sat_2).
sat(course_id_9,student_id_33,sat_2).
sat(course_id_9,student_id_35,sat_2).
sat(course_id_10,student_id_6,sat_1).
sat(course_id_10,student_id_11,sat_2).
sat(course_id_10,student_id_14,sat_1).
sat(course_id_10,student_id_17,sat_3).
sat(course_id_10,student_id_18,sat_1).
sat(course_id_10,student_id_23,sat_1).
sat(course_id_10,student_id_32,sat_2).
sat(course_id_10,student_id_36,sat_3).
sat(course_id_11,student_id_7,sat_1).
sat(course_id_11,student_id_8,sat_1).
sat(course_id_11,student_id_14,sat_1).
sat(course_id_11,student_id_16,sat_1).
sat(course_id_11,student_id_17,sat_1).
sat(course_id_11,student_id_23,sat_3).
sat(course_id_11,student_id_28,sat_3).
sat(course_id_11,student_id_32,sat_3).
sat(course_id_11,student_id_37,sat_3).
sat(course_id_11,student_id_41,sat_2).
sat(course_id_12,student_id_8,sat_1).
sat(course_id_12,student_id_10,sat_1).
sat(course_id_12,student_id_11,sat_2).
sat(course_id_12,student_id_17,sat_2).
sat(course_id_12,student_id_21,sat_1).
sat(course_id_12,student_id_22,sat_1).
sat(course_id_12,student_id_23,sat_1).
sat(course_id_12,student_id_24,sat_1).
sat(course_id_12,student_id_26,sat_3).
sat(course_id_12,student_id_28,sat_2).
sat(course_id_12,student_id_33,sat_3).
sat(course_id_12,student_id_37,sat_3).
sat(course_id_13,student_id_7,sat_1).
sat(course_id_13,student_id_14,sat_2).
sat(course_id_13,student_id_16,sat_2).
sat(course_id_13,student_id_21,sat_2).
sat(course_id_13,student_id_26,sat_3).
sat(course_id_13,student_id_27,sat_2).
sat(course_id_13,student_id_33,sat_3).
sat(course_id_13,student_id_37,sat_3).
sat(course_id_13,student_id_41,sat_2).
intelligence(student_id_4,intelligence_3).
intelligence(student_id_5,intelligence_3).
intelligence(student_id_6,intelligence_3).
intelligence(student_id_7,intelligence_3).
intelligence(student_id_8,intelligence_3).
intelligence(student_id_9,intelligence_3).
intelligence(student_id_10,intelligence_3).
intelligence(student_id_11,intelligence_3).
intelligence(student_id_12,intelligence_2).
intelligence(student_id_13,intelligence_2).
intelligence(student_id_14,intelligence_2).
intelligence(student_id_15,intelligence_2).
intelligence(student_id_16,intelligence_2).
intelligence(student_id_17,intelligence_2).
intelligence(student_id_18,intelligence_2).
intelligence(student_id_19,intelligence_2).
intelligence(student_id_20,intelligence_2).
intelligence(student_id_21,intelligence_2).
intelligence(student_id_22,intelligence_2).
intelligence(student_id_23,intelligence_2).
intelligence(student_id_24,intelligence_2).
intelligence(student_id_25,intelligence_1).
intelligence(student_id_26,intelligence_1).
intelligence(student_id_27,intelligence_1).
intelligence(student_id_28,intelligence_1).
intelligence(student_id_29,intelligence_1).
intelligence(student_id_30,intelligence_1).
intelligence(student_id_31,intelligence_1).
intelligence(student_id_32,intelligence_1).
intelligence(student_id_33,intelligence_1).
intelligence(student_id_34,intelligence_1).
intelligence(student_id_35,intelligence_1).
intelligence(student_id_36,intelligence_1).
intelligence(student_id_37,intelligence_1).
intelligence(student_id_38,intelligence_1).
intelligence(student_id_39,intelligence_3).
intelligence(student_id_40,intelligence_3).
intelligence(student_id_41,intelligence_3).
ranking(student_id_4,ranking_1).
ranking(student_id_5,ranking_1).
ranking(student_id_6,ranking_2).
ranking(student_id_7,ranking_1).
ranking(student_id_8,ranking_1).
ranking(student_id_9,ranking_2).
ranking(student_id_10,ranking_1).
ranking(student_id_11,ranking_2).
ranking(student_id_12,ranking_2).
ranking(student_id_13,ranking_2).
ranking(student_id_14,ranking_2).
ranking(student_id_15,ranking_3).
ranking(student_id_16,ranking_3).
ranking(student_id_17,ranking_3).
ranking(student_id_18,ranking_3).
ranking(student_id_19,ranking_3).
ranking(student_id_20,ranking_3).
ranking(student_id_21,ranking_2).
ranking(student_id_22,ranking_4).
ranking(student_id_23,ranking_3).
ranking(student_id_24,ranking_2).
ranking(student_id_25,ranking_4).
ranking(student_id_26,ranking_4).
ranking(student_id_27,ranking_4).
ranking(student_id_28,ranking_4).
ranking(student_id_29,ranking_5).
ranking(student_id_30,ranking_5).
ranking(student_id_31,ranking_5).
ranking(student_id_32,ranking_5).
ranking(student_id_33,ranking_5).
ranking(student_id_34,ranking_4).
ranking(student_id_35,ranking_4).
ranking(student_id_36,ranking_5).
ranking(student_id_37,ranking_5).
ranking(student_id_38,ranking_5).
ranking(student_id_39,ranking_1).
ranking(student_id_40,ranking_1).
ranking(student_id_41,ranking_1).
b_registration(course_id_4,student_id_4).
b_registration(course_id_4,student_id_6).
b_registration(course_id_4,student_id_7).
b_registration(course_id_4,student_id_12).
b_registration(course_id_4,student_id_18).
b_registration(course_id_4,student_id_29).
b_registration(course_id_4,student_id_38).
b_registration(course_id_4,student_id_40).
b_registration(course_id_5,student_id_4).
b_registration(course_id_5,student_id_5).
b_registration(course_id_5,student_id_6).
b_registration(course_id_5,student_id_15).
b_registration(course_id_5,student_id_18).
b_registration(course_id_5,student_id_25).
b_registration(course_id_5,student_id_29).
b_registration(course_id_5,student_id_34).
b_registration(course_id_5,student_id_38).
b_registration(course_id_5,student_id_39).
b_registration(course_id_5,student_id_41).
b_registration(course_id_6,student_id_4).
b_registration(course_id_6,student_id_6).
b_registration(course_id_6,student_id_7).
b_registration(course_id_6,student_id_9).
b_registration(course_id_6,student_id_13).
b_registration(course_id_6,student_id_19).
b_registration(course_id_6,student_id_25).
b_registration(course_id_6,student_id_30).
b_registration(course_id_6,student_id_41).
b_registration(course_id_7,student_id_4).
b_registration(course_id_7,student_id_5).
b_registration(course_id_7,student_id_9).
b_registration(course_id_7,student_id_15).
b_registration(course_id_7,student_id_20).
b_registration(course_id_7,student_id_30).
b_registration(course_id_7,student_id_40).
b_registration(course_id_8,student_id_5).
b_registration(course_id_8,student_id_6).
b_registration(course_id_8,student_id_9).
b_registration(course_id_8,student_id_10).
b_registration(course_id_8,student_id_11).
b_registration(course_id_8,student_id_14).
b_registration(course_id_8,student_id_20).
b_registration(course_id_8,student_id_22).
b_registration(course_id_8,student_id_30).
b_registration(course_id_8,student_id_41).
b_registration(course_id_9,student_id_6).
b_registration(course_id_9,student_id_10).
b_registration(course_id_9,student_id_12).
b_registration(course_id_9,student_id_15).
b_registration(course_id_9,student_id_23).
b_registration(course_id_9,student_id_31).
b_registration(course_id_9,student_id_33).
b_registration(course_id_9,student_id_35).
b_registration(course_id_10,student_id_6).
b_registration(course_id_10,student_id_11).
b_registration(course_id_10,student_id_14).
b_registration(course_id_10,student_id_17).
b_registration(course_id_10,student_id_18).
b_registration(course_id_10,student_id_23).
b_registration(course_id_10,student_id_32).
b_registration(course_id_10,student_id_36).
b_registration(course_id_11,student_id_7).
b_registration(course_id_11,student_id_8).
b_registration(course_id_11,student_id_14).
b_registration(course_id_11,student_id_16).
b_registration(course_id_11,student_id_17).
b_registration(course_id_11,student_id_23).
b_registration(course_id_11,student_id_28).
b_registration(course_id_11,student_id_32).
b_registration(course_id_11,student_id_37).
b_registration(course_id_11,student_id_41).
b_registration(course_id_12,student_id_8).
b_registration(course_id_12,student_id_10).
b_registration(course_id_12,student_id_11).
b_registration(course_id_12,student_id_17).
b_registration(course_id_12,student_id_21).
b_registration(course_id_12,student_id_22).
b_registration(course_id_12,student_id_23).
b_registration(course_id_12,student_id_24).
b_registration(course_id_12,student_id_26).
b_registration(course_id_12,student_id_28).
b_registration(course_id_12,student_id_33).
b_registration(course_id_12,student_id_37).
b_registration(course_id_13,student_id_7).
b_registration(course_id_13,student_id_14).
b_registration(course_id_13,student_id_16).
b_registration(course_id_13,student_id_21).
b_registration(course_id_13,student_id_26).
b_registration(course_id_13,student_id_27).
b_registration(course_id_13,student_id_33).
b_registration(course_id_13,student_id_37).
b_registration(course_id_13,student_id_41).
b_ra(prof_id_5,student_id_5).
b_ra(prof_id_6,student_id_5).
b_ra(prof_id_7,student_id_7).
b_ra(prof_id_7,student_id_8).
b_ra(prof_id_6,student_id_8).
b_ra(prof_id_6,student_id_9).
b_ra(prof_id_9,student_id_10).
b_ra(prof_id_7,student_id_11).
b_ra(prof_id_8,student_id_12).
b_ra(prof_id_8,student_id_13).
b_ra(prof_id_5,student_id_14).
b_ra(prof_id_6,student_id_15).
b_ra(prof_id_6,student_id_16).
b_ra(prof_id_4,student_id_17).
b_ra(prof_id_5,student_id_18).
b_ra(prof_id_7,student_id_19).
b_ra(prof_id_7,student_id_20).
b_ra(prof_id_8,student_id_21).
b_ra(prof_id_7,student_id_22).
b_ra(prof_id_6,student_id_23).
b_ra(prof_id_6,student_id_24).
b_ra(prof_id_6,student_id_25).
b_ra(prof_id_5,student_id_26).
b_ra(prof_id_5,student_id_27).
b_ra(prof_id_5,student_id_28).
rating(course_id_8,rating_2).
rating(course_id_12,rating_1).
neg(rating(course_id_8,rating_1)).
neg(rating(course_id_12,rating_2)).
end(model(f2)).
begin(model(f3)).
capability(prof_id_5,student_id_5,capability_1).
capability(prof_id_6,student_id_5,capability_2).
capability(prof_id_7,student_id_7,capability_4).
capability(prof_id_7,student_id_8,capability_4).
capability(prof_id_6,student_id_8,capability_4).
capability(prof_id_6,student_id_9,capability_4).
capability(prof_id_9,student_id_10,capability_3).
capability(prof_id_7,student_id_11,capability_1).
capability(prof_id_8,student_id_12,capability_1).
capability(prof_id_8,student_id_13,capability_2).
capability(prof_id_5,student_id_14,capability_2).
capability(prof_id_6,student_id_15,capability_1).
capability(prof_id_6,student_id_16,capability_2).
capability(prof_id_4,student_id_17,capability_3).
capability(prof_id_5,student_id_18,capability_3).
capability(prof_id_7,student_id_19,capability_5).
capability(prof_id_7,student_id_20,capability_1).
capability(prof_id_8,student_id_21,capability_3).
capability(prof_id_7,student_id_22,capability_3).
capability(prof_id_6,student_id_23,capability_5).
capability(prof_id_6,student_id_24,capability_5).
capability(prof_id_6,student_id_25,capability_5).
capability(prof_id_5,student_id_26,capability_4).
capability(prof_id_5,student_id_27,capability_3).
capability(prof_id_5,student_id_28,capability_3).
salary(prof_id_5,student_id_5,salary_low).
salary(prof_id_6,student_id_5,salary_low).
salary(prof_id_7,student_id_7,salary_high).
salary(prof_id_7,student_id_8,salary_high).
salary(prof_id_6,student_id_8,salary_high).
salary(prof_id_6,student_id_9,salary_high).
salary(prof_id_9,student_id_10,salary_high).
salary(prof_id_7,student_id_11,salary_med).
salary(prof_id_8,student_id_12,salary_med).
salary(prof_id_8,student_id_13,salary_med).
salary(prof_id_5,student_id_14,salary_low).
salary(prof_id_6,student_id_15,salary_med).
salary(prof_id_6,student_id_16,salary_med).
salary(prof_id_4,student_id_17,salary_med).
salary(prof_id_5,student_id_18,salary_high).
salary(prof_id_7,student_id_19,salary_high).
salary(prof_id_7,student_id_20,salary_low).
salary(prof_id_8,student_id_21,salary_low).
salary(prof_id_7,student_id_22,salary_med).
salary(prof_id_6,student_id_23,salary_high).
salary(prof_id_6,student_id_24,salary_high).
salary(prof_id_6,student_id_25,salary_high).
salary(prof_id_5,student_id_26,salary_high).
salary(prof_id_5,student_id_27,salary_med).
salary(prof_id_5,student_id_28,salary_med).
diff(course_id_4,diff_1).
diff(course_id_5,diff_2).
diff(course_id_6,diff_1).
diff(course_id_7,diff_2).
diff(course_id_8,diff_1).
diff(course_id_9,diff_2).
diff(course_id_10,diff_1).
diff(course_id_11,diff_2).
diff(course_id_12,diff_1).
diff(course_id_13,diff_2).
popularity(prof_id_4,popularity_2).
popularity(prof_id_5,popularity_2).
popularity(prof_id_6,popularity_2).
popularity(prof_id_7,popularity_2).
popularity(prof_id_8,popularity_1).
popularity(prof_id_9,popularity_1).
teachingability(prof_id_4,teachingability_3).
teachingability(prof_id_5,teachingability_3).
teachingability(prof_id_6,teachingability_3).
teachingability(prof_id_7,teachingability_2).
teachingability(prof_id_8,teachingability_2).
teachingability(prof_id_9,teachingability_2).
grade(course_id_4,student_id_4,grade_1).
grade(course_id_4,student_id_6,grade_1).
grade(course_id_4,student_id_7,grade_1).
grade(course_id_4,student_id_12,grade_2).
grade(course_id_4,student_id_18,grade_2).
grade(course_id_4,student_id_29,grade_3).
grade(course_id_4,student_id_38,grade_4).
grade(course_id_4,student_id_40,grade_1).
grade(course_id_5,student_id_4,grade_1).
grade(course_id_5,student_id_5,grade_2).
grade(course_id_5,student_id_6,grade_2).
grade(course_id_5,student_id_15,grade_2).
grade(course_id_5,student_id_18,grade_3).
grade(course_id_5,student_id_25,grade_3).
grade(course_id_5,student_id_29,grade_4).
grade(course_id_5,student_id_34,grade_3).
grade(course_id_5,student_id_38,grade_4).
grade(course_id_5,student_id_39,grade_1).
grade(course_id_5,student_id_41,grade_1).
grade(course_id_6,student_id_4,grade_1).
grade(course_id_6,student_id_6,grade_1).
grade(course_id_6,student_id_7,grade_1).
grade(course_id_6,student_id_9,grade_1).
grade(course_id_6,student_id_13,grade_1).
grade(course_id_6,student_id_19,grade_2).
grade(course_id_6,student_id_25,grade_3).
grade(course_id_6,student_id_30,grade_4).
grade(course_id_6,student_id_41,grade_1).
grade(course_id_7,student_id_4,grade_2).
grade(course_id_7,student_id_5,grade_2).
grade(course_id_7,student_id_9,grade_2).
grade(course_id_7,student_id_15,grade_2).
grade(course_id_7,student_id_20,grade_2).
grade(course_id_7,student_id_30,grade_4).
grade(course_id_7,student_id_40,grade_1).
grade(course_id_8,student_id_5,grade_1).
grade(course_id_8,student_id_6,grade_1).
grade(course_id_8,student_id_9,grade_1).
grade(course_id_8,student_id_10,grade_1).
grade(course_id_8,student_id_11,grade_2).
grade(course_id_8,student_id_14,grade_1).
grade(course_id_8,student_id_20,grade_3).
grade(course_id_8,student_id_22,grade_3).
grade(course_id_8,student_id_30,grade_4).
grade(course_id_8,student_id_41,grade_1).
grade(course_id_9,student_id_6,grade_1).
grade(course_id_9,student_id_10,grade_2).
grade(course_id_9,student_id_12,grade_2).
grade(course_id_9,student_id_15,grade_2).
grade(course_id_9,student_id_23,grade_2).
grade(course_id_9,student_id_31,grade_3).
grade(course_id_9,student_id_33,grade_3).
grade(course_id_9,student_id_35,grade_3).
grade(course_id_10,student_id_6,grade_1).
grade(course_id_10,student_id_11,grade_1).
grade(course_id_10,student_id_14,grade_1).
grade(course_id_10,student_id_17,grade_3).
grade(course_id_10,student_id_18,grade_1).
grade(course_id_10,student_id_23,grade_2).
grade(course_id_10,student_id_32,grade_3).
grade(course_id_10,student_id_36,grade_4).
grade(course_id_11,student_id_7,grade_2).
grade(course_id_11,student_id_8,grade_1).
grade(course_id_11,student_id_14,grade_2).
grade(course_id_11,student_id_16,grade_2).
grade(course_id_11,student_id_17,grade_2).
grade(course_id_11,student_id_23,grade_3).
grade(course_id_11,student_id_28,grade_4).
grade(course_id_11,student_id_32,grade_4).
grade(course_id_11,student_id_37,grade_3).
grade(course_id_11,student_id_41,grade_2).
grade(course_id_12,student_id_8,grade_1).
grade(course_id_12,student_id_10,grade_1).
grade(course_id_12,student_id_11,grade_1).
grade(course_id_12,student_id_17,grade_2).
grade(course_id_12,student_id_21,grade_1).
grade(course_id_12,student_id_22,grade_2).
grade(course_id_12,student_id_23,grade_1).
grade(course_id_12,student_id_24,grade_1).
grade(course_id_12,student_id_26,grade_2).
grade(course_id_12,student_id_28,grade_3).
grade(course_id_12,student_id_33,grade_4).
grade(course_id_12,student_id_37,grade_4).
grade(course_id_13,student_id_7,grade_2).
grade(course_id_13,student_id_14,grade_2).
grade(course_id_13,student_id_16,grade_3).
grade(course_id_13,student_id_21,grade_2).
grade(course_id_13,student_id_26,grade_3).
grade(course_id_13,student_id_27,grade_3).
grade(course_id_13,student_id_33,grade_4).
grade(course_id_13,student_id_37,grade_4).
grade(course_id_13,student_id_41,grade_2).
sat(course_id_4,student_id_4,sat_1).
sat(course_id_4,student_id_6,sat_1).
sat(course_id_4,student_id_7,sat_1).
sat(course_id_4,student_id_12,sat_2).
sat(course_id_4,student_id_18,sat_2).
sat(course_id_4,student_id_29,sat_2).
sat(course_id_4,student_id_38,sat_3).
sat(course_id_4,student_id_40,sat_1).
sat(course_id_5,student_id_4,sat_1).
sat(course_id_5,student_id_5,sat_2).
sat(course_id_5,student_id_6,sat_2).
sat(course_id_5,student_id_15,sat_1).
sat(course_id_5,student_id_18,sat_2).
sat(course_id_5,student_id_25,sat_2).
sat(course_id_5,student_id_29,sat_3).
sat(course_id_5,student_id_34,sat_2).
sat(course_id_5,student_id_38,sat_3).
sat(course_id_5,student_id_39,sat_1).
sat(course_id_5,student_id_41,sat_1).
sat(course_id_6,student_id_4,sat_1).
sat(course_id_6,student_id_6,sat_1).
sat(course_id_6,student_id_7,sat_1).
sat(course_id_6,student_id_9,sat_1).
sat(course_id_6,student_id_13,sat_1).
sat(course_id_6,student_id_19,sat_3).
sat(course_id_6,student_id_25,sat_3).
sat(course_id_6,student_id_30,sat_3).
sat(course_id_6,student_id_41,sat_1).
sat(course_id_7,student_id_4,sat_1).
sat(course_id_7,student_id_5,sat_2).
sat(course_id_7,student_id_9,sat_2).
sat(course_id_7,student_id_15,sat_1).
sat(course_id_7,student_id_20,sat_2).
sat(course_id_7,student_id_30,sat_3).
sat(course_id_7,student_id_40,sat_1).
sat(course_id_8,student_id_5,sat_1).
sat(course_id_8,student_id_6,sat_1).
sat(course_id_8,student_id_9,sat_2).
sat(course_id_8,student_id_10,sat_1).
sat(course_id_8,student_id_11,sat_2).
sat(course_id_8,student_id_14,sat_1).
sat(course_id_8,student_id_20,sat_3).
sat(course_id_8,student_id_22,sat_2).
sat(course_id_8,student_id_30,sat_3).
sat(course_id_8,student_id_41,sat_1).
sat(course_id_9,student_id_6,sat_1).
sat(course_id_9,student_id_10,sat_2).
sat(course_id_9,student_id_12,sat_1).
sat(course_id_9,student_id_15,sat_1).
sat(course_id_9,student_id_23,sat_2).
sat(course_id_9,student_id_31,sat_2).
sat(course_id_9,student_id_33,sat_2).
sat(course_id_9,student_id_35,sat_2).
sat(course_id_10,student_id_6,sat_1).
sat(course_id_10,student_id_11,sat_2).
sat(course_id_10,student_id_14,sat_1).
sat(course_id_10,student_id_17,sat_3).
sat(course_id_10,student_id_18,sat_1).
sat(course_id_10,student_id_23,sat_1).
sat(course_id_10,student_id_32,sat_2).
sat(course_id_10,student_id_36,sat_3).
sat(course_id_11,student_id_7,sat_1).
sat(course_id_11,student_id_8,sat_1).
sat(course_id_11,student_id_14,sat_1).
sat(course_id_11,student_id_16,sat_1).
sat(course_id_11,student_id_17,sat_1).
sat(course_id_11,student_id_23,sat_3).
sat(course_id_11,student_id_28,sat_3).
sat(course_id_11,student_id_32,sat_3).
sat(course_id_11,student_id_37,sat_3).
sat(course_id_11,student_id_41,sat_2).
sat(course_id_12,student_id_8,sat_1).
sat(course_id_12,student_id_10,sat_1).
sat(course_id_12,student_id_11,sat_2).
sat(course_id_12,student_id_17,sat_2).
sat(course_id_12,student_id_21,sat_1).
sat(course_id_12,student_id_22,sat_1).
sat(course_id_12,student_id_23,sat_1).
sat(course_id_12,student_id_24,sat_1).
sat(course_id_12,student_id_26,sat_3).
sat(course_id_12,student_id_28,sat_2).
sat(course_id_12,student_id_33,sat_3).
sat(course_id_12,student_id_37,sat_3).
sat(course_id_13,student_id_7,sat_1).
sat(course_id_13,student_id_14,sat_2).
sat(course_id_13,student_id_16,sat_2).
sat(course_id_13,student_id_21,sat_2).
sat(course_id_13,student_id_26,sat_3).
sat(course_id_13,student_id_27,sat_2).
sat(course_id_13,student_id_33,sat_3).
sat(course_id_13,student_id_37,sat_3).
sat(course_id_13,student_id_41,sat_2).
intelligence(student_id_4,intelligence_3).
intelligence(student_id_5,intelligence_3).
intelligence(student_id_6,intelligence_3).
intelligence(student_id_7,intelligence_3).
intelligence(student_id_8,intelligence_3).
intelligence(student_id_9,intelligence_3).
intelligence(student_id_10,intelligence_3).
intelligence(student_id_11,intelligence_3).
intelligence(student_id_12,intelligence_2).
intelligence(student_id_13,intelligence_2).
intelligence(student_id_14,intelligence_2).
intelligence(student_id_15,intelligence_2).
intelligence(student_id_16,intelligence_2).
intelligence(student_id_17,intelligence_2).
intelligence(student_id_18,intelligence_2).
intelligence(student_id_19,intelligence_2).
intelligence(student_id_20,intelligence_2).
intelligence(student_id_21,intelligence_2).
intelligence(student_id_22,intelligence_2).
intelligence(student_id_23,intelligence_2).
intelligence(student_id_24,intelligence_2).
intelligence(student_id_25,intelligence_1).
intelligence(student_id_26,intelligence_1).
intelligence(student_id_27,intelligence_1).
intelligence(student_id_28,intelligence_1).
intelligence(student_id_29,intelligence_1).
intelligence(student_id_30,intelligence_1).
intelligence(student_id_31,intelligence_1).
intelligence(student_id_32,intelligence_1).
intelligence(student_id_33,intelligence_1).
intelligence(student_id_34,intelligence_1).
intelligence(student_id_35,intelligence_1).
intelligence(student_id_36,intelligence_1).
intelligence(student_id_37,intelligence_1).
intelligence(student_id_38,intelligence_1).
intelligence(student_id_39,intelligence_3).
intelligence(student_id_40,intelligence_3).
intelligence(student_id_41,intelligence_3).
ranking(student_id_4,ranking_1).
ranking(student_id_5,ranking_1).
ranking(student_id_6,ranking_2).
ranking(student_id_7,ranking_1).
ranking(student_id_8,ranking_1).
ranking(student_id_9,ranking_2).
ranking(student_id_10,ranking_1).
ranking(student_id_11,ranking_2).
ranking(student_id_12,ranking_2).
ranking(student_id_13,ranking_2).
ranking(student_id_14,ranking_2).
ranking(student_id_15,ranking_3).
ranking(student_id_16,ranking_3).
ranking(student_id_17,ranking_3).
ranking(student_id_18,ranking_3).
ranking(student_id_19,ranking_3).
ranking(student_id_20,ranking_3).
ranking(student_id_21,ranking_2).
ranking(student_id_22,ranking_4).
ranking(student_id_23,ranking_3).
ranking(student_id_24,ranking_2).
ranking(student_id_25,ranking_4).
ranking(student_id_26,ranking_4).
ranking(student_id_27,ranking_4).
ranking(student_id_28,ranking_4).
ranking(student_id_29,ranking_5).
ranking(student_id_30,ranking_5).
ranking(student_id_31,ranking_5).
ranking(student_id_32,ranking_5).
ranking(student_id_33,ranking_5).
ranking(student_id_34,ranking_4).
ranking(student_id_35,ranking_4).
ranking(student_id_36,ranking_5).
ranking(student_id_37,ranking_5).
ranking(student_id_38,ranking_5).
ranking(student_id_39,ranking_1).
ranking(student_id_40,ranking_1).
ranking(student_id_41,ranking_1).
b_registration(course_id_4,student_id_4).
b_registration(course_id_4,student_id_6).
b_registration(course_id_4,student_id_7).
b_registration(course_id_4,student_id_12).
b_registration(course_id_4,student_id_18).
b_registration(course_id_4,student_id_29).
b_registration(course_id_4,student_id_38).
b_registration(course_id_4,student_id_40).
b_registration(course_id_5,student_id_4).
b_registration(course_id_5,student_id_5).
b_registration(course_id_5,student_id_6).
b_registration(course_id_5,student_id_15).
b_registration(course_id_5,student_id_18).
b_registration(course_id_5,student_id_25).
b_registration(course_id_5,student_id_29).
b_registration(course_id_5,student_id_34).
b_registration(course_id_5,student_id_38).
b_registration(course_id_5,student_id_39).
b_registration(course_id_5,student_id_41).
b_registration(course_id_6,student_id_4).
b_registration(course_id_6,student_id_6).
b_registration(course_id_6,student_id_7).
b_registration(course_id_6,student_id_9).
b_registration(course_id_6,student_id_13).
b_registration(course_id_6,student_id_19).
b_registration(course_id_6,student_id_25).
b_registration(course_id_6,student_id_30).
b_registration(course_id_6,student_id_41).
b_registration(course_id_7,student_id_4).
b_registration(course_id_7,student_id_5).
b_registration(course_id_7,student_id_9).
b_registration(course_id_7,student_id_15).
b_registration(course_id_7,student_id_20).
b_registration(course_id_7,student_id_30).
b_registration(course_id_7,student_id_40).
b_registration(course_id_8,student_id_5).
b_registration(course_id_8,student_id_6).
b_registration(course_id_8,student_id_9).
b_registration(course_id_8,student_id_10).
b_registration(course_id_8,student_id_11).
b_registration(course_id_8,student_id_14).
b_registration(course_id_8,student_id_20).
b_registration(course_id_8,student_id_22).
b_registration(course_id_8,student_id_30).
b_registration(course_id_8,student_id_41).
b_registration(course_id_9,student_id_6).
b_registration(course_id_9,student_id_10).
b_registration(course_id_9,student_id_12).
b_registration(course_id_9,student_id_15).
b_registration(course_id_9,student_id_23).
b_registration(course_id_9,student_id_31).
b_registration(course_id_9,student_id_33).
b_registration(course_id_9,student_id_35).
b_registration(course_id_10,student_id_6).
b_registration(course_id_10,student_id_11).
b_registration(course_id_10,student_id_14).
b_registration(course_id_10,student_id_17).
b_registration(course_id_10,student_id_18).
b_registration(course_id_10,student_id_23).
b_registration(course_id_10,student_id_32).
b_registration(course_id_10,student_id_36).
b_registration(course_id_11,student_id_7).
b_registration(course_id_11,student_id_8).
b_registration(course_id_11,student_id_14).
b_registration(course_id_11,student_id_16).
b_registration(course_id_11,student_id_17).
b_registration(course_id_11,student_id_23).
b_registration(course_id_11,student_id_28).
b_registration(course_id_11,student_id_32).
b_registration(course_id_11,student_id_37).
b_registration(course_id_11,student_id_41).
b_registration(course_id_12,student_id_8).
b_registration(course_id_12,student_id_10).
b_registration(course_id_12,student_id_11).
b_registration(course_id_12,student_id_17).
b_registration(course_id_12,student_id_21).
b_registration(course_id_12,student_id_22).
b_registration(course_id_12,student_id_23).
b_registration(course_id_12,student_id_24).
b_registration(course_id_12,student_id_26).
b_registration(course_id_12,student_id_28).
b_registration(course_id_12,student_id_33).
b_registration(course_id_12,student_id_37).
b_registration(course_id_13,student_id_7).
b_registration(course_id_13,student_id_14).
b_registration(course_id_13,student_id_16).
b_registration(course_id_13,student_id_21).
b_registration(course_id_13,student_id_26).
b_registration(course_id_13,student_id_27).
b_registration(course_id_13,student_id_33).
b_registration(course_id_13,student_id_37).
b_registration(course_id_13,student_id_41).
b_ra(prof_id_5,student_id_5).
b_ra(prof_id_6,student_id_5).
b_ra(prof_id_7,student_id_7).
b_ra(prof_id_7,student_id_8).
b_ra(prof_id_6,student_id_8).
b_ra(prof_id_6,student_id_9).
b_ra(prof_id_9,student_id_10).
b_ra(prof_id_7,student_id_11).
b_ra(prof_id_8,student_id_12).
b_ra(prof_id_8,student_id_13).
b_ra(prof_id_5,student_id_14).
b_ra(prof_id_6,student_id_15).
b_ra(prof_id_6,student_id_16).
b_ra(prof_id_4,student_id_17).
b_ra(prof_id_5,student_id_18).
b_ra(prof_id_7,student_id_19).
b_ra(prof_id_7,student_id_20).
b_ra(prof_id_8,student_id_21).
b_ra(prof_id_7,student_id_22).
b_ra(prof_id_6,student_id_23).
b_ra(prof_id_6,student_id_24).
b_ra(prof_id_6,student_id_25).
b_ra(prof_id_5,student_id_26).
b_ra(prof_id_5,student_id_27).
b_ra(prof_id_5,student_id_28).
rating(course_id_11,rating_1).
rating(course_id_4,rating_2).
neg(rating(course_id_11,rating_2)).
neg(rating(course_id_4,rating_1)).
end(model(f3)).
begin(model(f4)).
capability(prof_id_5,student_id_5,capability_1).
capability(prof_id_6,student_id_5,capability_2).
capability(prof_id_7,student_id_7,capability_4).
capability(prof_id_7,student_id_8,capability_4).
capability(prof_id_6,student_id_8,capability_4).
capability(prof_id_6,student_id_9,capability_4).
capability(prof_id_9,student_id_10,capability_3).
capability(prof_id_7,student_id_11,capability_1).
capability(prof_id_8,student_id_12,capability_1).
capability(prof_id_8,student_id_13,capability_2).
capability(prof_id_5,student_id_14,capability_2).
capability(prof_id_6,student_id_15,capability_1).
capability(prof_id_6,student_id_16,capability_2).
capability(prof_id_4,student_id_17,capability_3).
capability(prof_id_5,student_id_18,capability_3).
capability(prof_id_7,student_id_19,capability_5).
capability(prof_id_7,student_id_20,capability_1).
capability(prof_id_8,student_id_21,capability_3).
capability(prof_id_7,student_id_22,capability_3).
capability(prof_id_6,student_id_23,capability_5).
capability(prof_id_6,student_id_24,capability_5).
capability(prof_id_6,student_id_25,capability_5).
capability(prof_id_5,student_id_26,capability_4).
capability(prof_id_5,student_id_27,capability_3).
capability(prof_id_5,student_id_28,capability_3).
salary(prof_id_5,student_id_5,salary_low).
salary(prof_id_6,student_id_5,salary_low).
salary(prof_id_7,student_id_7,salary_high).
salary(prof_id_7,student_id_8,salary_high).
salary(prof_id_6,student_id_8,salary_high).
salary(prof_id_6,student_id_9,salary_high).
salary(prof_id_9,student_id_10,salary_high).
salary(prof_id_7,student_id_11,salary_med).
salary(prof_id_8,student_id_12,salary_med).
salary(prof_id_8,student_id_13,salary_med).
salary(prof_id_5,student_id_14,salary_low).
salary(prof_id_6,student_id_15,salary_med).
salary(prof_id_6,student_id_16,salary_med).
salary(prof_id_4,student_id_17,salary_med).
salary(prof_id_5,student_id_18,salary_high).
salary(prof_id_7,student_id_19,salary_high).
salary(prof_id_7,student_id_20,salary_low).
salary(prof_id_8,student_id_21,salary_low).
salary(prof_id_7,student_id_22,salary_med).
salary(prof_id_6,student_id_23,salary_high).
salary(prof_id_6,student_id_24,salary_high).
salary(prof_id_6,student_id_25,salary_high).
salary(prof_id_5,student_id_26,salary_high).
salary(prof_id_5,student_id_27,salary_med).
salary(prof_id_5,student_id_28,salary_med).
diff(course_id_4,diff_1).
diff(course_id_5,diff_2).
diff(course_id_6,diff_1).
diff(course_id_7,diff_2).
diff(course_id_8,diff_1).
diff(course_id_9,diff_2).
diff(course_id_10,diff_1).
diff(course_id_11,diff_2).
diff(course_id_12,diff_1).
diff(course_id_13,diff_2).
popularity(prof_id_4,popularity_2).
popularity(prof_id_5,popularity_2).
popularity(prof_id_6,popularity_2).
popularity(prof_id_7,popularity_2).
popularity(prof_id_8,popularity_1).
popularity(prof_id_9,popularity_1).
teachingability(prof_id_4,teachingability_3).
teachingability(prof_id_5,teachingability_3).
teachingability(prof_id_6,teachingability_3).
teachingability(prof_id_7,teachingability_2).
teachingability(prof_id_8,teachingability_2).
teachingability(prof_id_9,teachingability_2).
grade(course_id_4,student_id_4,grade_1).
grade(course_id_4,student_id_6,grade_1).
grade(course_id_4,student_id_7,grade_1).
grade(course_id_4,student_id_12,grade_2).
grade(course_id_4,student_id_18,grade_2).
grade(course_id_4,student_id_29,grade_3).
grade(course_id_4,student_id_38,grade_4).
grade(course_id_4,student_id_40,grade_1).
grade(course_id_5,student_id_4,grade_1).
grade(course_id_5,student_id_5,grade_2).
grade(course_id_5,student_id_6,grade_2).
grade(course_id_5,student_id_15,grade_2).
grade(course_id_5,student_id_18,grade_3).
grade(course_id_5,student_id_25,grade_3).
grade(course_id_5,student_id_29,grade_4).
grade(course_id_5,student_id_34,grade_3).
grade(course_id_5,student_id_38,grade_4).
grade(course_id_5,student_id_39,grade_1).
grade(course_id_5,student_id_41,grade_1).
grade(course_id_6,student_id_4,grade_1).
grade(course_id_6,student_id_6,grade_1).
grade(course_id_6,student_id_7,grade_1).
grade(course_id_6,student_id_9,grade_1).
grade(course_id_6,student_id_13,grade_1).
grade(course_id_6,student_id_19,grade_2).
grade(course_id_6,student_id_25,grade_3).
grade(course_id_6,student_id_30,grade_4).
grade(course_id_6,student_id_41,grade_1).
grade(course_id_7,student_id_4,grade_2).
grade(course_id_7,student_id_5,grade_2).
grade(course_id_7,student_id_9,grade_2).
grade(course_id_7,student_id_15,grade_2).
grade(course_id_7,student_id_20,grade_2).
grade(course_id_7,student_id_30,grade_4).
grade(course_id_7,student_id_40,grade_1).
grade(course_id_8,student_id_5,grade_1).
grade(course_id_8,student_id_6,grade_1).
grade(course_id_8,student_id_9,grade_1).
grade(course_id_8,student_id_10,grade_1).
grade(course_id_8,student_id_11,grade_2).
grade(course_id_8,student_id_14,grade_1).
grade(course_id_8,student_id_20,grade_3).
grade(course_id_8,student_id_22,grade_3).
grade(course_id_8,student_id_30,grade_4).
grade(course_id_8,student_id_41,grade_1).
grade(course_id_9,student_id_6,grade_1).
grade(course_id_9,student_id_10,grade_2).
grade(course_id_9,student_id_12,grade_2).
grade(course_id_9,student_id_15,grade_2).
grade(course_id_9,student_id_23,grade_2).
grade(course_id_9,student_id_31,grade_3).
grade(course_id_9,student_id_33,grade_3).
grade(course_id_9,student_id_35,grade_3).
grade(course_id_10,student_id_6,grade_1).
grade(course_id_10,student_id_11,grade_1).
grade(course_id_10,student_id_14,grade_1).
grade(course_id_10,student_id_17,grade_3).
grade(course_id_10,student_id_18,grade_1).
grade(course_id_10,student_id_23,grade_2).
grade(course_id_10,student_id_32,grade_3).
grade(course_id_10,student_id_36,grade_4).
grade(course_id_11,student_id_7,grade_2).
grade(course_id_11,student_id_8,grade_1).
grade(course_id_11,student_id_14,grade_2).
grade(course_id_11,student_id_16,grade_2).
grade(course_id_11,student_id_17,grade_2).
grade(course_id_11,student_id_23,grade_3).
grade(course_id_11,student_id_28,grade_4).
grade(course_id_11,student_id_32,grade_4).
grade(course_id_11,student_id_37,grade_3).
grade(course_id_11,student_id_41,grade_2).
grade(course_id_12,student_id_8,grade_1).
grade(course_id_12,student_id_10,grade_1).
grade(course_id_12,student_id_11,grade_1).
grade(course_id_12,student_id_17,grade_2).
grade(course_id_12,student_id_21,grade_1).
grade(course_id_12,student_id_22,grade_2).
grade(course_id_12,student_id_23,grade_1).
grade(course_id_12,student_id_24,grade_1).
grade(course_id_12,student_id_26,grade_2).
grade(course_id_12,student_id_28,grade_3).
grade(course_id_12,student_id_33,grade_4).
grade(course_id_12,student_id_37,grade_4).
grade(course_id_13,student_id_7,grade_2).
grade(course_id_13,student_id_14,grade_2).
grade(course_id_13,student_id_16,grade_3).
grade(course_id_13,student_id_21,grade_2).
grade(course_id_13,student_id_26,grade_3).
grade(course_id_13,student_id_27,grade_3).
grade(course_id_13,student_id_33,grade_4).
grade(course_id_13,student_id_37,grade_4).
grade(course_id_13,student_id_41,grade_2).
sat(course_id_4,student_id_4,sat_1).
sat(course_id_4,student_id_6,sat_1).
sat(course_id_4,student_id_7,sat_1).
sat(course_id_4,student_id_12,sat_2).
sat(course_id_4,student_id_18,sat_2).
sat(course_id_4,student_id_29,sat_2).
sat(course_id_4,student_id_38,sat_3).
sat(course_id_4,student_id_40,sat_1).
sat(course_id_5,student_id_4,sat_1).
sat(course_id_5,student_id_5,sat_2).
sat(course_id_5,student_id_6,sat_2).
sat(course_id_5,student_id_15,sat_1).
sat(course_id_5,student_id_18,sat_2).
sat(course_id_5,student_id_25,sat_2).
sat(course_id_5,student_id_29,sat_3).
sat(course_id_5,student_id_34,sat_2).
sat(course_id_5,student_id_38,sat_3).
sat(course_id_5,student_id_39,sat_1).
sat(course_id_5,student_id_41,sat_1).
sat(course_id_6,student_id_4,sat_1).
sat(course_id_6,student_id_6,sat_1).
sat(course_id_6,student_id_7,sat_1).
sat(course_id_6,student_id_9,sat_1).
sat(course_id_6,student_id_13,sat_1).
sat(course_id_6,student_id_19,sat_3).
sat(course_id_6,student_id_25,sat_3).
sat(course_id_6,student_id_30,sat_3).
sat(course_id_6,student_id_41,sat_1).
sat(course_id_7,student_id_4,sat_1).
sat(course_id_7,student_id_5,sat_2).
sat(course_id_7,student_id_9,sat_2).
sat(course_id_7,student_id_15,sat_1).
sat(course_id_7,student_id_20,sat_2).
sat(course_id_7,student_id_30,sat_3).
sat(course_id_7,student_id_40,sat_1).
sat(course_id_8,student_id_5,sat_1).
sat(course_id_8,student_id_6,sat_1).
sat(course_id_8,student_id_9,sat_2).
sat(course_id_8,student_id_10,sat_1).
sat(course_id_8,student_id_11,sat_2).
sat(course_id_8,student_id_14,sat_1).
sat(course_id_8,student_id_20,sat_3).
sat(course_id_8,student_id_22,sat_2).
sat(course_id_8,student_id_30,sat_3).
sat(course_id_8,student_id_41,sat_1).
sat(course_id_9,student_id_6,sat_1).
sat(course_id_9,student_id_10,sat_2).
sat(course_id_9,student_id_12,sat_1).
sat(course_id_9,student_id_15,sat_1).
sat(course_id_9,student_id_23,sat_2).
sat(course_id_9,student_id_31,sat_2).
sat(course_id_9,student_id_33,sat_2).
sat(course_id_9,student_id_35,sat_2).
sat(course_id_10,student_id_6,sat_1).
sat(course_id_10,student_id_11,sat_2).
sat(course_id_10,student_id_14,sat_1).
sat(course_id_10,student_id_17,sat_3).
sat(course_id_10,student_id_18,sat_1).
sat(course_id_10,student_id_23,sat_1).
sat(course_id_10,student_id_32,sat_2).
sat(course_id_10,student_id_36,sat_3).
sat(course_id_11,student_id_7,sat_1).
sat(course_id_11,student_id_8,sat_1).
sat(course_id_11,student_id_14,sat_1).
sat(course_id_11,student_id_16,sat_1).
sat(course_id_11,student_id_17,sat_1).
sat(course_id_11,student_id_23,sat_3).
sat(course_id_11,student_id_28,sat_3).
sat(course_id_11,student_id_32,sat_3).
sat(course_id_11,student_id_37,sat_3).
sat(course_id_11,student_id_41,sat_2).
sat(course_id_12,student_id_8,sat_1).
sat(course_id_12,student_id_10,sat_1).
sat(course_id_12,student_id_11,sat_2).
sat(course_id_12,student_id_17,sat_2).
sat(course_id_12,student_id_21,sat_1).
sat(course_id_12,student_id_22,sat_1).
sat(course_id_12,student_id_23,sat_1).
sat(course_id_12,student_id_24,sat_1).
sat(course_id_12,student_id_26,sat_3).
sat(course_id_12,student_id_28,sat_2).
sat(course_id_12,student_id_33,sat_3).
sat(course_id_12,student_id_37,sat_3).
sat(course_id_13,student_id_7,sat_1).
sat(course_id_13,student_id_14,sat_2).
sat(course_id_13,student_id_16,sat_2).
sat(course_id_13,student_id_21,sat_2).
sat(course_id_13,student_id_26,sat_3).
sat(course_id_13,student_id_27,sat_2).
sat(course_id_13,student_id_33,sat_3).
sat(course_id_13,student_id_37,sat_3).
sat(course_id_13,student_id_41,sat_2).
intelligence(student_id_4,intelligence_3).
intelligence(student_id_5,intelligence_3).
intelligence(student_id_6,intelligence_3).
intelligence(student_id_7,intelligence_3).
intelligence(student_id_8,intelligence_3).
intelligence(student_id_9,intelligence_3).
intelligence(student_id_10,intelligence_3).
intelligence(student_id_11,intelligence_3).
intelligence(student_id_12,intelligence_2).
intelligence(student_id_13,intelligence_2).
intelligence(student_id_14,intelligence_2).
intelligence(student_id_15,intelligence_2).
intelligence(student_id_16,intelligence_2).
intelligence(student_id_17,intelligence_2).
intelligence(student_id_18,intelligence_2).
intelligence(student_id_19,intelligence_2).
intelligence(student_id_20,intelligence_2).
intelligence(student_id_21,intelligence_2).
intelligence(student_id_22,intelligence_2).
intelligence(student_id_23,intelligence_2).
intelligence(student_id_24,intelligence_2).
intelligence(student_id_25,intelligence_1).
intelligence(student_id_26,intelligence_1).
intelligence(student_id_27,intelligence_1).
intelligence(student_id_28,intelligence_1).
intelligence(student_id_29,intelligence_1).
intelligence(student_id_30,intelligence_1).
intelligence(student_id_31,intelligence_1).
intelligence(student_id_32,intelligence_1).
intelligence(student_id_33,intelligence_1).
intelligence(student_id_34,intelligence_1).
intelligence(student_id_35,intelligence_1).
intelligence(student_id_36,intelligence_1).
intelligence(student_id_37,intelligence_1).
intelligence(student_id_38,intelligence_1).
intelligence(student_id_39,intelligence_3).
intelligence(student_id_40,intelligence_3).
intelligence(student_id_41,intelligence_3).
ranking(student_id_4,ranking_1).
ranking(student_id_5,ranking_1).
ranking(student_id_6,ranking_2).
ranking(student_id_7,ranking_1).
ranking(student_id_8,ranking_1).
ranking(student_id_9,ranking_2).
ranking(student_id_10,ranking_1).
ranking(student_id_11,ranking_2).
ranking(student_id_12,ranking_2).
ranking(student_id_13,ranking_2).
ranking(student_id_14,ranking_2).
ranking(student_id_15,ranking_3).
ranking(student_id_16,ranking_3).
ranking(student_id_17,ranking_3).
ranking(student_id_18,ranking_3).
ranking(student_id_19,ranking_3).
ranking(student_id_20,ranking_3).
ranking(student_id_21,ranking_2).
ranking(student_id_22,ranking_4).
ranking(student_id_23,ranking_3).
ranking(student_id_24,ranking_2).
ranking(student_id_25,ranking_4).
ranking(student_id_26,ranking_4).
ranking(student_id_27,ranking_4).
ranking(student_id_28,ranking_4).
ranking(student_id_29,ranking_5).
ranking(student_id_30,ranking_5).
ranking(student_id_31,ranking_5).
ranking(student_id_32,ranking_5).
ranking(student_id_33,ranking_5).
ranking(student_id_34,ranking_4).
ranking(student_id_35,ranking_4).
ranking(student_id_36,ranking_5).
ranking(student_id_37,ranking_5).
ranking(student_id_38,ranking_5).
ranking(student_id_39,ranking_1).
ranking(student_id_40,ranking_1).
ranking(student_id_41,ranking_1).
b_registration(course_id_4,student_id_4).
b_registration(course_id_4,student_id_6).
b_registration(course_id_4,student_id_7).
b_registration(course_id_4,student_id_12).
b_registration(course_id_4,student_id_18).
b_registration(course_id_4,student_id_29).
b_registration(course_id_4,student_id_38).
b_registration(course_id_4,student_id_40).
b_registration(course_id_5,student_id_4).
b_registration(course_id_5,student_id_5).
b_registration(course_id_5,student_id_6).
b_registration(course_id_5,student_id_15).
b_registration(course_id_5,student_id_18).
b_registration(course_id_5,student_id_25).
b_registration(course_id_5,student_id_29).
b_registration(course_id_5,student_id_34).
b_registration(course_id_5,student_id_38).
b_registration(course_id_5,student_id_39).
b_registration(course_id_5,student_id_41).
b_registration(course_id_6,student_id_4).
b_registration(course_id_6,student_id_6).
b_registration(course_id_6,student_id_7).
b_registration(course_id_6,student_id_9).
b_registration(course_id_6,student_id_13).
b_registration(course_id_6,student_id_19).
b_registration(course_id_6,student_id_25).
b_registration(course_id_6,student_id_30).
b_registration(course_id_6,student_id_41).
b_registration(course_id_7,student_id_4).
b_registration(course_id_7,student_id_5).
b_registration(course_id_7,student_id_9).
b_registration(course_id_7,student_id_15).
b_registration(course_id_7,student_id_20).
b_registration(course_id_7,student_id_30).
b_registration(course_id_7,student_id_40).
b_registration(course_id_8,student_id_5).
b_registration(course_id_8,student_id_6).
b_registration(course_id_8,student_id_9).
b_registration(course_id_8,student_id_10).
b_registration(course_id_8,student_id_11).
b_registration(course_id_8,student_id_14).
b_registration(course_id_8,student_id_20).
b_registration(course_id_8,student_id_22).
b_registration(course_id_8,student_id_30).
b_registration(course_id_8,student_id_41).
b_registration(course_id_9,student_id_6).
b_registration(course_id_9,student_id_10).
b_registration(course_id_9,student_id_12).
b_registration(course_id_9,student_id_15).
b_registration(course_id_9,student_id_23).
b_registration(course_id_9,student_id_31).
b_registration(course_id_9,student_id_33).
b_registration(course_id_9,student_id_35).
b_registration(course_id_10,student_id_6).
b_registration(course_id_10,student_id_11).
b_registration(course_id_10,student_id_14).
b_registration(course_id_10,student_id_17).
b_registration(course_id_10,student_id_18).
b_registration(course_id_10,student_id_23).
b_registration(course_id_10,student_id_32).
b_registration(course_id_10,student_id_36).
b_registration(course_id_11,student_id_7).
b_registration(course_id_11,student_id_8).
b_registration(course_id_11,student_id_14).
b_registration(course_id_11,student_id_16).
b_registration(course_id_11,student_id_17).
b_registration(course_id_11,student_id_23).
b_registration(course_id_11,student_id_28).
b_registration(course_id_11,student_id_32).
b_registration(course_id_11,student_id_37).
b_registration(course_id_11,student_id_41).
b_registration(course_id_12,student_id_8).
b_registration(course_id_12,student_id_10).
b_registration(course_id_12,student_id_11).
b_registration(course_id_12,student_id_17).
b_registration(course_id_12,student_id_21).
b_registration(course_id_12,student_id_22).
b_registration(course_id_12,student_id_23).
b_registration(course_id_12,student_id_24).
b_registration(course_id_12,student_id_26).
b_registration(course_id_12,student_id_28).
b_registration(course_id_12,student_id_33).
b_registration(course_id_12,student_id_37).
b_registration(course_id_13,student_id_7).
b_registration(course_id_13,student_id_14).
b_registration(course_id_13,student_id_16).
b_registration(course_id_13,student_id_21).
b_registration(course_id_13,student_id_26).
b_registration(course_id_13,student_id_27).
b_registration(course_id_13,student_id_33).
b_registration(course_id_13,student_id_37).
b_registration(course_id_13,student_id_41).
b_ra(prof_id_5,student_id_5).
b_ra(prof_id_6,student_id_5).
b_ra(prof_id_7,student_id_7).
b_ra(prof_id_7,student_id_8).
b_ra(prof_id_6,student_id_8).
b_ra(prof_id_6,student_id_9).
b_ra(prof_id_9,student_id_10).
b_ra(prof_id_7,student_id_11).
b_ra(prof_id_8,student_id_12).
b_ra(prof_id_8,student_id_13).
b_ra(prof_id_5,student_id_14).
b_ra(prof_id_6,student_id_15).
b_ra(prof_id_6,student_id_16).
b_ra(prof_id_4,student_id_17).
b_ra(prof_id_5,student_id_18).
b_ra(prof_id_7,student_id_19).
b_ra(prof_id_7,student_id_20).
b_ra(prof_id_8,student_id_21).
b_ra(prof_id_7,student_id_22).
b_ra(prof_id_6,student_id_23).
b_ra(prof_id_6,student_id_24).
b_ra(prof_id_6,student_id_25).
b_ra(prof_id_5,student_id_26).
b_ra(prof_id_5,student_id_27).
b_ra(prof_id_5,student_id_28).
rating(course_id_13,rating_1).
rating(course_id_7,rating_2).
neg(rating(course_id_13,rating_2)).
neg(rating(course_id_7,rating_1)).
end(model(f4)).
begin(model(f5)).
capability(prof_id_5,student_id_5,capability_1).
capability(prof_id_6,student_id_5,capability_2).
capability(prof_id_7,student_id_7,capability_4).
capability(prof_id_7,student_id_8,capability_4).
capability(prof_id_6,student_id_8,capability_4).
capability(prof_id_6,student_id_9,capability_4).
capability(prof_id_9,student_id_10,capability_3).
capability(prof_id_7,student_id_11,capability_1).
capability(prof_id_8,student_id_12,capability_1).
capability(prof_id_8,student_id_13,capability_2).
capability(prof_id_5,student_id_14,capability_2).
capability(prof_id_6,student_id_15,capability_1).
capability(prof_id_6,student_id_16,capability_2).
capability(prof_id_4,student_id_17,capability_3).
capability(prof_id_5,student_id_18,capability_3).
capability(prof_id_7,student_id_19,capability_5).
capability(prof_id_7,student_id_20,capability_1).
capability(prof_id_8,student_id_21,capability_3).
capability(prof_id_7,student_id_22,capability_3).
capability(prof_id_6,student_id_23,capability_5).
capability(prof_id_6,student_id_24,capability_5).
capability(prof_id_6,student_id_25,capability_5).
capability(prof_id_5,student_id_26,capability_4).
capability(prof_id_5,student_id_27,capability_3).
capability(prof_id_5,student_id_28,capability_3).
salary(prof_id_5,student_id_5,salary_low).
salary(prof_id_6,student_id_5,salary_low).
salary(prof_id_7,student_id_7,salary_high).
salary(prof_id_7,student_id_8,salary_high).
salary(prof_id_6,student_id_8,salary_high).
salary(prof_id_6,student_id_9,salary_high).
salary(prof_id_9,student_id_10,salary_high).
salary(prof_id_7,student_id_11,salary_med).
salary(prof_id_8,student_id_12,salary_med).
salary(prof_id_8,student_id_13,salary_med).
salary(prof_id_5,student_id_14,salary_low).
salary(prof_id_6,student_id_15,salary_med).
salary(prof_id_6,student_id_16,salary_med).
salary(prof_id_4,student_id_17,salary_med).
salary(prof_id_5,student_id_18,salary_high).
salary(prof_id_7,student_id_19,salary_high).
salary(prof_id_7,student_id_20,salary_low).
salary(prof_id_8,student_id_21,salary_low).
salary(prof_id_7,student_id_22,salary_med).
salary(prof_id_6,student_id_23,salary_high).
salary(prof_id_6,student_id_24,salary_high).
salary(prof_id_6,student_id_25,salary_high).
salary(prof_id_5,student_id_26,salary_high).
salary(prof_id_5,student_id_27,salary_med).
salary(prof_id_5,student_id_28,salary_med).
diff(course_id_4,diff_1).
diff(course_id_5,diff_2).
diff(course_id_6,diff_1).
diff(course_id_7,diff_2).
diff(course_id_8,diff_1).
diff(course_id_9,diff_2).
diff(course_id_10,diff_1).
diff(course_id_11,diff_2).
diff(course_id_12,diff_1).
diff(course_id_13,diff_2).
popularity(prof_id_4,popularity_2).
popularity(prof_id_5,popularity_2).
popularity(prof_id_6,popularity_2).
popularity(prof_id_7,popularity_2).
popularity(prof_id_8,popularity_1).
popularity(prof_id_9,popularity_1).
teachingability(prof_id_4,teachingability_3).
teachingability(prof_id_5,teachingability_3).
teachingability(prof_id_6,teachingability_3).
teachingability(prof_id_7,teachingability_2).
teachingability(prof_id_8,teachingability_2).
teachingability(prof_id_9,teachingability_2).
grade(course_id_4,student_id_4,grade_1).
grade(course_id_4,student_id_6,grade_1).
grade(course_id_4,student_id_7,grade_1).
grade(course_id_4,student_id_12,grade_2).
grade(course_id_4,student_id_18,grade_2).
grade(course_id_4,student_id_29,grade_3).
grade(course_id_4,student_id_38,grade_4).
grade(course_id_4,student_id_40,grade_1).
grade(course_id_5,student_id_4,grade_1).
grade(course_id_5,student_id_5,grade_2).
grade(course_id_5,student_id_6,grade_2).
grade(course_id_5,student_id_15,grade_2).
grade(course_id_5,student_id_18,grade_3).
grade(course_id_5,student_id_25,grade_3).
grade(course_id_5,student_id_29,grade_4).
grade(course_id_5,student_id_34,grade_3).
grade(course_id_5,student_id_38,grade_4).
grade(course_id_5,student_id_39,grade_1).
grade(course_id_5,student_id_41,grade_1).
grade(course_id_6,student_id_4,grade_1).
grade(course_id_6,student_id_6,grade_1).
grade(course_id_6,student_id_7,grade_1).
grade(course_id_6,student_id_9,grade_1).
grade(course_id_6,student_id_13,grade_1).
grade(course_id_6,student_id_19,grade_2).
grade(course_id_6,student_id_25,grade_3).
grade(course_id_6,student_id_30,grade_4).
grade(course_id_6,student_id_41,grade_1).
grade(course_id_7,student_id_4,grade_2).
grade(course_id_7,student_id_5,grade_2).
grade(course_id_7,student_id_9,grade_2).
grade(course_id_7,student_id_15,grade_2).
grade(course_id_7,student_id_20,grade_2).
grade(course_id_7,student_id_30,grade_4).
grade(course_id_7,student_id_40,grade_1).
grade(course_id_8,student_id_5,grade_1).
grade(course_id_8,student_id_6,grade_1).
grade(course_id_8,student_id_9,grade_1).
grade(course_id_8,student_id_10,grade_1).
grade(course_id_8,student_id_11,grade_2).
grade(course_id_8,student_id_14,grade_1).
grade(course_id_8,student_id_20,grade_3).
grade(course_id_8,student_id_22,grade_3).
grade(course_id_8,student_id_30,grade_4).
grade(course_id_8,student_id_41,grade_1).
grade(course_id_9,student_id_6,grade_1).
grade(course_id_9,student_id_10,grade_2).
grade(course_id_9,student_id_12,grade_2).
grade(course_id_9,student_id_15,grade_2).
grade(course_id_9,student_id_23,grade_2).
grade(course_id_9,student_id_31,grade_3).
grade(course_id_9,student_id_33,grade_3).
grade(course_id_9,student_id_35,grade_3).
grade(course_id_10,student_id_6,grade_1).
grade(course_id_10,student_id_11,grade_1).
grade(course_id_10,student_id_14,grade_1).
grade(course_id_10,student_id_17,grade_3).
grade(course_id_10,student_id_18,grade_1).
grade(course_id_10,student_id_23,grade_2).
grade(course_id_10,student_id_32,grade_3).
grade(course_id_10,student_id_36,grade_4).
grade(course_id_11,student_id_7,grade_2).
grade(course_id_11,student_id_8,grade_1).
grade(course_id_11,student_id_14,grade_2).
grade(course_id_11,student_id_16,grade_2).
grade(course_id_11,student_id_17,grade_2).
grade(course_id_11,student_id_23,grade_3).
grade(course_id_11,student_id_28,grade_4).
grade(course_id_11,student_id_32,grade_4).
grade(course_id_11,student_id_37,grade_3).
grade(course_id_11,student_id_41,grade_2).
grade(course_id_12,student_id_8,grade_1).
grade(course_id_12,student_id_10,grade_1).
grade(course_id_12,student_id_11,grade_1).
grade(course_id_12,student_id_17,grade_2).
grade(course_id_12,student_id_21,grade_1).
grade(course_id_12,student_id_22,grade_2).
grade(course_id_12,student_id_23,grade_1).
grade(course_id_12,student_id_24,grade_1).
grade(course_id_12,student_id_26,grade_2).
grade(course_id_12,student_id_28,grade_3).
grade(course_id_12,student_id_33,grade_4).
grade(course_id_12,student_id_37,grade_4).
grade(course_id_13,student_id_7,grade_2).
grade(course_id_13,student_id_14,grade_2).
grade(course_id_13,student_id_16,grade_3).
grade(course_id_13,student_id_21,grade_2).
grade(course_id_13,student_id_26,grade_3).
grade(course_id_13,student_id_27,grade_3).
grade(course_id_13,student_id_33,grade_4).
grade(course_id_13,student_id_37,grade_4).
grade(course_id_13,student_id_41,grade_2).
sat(course_id_4,student_id_4,sat_1).
sat(course_id_4,student_id_6,sat_1).
sat(course_id_4,student_id_7,sat_1).
sat(course_id_4,student_id_12,sat_2).
sat(course_id_4,student_id_18,sat_2).
sat(course_id_4,student_id_29,sat_2).
sat(course_id_4,student_id_38,sat_3).
sat(course_id_4,student_id_40,sat_1).
sat(course_id_5,student_id_4,sat_1).
sat(course_id_5,student_id_5,sat_2).
sat(course_id_5,student_id_6,sat_2).
sat(course_id_5,student_id_15,sat_1).
sat(course_id_5,student_id_18,sat_2).
sat(course_id_5,student_id_25,sat_2).
sat(course_id_5,student_id_29,sat_3).
sat(course_id_5,student_id_34,sat_2).
sat(course_id_5,student_id_38,sat_3).
sat(course_id_5,student_id_39,sat_1).
sat(course_id_5,student_id_41,sat_1).
sat(course_id_6,student_id_4,sat_1).
sat(course_id_6,student_id_6,sat_1).
sat(course_id_6,student_id_7,sat_1).
sat(course_id_6,student_id_9,sat_1).
sat(course_id_6,student_id_13,sat_1).
sat(course_id_6,student_id_19,sat_3).
sat(course_id_6,student_id_25,sat_3).
sat(course_id_6,student_id_30,sat_3).
sat(course_id_6,student_id_41,sat_1).
sat(course_id_7,student_id_4,sat_1).
sat(course_id_7,student_id_5,sat_2).
sat(course_id_7,student_id_9,sat_2).
sat(course_id_7,student_id_15,sat_1).
sat(course_id_7,student_id_20,sat_2).
sat(course_id_7,student_id_30,sat_3).
sat(course_id_7,student_id_40,sat_1).
sat(course_id_8,student_id_5,sat_1).
sat(course_id_8,student_id_6,sat_1).
sat(course_id_8,student_id_9,sat_2).
sat(course_id_8,student_id_10,sat_1).
sat(course_id_8,student_id_11,sat_2).
sat(course_id_8,student_id_14,sat_1).
sat(course_id_8,student_id_20,sat_3).
sat(course_id_8,student_id_22,sat_2).
sat(course_id_8,student_id_30,sat_3).
sat(course_id_8,student_id_41,sat_1).
sat(course_id_9,student_id_6,sat_1).
sat(course_id_9,student_id_10,sat_2).
sat(course_id_9,student_id_12,sat_1).
sat(course_id_9,student_id_15,sat_1).
sat(course_id_9,student_id_23,sat_2).
sat(course_id_9,student_id_31,sat_2).
sat(course_id_9,student_id_33,sat_2).
sat(course_id_9,student_id_35,sat_2).
sat(course_id_10,student_id_6,sat_1).
sat(course_id_10,student_id_11,sat_2).
sat(course_id_10,student_id_14,sat_1).
sat(course_id_10,student_id_17,sat_3).
sat(course_id_10,student_id_18,sat_1).
sat(course_id_10,student_id_23,sat_1).
sat(course_id_10,student_id_32,sat_2).
sat(course_id_10,student_id_36,sat_3).
sat(course_id_11,student_id_7,sat_1).
sat(course_id_11,student_id_8,sat_1).
sat(course_id_11,student_id_14,sat_1).
sat(course_id_11,student_id_16,sat_1).
sat(course_id_11,student_id_17,sat_1).
sat(course_id_11,student_id_23,sat_3).
sat(course_id_11,student_id_28,sat_3).
sat(course_id_11,student_id_32,sat_3).
sat(course_id_11,student_id_37,sat_3).
sat(course_id_11,student_id_41,sat_2).
sat(course_id_12,student_id_8,sat_1).
sat(course_id_12,student_id_10,sat_1).
sat(course_id_12,student_id_11,sat_2).
sat(course_id_12,student_id_17,sat_2).
sat(course_id_12,student_id_21,sat_1).
sat(course_id_12,student_id_22,sat_1).
sat(course_id_12,student_id_23,sat_1).
sat(course_id_12,student_id_24,sat_1).
sat(course_id_12,student_id_26,sat_3).
sat(course_id_12,student_id_28,sat_2).
sat(course_id_12,student_id_33,sat_3).
sat(course_id_12,student_id_37,sat_3).
sat(course_id_13,student_id_7,sat_1).
sat(course_id_13,student_id_14,sat_2).
sat(course_id_13,student_id_16,sat_2).
sat(course_id_13,student_id_21,sat_2).
sat(course_id_13,student_id_26,sat_3).
sat(course_id_13,student_id_27,sat_2).
sat(course_id_13,student_id_33,sat_3).
sat(course_id_13,student_id_37,sat_3).
sat(course_id_13,student_id_41,sat_2).
intelligence(student_id_4,intelligence_3).
intelligence(student_id_5,intelligence_3).
intelligence(student_id_6,intelligence_3).
intelligence(student_id_7,intelligence_3).
intelligence(student_id_8,intelligence_3).
intelligence(student_id_9,intelligence_3).
intelligence(student_id_10,intelligence_3).
intelligence(student_id_11,intelligence_3).
intelligence(student_id_12,intelligence_2).
intelligence(student_id_13,intelligence_2).
intelligence(student_id_14,intelligence_2).
intelligence(student_id_15,intelligence_2).
intelligence(student_id_16,intelligence_2).
intelligence(student_id_17,intelligence_2).
intelligence(student_id_18,intelligence_2).
intelligence(student_id_19,intelligence_2).
intelligence(student_id_20,intelligence_2).
intelligence(student_id_21,intelligence_2).
intelligence(student_id_22,intelligence_2).
intelligence(student_id_23,intelligence_2).
intelligence(student_id_24,intelligence_2).
intelligence(student_id_25,intelligence_1).
intelligence(student_id_26,intelligence_1).
intelligence(student_id_27,intelligence_1).
intelligence(student_id_28,intelligence_1).
intelligence(student_id_29,intelligence_1).
intelligence(student_id_30,intelligence_1).
intelligence(student_id_31,intelligence_1).
intelligence(student_id_32,intelligence_1).
intelligence(student_id_33,intelligence_1).
intelligence(student_id_34,intelligence_1).
intelligence(student_id_35,intelligence_1).
intelligence(student_id_36,intelligence_1).
intelligence(student_id_37,intelligence_1).
intelligence(student_id_38,intelligence_1).
intelligence(student_id_39,intelligence_3).
intelligence(student_id_40,intelligence_3).
intelligence(student_id_41,intelligence_3).
ranking(student_id_4,ranking_1).
ranking(student_id_5,ranking_1).
ranking(student_id_6,ranking_2).
ranking(student_id_7,ranking_1).
ranking(student_id_8,ranking_1).
ranking(student_id_9,ranking_2).
ranking(student_id_10,ranking_1).
ranking(student_id_11,ranking_2).
ranking(student_id_12,ranking_2).
ranking(student_id_13,ranking_2).
ranking(student_id_14,ranking_2).
ranking(student_id_15,ranking_3).
ranking(student_id_16,ranking_3).
ranking(student_id_17,ranking_3).
ranking(student_id_18,ranking_3).
ranking(student_id_19,ranking_3).
ranking(student_id_20,ranking_3).
ranking(student_id_21,ranking_2).
ranking(student_id_22,ranking_4).
ranking(student_id_23,ranking_3).
ranking(student_id_24,ranking_2).
ranking(student_id_25,ranking_4).
ranking(student_id_26,ranking_4).
ranking(student_id_27,ranking_4).
ranking(student_id_28,ranking_4).
ranking(student_id_29,ranking_5).
ranking(student_id_30,ranking_5).
ranking(student_id_31,ranking_5).
ranking(student_id_32,ranking_5).
ranking(student_id_33,ranking_5).
ranking(student_id_34,ranking_4).
ranking(student_id_35,ranking_4).
ranking(student_id_36,ranking_5).
ranking(student_id_37,ranking_5).
ranking(student_id_38,ranking_5).
ranking(student_id_39,ranking_1).
ranking(student_id_40,ranking_1).
ranking(student_id_41,ranking_1).
b_registration(course_id_4,student_id_4).
b_registration(course_id_4,student_id_6).
b_registration(course_id_4,student_id_7).
b_registration(course_id_4,student_id_12).
b_registration(course_id_4,student_id_18).
b_registration(course_id_4,student_id_29).
b_registration(course_id_4,student_id_38).
b_registration(course_id_4,student_id_40).
b_registration(course_id_5,student_id_4).
b_registration(course_id_5,student_id_5).
b_registration(course_id_5,student_id_6).
b_registration(course_id_5,student_id_15).
b_registration(course_id_5,student_id_18).
b_registration(course_id_5,student_id_25).
b_registration(course_id_5,student_id_29).
b_registration(course_id_5,student_id_34).
b_registration(course_id_5,student_id_38).
b_registration(course_id_5,student_id_39).
b_registration(course_id_5,student_id_41).
b_registration(course_id_6,student_id_4).
b_registration(course_id_6,student_id_6).
b_registration(course_id_6,student_id_7).
b_registration(course_id_6,student_id_9).
b_registration(course_id_6,student_id_13).
b_registration(course_id_6,student_id_19).
b_registration(course_id_6,student_id_25).
b_registration(course_id_6,student_id_30).
b_registration(course_id_6,student_id_41).
b_registration(course_id_7,student_id_4).
b_registration(course_id_7,student_id_5).
b_registration(course_id_7,student_id_9).
b_registration(course_id_7,student_id_15).
b_registration(course_id_7,student_id_20).
b_registration(course_id_7,student_id_30).
b_registration(course_id_7,student_id_40).
b_registration(course_id_8,student_id_5).
b_registration(course_id_8,student_id_6).
b_registration(course_id_8,student_id_9).
b_registration(course_id_8,student_id_10).
b_registration(course_id_8,student_id_11).
b_registration(course_id_8,student_id_14).
b_registration(course_id_8,student_id_20).
b_registration(course_id_8,student_id_22).
b_registration(course_id_8,student_id_30).
b_registration(course_id_8,student_id_41).
b_registration(course_id_9,student_id_6).
b_registration(course_id_9,student_id_10).
b_registration(course_id_9,student_id_12).
b_registration(course_id_9,student_id_15).
b_registration(course_id_9,student_id_23).
b_registration(course_id_9,student_id_31).
b_registration(course_id_9,student_id_33).
b_registration(course_id_9,student_id_35).
b_registration(course_id_10,student_id_6).
b_registration(course_id_10,student_id_11).
b_registration(course_id_10,student_id_14).
b_registration(course_id_10,student_id_17).
b_registration(course_id_10,student_id_18).
b_registration(course_id_10,student_id_23).
b_registration(course_id_10,student_id_32).
b_registration(course_id_10,student_id_36).
b_registration(course_id_11,student_id_7).
b_registration(course_id_11,student_id_8).
b_registration(course_id_11,student_id_14).
b_registration(course_id_11,student_id_16).
b_registration(course_id_11,student_id_17).
b_registration(course_id_11,student_id_23).
b_registration(course_id_11,student_id_28).
b_registration(course_id_11,student_id_32).
b_registration(course_id_11,student_id_37).
b_registration(course_id_11,student_id_41).
b_registration(course_id_12,student_id_8).
b_registration(course_id_12,student_id_10).
b_registration(course_id_12,student_id_11).
b_registration(course_id_12,student_id_17).
b_registration(course_id_12,student_id_21).
b_registration(course_id_12,student_id_22).
b_registration(course_id_12,student_id_23).
b_registration(course_id_12,student_id_24).
b_registration(course_id_12,student_id_26).
b_registration(course_id_12,student_id_28).
b_registration(course_id_12,student_id_33).
b_registration(course_id_12,student_id_37).
b_registration(course_id_13,student_id_7).
b_registration(course_id_13,student_id_14).
b_registration(course_id_13,student_id_16).
b_registration(course_id_13,student_id_21).
b_registration(course_id_13,student_id_26).
b_registration(course_id_13,student_id_27).
b_registration(course_id_13,student_id_33).
b_registration(course_id_13,student_id_37).
b_registration(course_id_13,student_id_41).
b_ra(prof_id_5,student_id_5).
b_ra(prof_id_6,student_id_5).
b_ra(prof_id_7,student_id_7).
b_ra(prof_id_7,student_id_8).
b_ra(prof_id_6,student_id_8).
b_ra(prof_id_6,student_id_9).
b_ra(prof_id_9,student_id_10).
b_ra(prof_id_7,student_id_11).
b_ra(prof_id_8,student_id_12).
b_ra(prof_id_8,student_id_13).
b_ra(prof_id_5,student_id_14).
b_ra(prof_id_6,student_id_15).
b_ra(prof_id_6,student_id_16).
b_ra(prof_id_4,student_id_17).
b_ra(prof_id_5,student_id_18).
b_ra(prof_id_7,student_id_19).
b_ra(prof_id_7,student_id_20).
b_ra(prof_id_8,student_id_21).
b_ra(prof_id_7,student_id_22).
b_ra(prof_id_6,student_id_23).
b_ra(prof_id_6,student_id_24).
b_ra(prof_id_6,student_id_25).
b_ra(prof_id_5,student_id_26).
b_ra(prof_id_5,student_id_27).
b_ra(prof_id_5,student_id_28).
rating(course_id_10,rating_2).
rating(course_id_5,rating_2).
neg(rating(course_id_10,rating_1)).
neg(rating(course_id_5,rating_1)).
end(model(f5)).
