14:- use_module(library(slipcover)). 15
16:- if(current_predicate(use_rendering/1)). 17:- use_rendering(c3). 18:- use_rendering(lpad). 19:- endif. 20
21:-sc. 22
23:- set_sc(verbosity,3). 24:- set_sc(depth_bound,false). 25:- set_sc(neg_ex,given). 26
27bg([]).
28
29in([]).
30
31fold(f1,[f1]).
32fold(f2,[f2]).
33fold(f3,[f3]).
34fold(f4,[f4]).
35fold(f5,[f5]).
36
37
38output(rating_1/1).
39
40input(capability/3).
41
42input(salary/3).
43
44input(diff/2).
45
46input(popularity/2).
47
48input(rating_1/1).
49
50input(teachingability/2).
51
52input(grade/3).
53
54input(sat/3).
55
56input(intelligence/2).
57
58input(ranking/2).
59
60input(b_registration/2).
61
62input(b_ra/2).
63
64determination(rating_1/1,rating_1/1).
65
66determination(rating_1/1,capability/3).
67
68determination(rating_1/1,salary/3).
69
70determination(rating_1/1,diff/2).
71
72determination(rating_1/1,popularity/2).
73
74determination(rating_1/1,rating_1/1).
75
76determination(rating_1/1,teachingability/2).
77
78determination(rating_1/1,grade/3).
79
80determination(rating_1/1,sat/3).
81
82determination(rating_1/1,intelligence/2).
83
84determination(rating_1/1,ranking/2).
85
86determination(rating_1/1,b_registration/2).
87
88determination(rating_1/1,b_ra/2).
89
90
91modeb(*,b_registration(+course,-st)).
92modeb(*,b_registration(-course,+st)).
93
94modeb(*,b_ra(-pr,+st)).
95modeb(*,b_ra(+pr,-st)).
96
97
98modeh(*,rating_1(+course)).
99
100modeb(*,diff(+course,-diff)).
101modeb(*,diff(+course,-#diff)).
102
103modeb(*,grade(+st,+course,-grade)).
104modeb(*,grade(+st,+course,-#grade)).
105modeb(*,sat(+st,+course,-sat)).
106modeb(*,sat(+st,+course,-#sat)).
107
108modeb(*,intelligence(+st,-int)).
109modeb(*,intelligence(+st,-#int)).
110
111modeb(*,ranking(+st,-rank)).
112modeb(*,ranking(+st,-#rank)).
113
114modeb(*,teachingability(+pr,-tab)).
115modeb(*,teachingability(+pr,-#tab)).
116
117modeb(*,popularity(+pr,-pop)).
118modeb(*,popularity(+pr,-#pop)).
119
120banned([rating_1(A)],[rating_1(A)]).
121
122
123rating_1(M,C):-
124 rating(M,C,rating_1).
125
126neg(rating_1(M,C)):-
127 rating(M,C,rating_2).
128
129begin(model(f1)).
130capability(prof_id_5,student_id_5,capability_1).
131capability(prof_id_6,student_id_5,capability_2).
132capability(prof_id_7,student_id_7,capability_4).
133capability(prof_id_7,student_id_8,capability_4).
134capability(prof_id_6,student_id_8,capability_4).
135capability(prof_id_6,student_id_9,capability_4).
136capability(prof_id_9,student_id_10,capability_3).
137capability(prof_id_7,student_id_11,capability_1).
138capability(prof_id_8,student_id_12,capability_1).
139capability(prof_id_8,student_id_13,capability_2).
140capability(prof_id_5,student_id_14,capability_2).
141capability(prof_id_6,student_id_15,capability_1).
142capability(prof_id_6,student_id_16,capability_2).
143capability(prof_id_4,student_id_17,capability_3).
144capability(prof_id_5,student_id_18,capability_3).
145capability(prof_id_7,student_id_19,capability_5).
146capability(prof_id_7,student_id_20,capability_1).
147capability(prof_id_8,student_id_21,capability_3).
148capability(prof_id_7,student_id_22,capability_3).
149capability(prof_id_6,student_id_23,capability_5).
150capability(prof_id_6,student_id_24,capability_5).
151capability(prof_id_6,student_id_25,capability_5).
152capability(prof_id_5,student_id_26,capability_4).
153capability(prof_id_5,student_id_27,capability_3).
154capability(prof_id_5,student_id_28,capability_3).
155salary(prof_id_5,student_id_5,salary_low).
156salary(prof_id_6,student_id_5,salary_low).
157salary(prof_id_7,student_id_7,salary_high).
158salary(prof_id_7,student_id_8,salary_high).
159salary(prof_id_6,student_id_8,salary_high).
160salary(prof_id_6,student_id_9,salary_high).
161salary(prof_id_9,student_id_10,salary_high).
162salary(prof_id_7,student_id_11,salary_med).
163salary(prof_id_8,student_id_12,salary_med).
164salary(prof_id_8,student_id_13,salary_med).
165salary(prof_id_5,student_id_14,salary_low).
166salary(prof_id_6,student_id_15,salary_med).
167salary(prof_id_6,student_id_16,salary_med).
168salary(prof_id_4,student_id_17,salary_med).
169salary(prof_id_5,student_id_18,salary_high).
170salary(prof_id_7,student_id_19,salary_high).
171salary(prof_id_7,student_id_20,salary_low).
172salary(prof_id_8,student_id_21,salary_low).
173salary(prof_id_7,student_id_22,salary_med).
174salary(prof_id_6,student_id_23,salary_high).
175salary(prof_id_6,student_id_24,salary_high).
176salary(prof_id_6,student_id_25,salary_high).
177salary(prof_id_5,student_id_26,salary_high).
178salary(prof_id_5,student_id_27,salary_med).
179salary(prof_id_5,student_id_28,salary_med).
180diff(course_id_4,diff_1).
181diff(course_id_5,diff_2).
182diff(course_id_6,diff_1).
183diff(course_id_7,diff_2).
184diff(course_id_8,diff_1).
185diff(course_id_9,diff_2).
186diff(course_id_10,diff_1).
187diff(course_id_11,diff_2).
188diff(course_id_12,diff_1).
189diff(course_id_13,diff_2).
190popularity(prof_id_4,popularity_2).
191popularity(prof_id_5,popularity_2).
192popularity(prof_id_6,popularity_2).
193popularity(prof_id_7,popularity_2).
194popularity(prof_id_8,popularity_1).
195popularity(prof_id_9,popularity_1).
196teachingability(prof_id_4,teachingability_3).
197teachingability(prof_id_5,teachingability_3).
198teachingability(prof_id_6,teachingability_3).
199teachingability(prof_id_7,teachingability_2).
200teachingability(prof_id_8,teachingability_2).
201teachingability(prof_id_9,teachingability_2).
202grade(course_id_4,student_id_4,grade_1).
203grade(course_id_4,student_id_6,grade_1).
204grade(course_id_4,student_id_7,grade_1).
205grade(course_id_4,student_id_12,grade_2).
206grade(course_id_4,student_id_18,grade_2).
207grade(course_id_4,student_id_29,grade_3).
208grade(course_id_4,student_id_38,grade_4).
209grade(course_id_4,student_id_40,grade_1).
210grade(course_id_5,student_id_4,grade_1).
211grade(course_id_5,student_id_5,grade_2).
212grade(course_id_5,student_id_6,grade_2).
213grade(course_id_5,student_id_15,grade_2).
214grade(course_id_5,student_id_18,grade_3).
215grade(course_id_5,student_id_25,grade_3).
216grade(course_id_5,student_id_29,grade_4).
217grade(course_id_5,student_id_34,grade_3).
218grade(course_id_5,student_id_38,grade_4).
219grade(course_id_5,student_id_39,grade_1).
220grade(course_id_5,student_id_41,grade_1).
221grade(course_id_6,student_id_4,grade_1).
222grade(course_id_6,student_id_6,grade_1).
223grade(course_id_6,student_id_7,grade_1).
224grade(course_id_6,student_id_9,grade_1).
225grade(course_id_6,student_id_13,grade_1).
226grade(course_id_6,student_id_19,grade_2).
227grade(course_id_6,student_id_25,grade_3).
228grade(course_id_6,student_id_30,grade_4).
229grade(course_id_6,student_id_41,grade_1).
230grade(course_id_7,student_id_4,grade_2).
231grade(course_id_7,student_id_5,grade_2).
232grade(course_id_7,student_id_9,grade_2).
233grade(course_id_7,student_id_15,grade_2).
234grade(course_id_7,student_id_20,grade_2).
235grade(course_id_7,student_id_30,grade_4).
236grade(course_id_7,student_id_40,grade_1).
237grade(course_id_8,student_id_5,grade_1).
238grade(course_id_8,student_id_6,grade_1).
239grade(course_id_8,student_id_9,grade_1).
240grade(course_id_8,student_id_10,grade_1).
241grade(course_id_8,student_id_11,grade_2).
242grade(course_id_8,student_id_14,grade_1).
243grade(course_id_8,student_id_20,grade_3).
244grade(course_id_8,student_id_22,grade_3).
245grade(course_id_8,student_id_30,grade_4).
246grade(course_id_8,student_id_41,grade_1).
247grade(course_id_9,student_id_6,grade_1).
248grade(course_id_9,student_id_10,grade_2).
249grade(course_id_9,student_id_12,grade_2).
250grade(course_id_9,student_id_15,grade_2).
251grade(course_id_9,student_id_23,grade_2).
252grade(course_id_9,student_id_31,grade_3).
253grade(course_id_9,student_id_33,grade_3).
254grade(course_id_9,student_id_35,grade_3).
255grade(course_id_10,student_id_6,grade_1).
256grade(course_id_10,student_id_11,grade_1).
257grade(course_id_10,student_id_14,grade_1).
258grade(course_id_10,student_id_17,grade_3).
259grade(course_id_10,student_id_18,grade_1).
260grade(course_id_10,student_id_23,grade_2).
261grade(course_id_10,student_id_32,grade_3).
262grade(course_id_10,student_id_36,grade_4).
263grade(course_id_11,student_id_7,grade_2).
264grade(course_id_11,student_id_8,grade_1).
265grade(course_id_11,student_id_14,grade_2).
266grade(course_id_11,student_id_16,grade_2).
267grade(course_id_11,student_id_17,grade_2).
268grade(course_id_11,student_id_23,grade_3).
269grade(course_id_11,student_id_28,grade_4).
270grade(course_id_11,student_id_32,grade_4).
271grade(course_id_11,student_id_37,grade_3).
272grade(course_id_11,student_id_41,grade_2).
273grade(course_id_12,student_id_8,grade_1).
274grade(course_id_12,student_id_10,grade_1).
275grade(course_id_12,student_id_11,grade_1).
276grade(course_id_12,student_id_17,grade_2).
277grade(course_id_12,student_id_21,grade_1).
278grade(course_id_12,student_id_22,grade_2).
279grade(course_id_12,student_id_23,grade_1).
280grade(course_id_12,student_id_24,grade_1).
281grade(course_id_12,student_id_26,grade_2).
282grade(course_id_12,student_id_28,grade_3).
283grade(course_id_12,student_id_33,grade_4).
284grade(course_id_12,student_id_37,grade_4).
285grade(course_id_13,student_id_7,grade_2).
286grade(course_id_13,student_id_14,grade_2).
287grade(course_id_13,student_id_16,grade_3).
288grade(course_id_13,student_id_21,grade_2).
289grade(course_id_13,student_id_26,grade_3).
290grade(course_id_13,student_id_27,grade_3).
291grade(course_id_13,student_id_33,grade_4).
292grade(course_id_13,student_id_37,grade_4).
293grade(course_id_13,student_id_41,grade_2).
294sat(course_id_4,student_id_4,sat_1).
295sat(course_id_4,student_id_6,sat_1).
296sat(course_id_4,student_id_7,sat_1).
297sat(course_id_4,student_id_12,sat_2).
298sat(course_id_4,student_id_18,sat_2).
299sat(course_id_4,student_id_29,sat_2).
300sat(course_id_4,student_id_38,sat_3).
301sat(course_id_4,student_id_40,sat_1).
302sat(course_id_5,student_id_4,sat_1).
303sat(course_id_5,student_id_5,sat_2).
304sat(course_id_5,student_id_6,sat_2).
305sat(course_id_5,student_id_15,sat_1).
306sat(course_id_5,student_id_18,sat_2).
307sat(course_id_5,student_id_25,sat_2).
308sat(course_id_5,student_id_29,sat_3).
309sat(course_id_5,student_id_34,sat_2).
310sat(course_id_5,student_id_38,sat_3).
311sat(course_id_5,student_id_39,sat_1).
312sat(course_id_5,student_id_41,sat_1).
313sat(course_id_6,student_id_4,sat_1).
314sat(course_id_6,student_id_6,sat_1).
315sat(course_id_6,student_id_7,sat_1).
316sat(course_id_6,student_id_9,sat_1).
317sat(course_id_6,student_id_13,sat_1).
318sat(course_id_6,student_id_19,sat_3).
319sat(course_id_6,student_id_25,sat_3).
320sat(course_id_6,student_id_30,sat_3).
321sat(course_id_6,student_id_41,sat_1).
322sat(course_id_7,student_id_4,sat_1).
323sat(course_id_7,student_id_5,sat_2).
324sat(course_id_7,student_id_9,sat_2).
325sat(course_id_7,student_id_15,sat_1).
326sat(course_id_7,student_id_20,sat_2).
327sat(course_id_7,student_id_30,sat_3).
328sat(course_id_7,student_id_40,sat_1).
329sat(course_id_8,student_id_5,sat_1).
330sat(course_id_8,student_id_6,sat_1).
331sat(course_id_8,student_id_9,sat_2).
332sat(course_id_8,student_id_10,sat_1).
333sat(course_id_8,student_id_11,sat_2).
334sat(course_id_8,student_id_14,sat_1).
335sat(course_id_8,student_id_20,sat_3).
336sat(course_id_8,student_id_22,sat_2).
337sat(course_id_8,student_id_30,sat_3).
338sat(course_id_8,student_id_41,sat_1).
339sat(course_id_9,student_id_6,sat_1).
340sat(course_id_9,student_id_10,sat_2).
341sat(course_id_9,student_id_12,sat_1).
342sat(course_id_9,student_id_15,sat_1).
343sat(course_id_9,student_id_23,sat_2).
344sat(course_id_9,student_id_31,sat_2).
345sat(course_id_9,student_id_33,sat_2).
346sat(course_id_9,student_id_35,sat_2).
347sat(course_id_10,student_id_6,sat_1).
348sat(course_id_10,student_id_11,sat_2).
349sat(course_id_10,student_id_14,sat_1).
350sat(course_id_10,student_id_17,sat_3).
351sat(course_id_10,student_id_18,sat_1).
352sat(course_id_10,student_id_23,sat_1).
353sat(course_id_10,student_id_32,sat_2).
354sat(course_id_10,student_id_36,sat_3).
355sat(course_id_11,student_id_7,sat_1).
356sat(course_id_11,student_id_8,sat_1).
357sat(course_id_11,student_id_14,sat_1).
358sat(course_id_11,student_id_16,sat_1).
359sat(course_id_11,student_id_17,sat_1).
360sat(course_id_11,student_id_23,sat_3).
361sat(course_id_11,student_id_28,sat_3).
362sat(course_id_11,student_id_32,sat_3).
363sat(course_id_11,student_id_37,sat_3).
364sat(course_id_11,student_id_41,sat_2).
365sat(course_id_12,student_id_8,sat_1).
366sat(course_id_12,student_id_10,sat_1).
367sat(course_id_12,student_id_11,sat_2).
368sat(course_id_12,student_id_17,sat_2).
369sat(course_id_12,student_id_21,sat_1).
370sat(course_id_12,student_id_22,sat_1).
371sat(course_id_12,student_id_23,sat_1).
372sat(course_id_12,student_id_24,sat_1).
373sat(course_id_12,student_id_26,sat_3).
374sat(course_id_12,student_id_28,sat_2).
375sat(course_id_12,student_id_33,sat_3).
376sat(course_id_12,student_id_37,sat_3).
377sat(course_id_13,student_id_7,sat_1).
378sat(course_id_13,student_id_14,sat_2).
379sat(course_id_13,student_id_16,sat_2).
380sat(course_id_13,student_id_21,sat_2).
381sat(course_id_13,student_id_26,sat_3).
382sat(course_id_13,student_id_27,sat_2).
383sat(course_id_13,student_id_33,sat_3).
384sat(course_id_13,student_id_37,sat_3).
385sat(course_id_13,student_id_41,sat_2).
386intelligence(student_id_4,intelligence_3).
387intelligence(student_id_5,intelligence_3).
388intelligence(student_id_6,intelligence_3).
389intelligence(student_id_7,intelligence_3).
390intelligence(student_id_8,intelligence_3).
391intelligence(student_id_9,intelligence_3).
392intelligence(student_id_10,intelligence_3).
393intelligence(student_id_11,intelligence_3).
394intelligence(student_id_12,intelligence_2).
395intelligence(student_id_13,intelligence_2).
396intelligence(student_id_14,intelligence_2).
397intelligence(student_id_15,intelligence_2).
398intelligence(student_id_16,intelligence_2).
399intelligence(student_id_17,intelligence_2).
400intelligence(student_id_18,intelligence_2).
401intelligence(student_id_19,intelligence_2).
402intelligence(student_id_20,intelligence_2).
403intelligence(student_id_21,intelligence_2).
404intelligence(student_id_22,intelligence_2).
405intelligence(student_id_23,intelligence_2).
406intelligence(student_id_24,intelligence_2).
407intelligence(student_id_25,intelligence_1).
408intelligence(student_id_26,intelligence_1).
409intelligence(student_id_27,intelligence_1).
410intelligence(student_id_28,intelligence_1).
411intelligence(student_id_29,intelligence_1).
412intelligence(student_id_30,intelligence_1).
413intelligence(student_id_31,intelligence_1).
414intelligence(student_id_32,intelligence_1).
415intelligence(student_id_33,intelligence_1).
416intelligence(student_id_34,intelligence_1).
417intelligence(student_id_35,intelligence_1).
418intelligence(student_id_36,intelligence_1).
419intelligence(student_id_37,intelligence_1).
420intelligence(student_id_38,intelligence_1).
421intelligence(student_id_39,intelligence_3).
422intelligence(student_id_40,intelligence_3).
423intelligence(student_id_41,intelligence_3).
424ranking(student_id_4,ranking_1).
425ranking(student_id_5,ranking_1).
426ranking(student_id_6,ranking_2).
427ranking(student_id_7,ranking_1).
428ranking(student_id_8,ranking_1).
429ranking(student_id_9,ranking_2).
430ranking(student_id_10,ranking_1).
431ranking(student_id_11,ranking_2).
432ranking(student_id_12,ranking_2).
433ranking(student_id_13,ranking_2).
434ranking(student_id_14,ranking_2).
435ranking(student_id_15,ranking_3).
436ranking(student_id_16,ranking_3).
437ranking(student_id_17,ranking_3).
438ranking(student_id_18,ranking_3).
439ranking(student_id_19,ranking_3).
440ranking(student_id_20,ranking_3).
441ranking(student_id_21,ranking_2).
442ranking(student_id_22,ranking_4).
443ranking(student_id_23,ranking_3).
444ranking(student_id_24,ranking_2).
445ranking(student_id_25,ranking_4).
446ranking(student_id_26,ranking_4).
447ranking(student_id_27,ranking_4).
448ranking(student_id_28,ranking_4).
449ranking(student_id_29,ranking_5).
450ranking(student_id_30,ranking_5).
451ranking(student_id_31,ranking_5).
452ranking(student_id_32,ranking_5).
453ranking(student_id_33,ranking_5).
454ranking(student_id_34,ranking_4).
455ranking(student_id_35,ranking_4).
456ranking(student_id_36,ranking_5).
457ranking(student_id_37,ranking_5).
458ranking(student_id_38,ranking_5).
459ranking(student_id_39,ranking_1).
460ranking(student_id_40,ranking_1).
461ranking(student_id_41,ranking_1).
462b_registration(course_id_4,student_id_4).
463b_registration(course_id_4,student_id_6).
464b_registration(course_id_4,student_id_7).
465b_registration(course_id_4,student_id_12).
466b_registration(course_id_4,student_id_18).
467b_registration(course_id_4,student_id_29).
468b_registration(course_id_4,student_id_38).
469b_registration(course_id_4,student_id_40).
470b_registration(course_id_5,student_id_4).
471b_registration(course_id_5,student_id_5).
472b_registration(course_id_5,student_id_6).
473b_registration(course_id_5,student_id_15).
474b_registration(course_id_5,student_id_18).
475b_registration(course_id_5,student_id_25).
476b_registration(course_id_5,student_id_29).
477b_registration(course_id_5,student_id_34).
478b_registration(course_id_5,student_id_38).
479b_registration(course_id_5,student_id_39).
480b_registration(course_id_5,student_id_41).
481b_registration(course_id_6,student_id_4).
482b_registration(course_id_6,student_id_6).
483b_registration(course_id_6,student_id_7).
484b_registration(course_id_6,student_id_9).
485b_registration(course_id_6,student_id_13).
486b_registration(course_id_6,student_id_19).
487b_registration(course_id_6,student_id_25).
488b_registration(course_id_6,student_id_30).
489b_registration(course_id_6,student_id_41).
490b_registration(course_id_7,student_id_4).
491b_registration(course_id_7,student_id_5).
492b_registration(course_id_7,student_id_9).
493b_registration(course_id_7,student_id_15).
494b_registration(course_id_7,student_id_20).
495b_registration(course_id_7,student_id_30).
496b_registration(course_id_7,student_id_40).
497b_registration(course_id_8,student_id_5).
498b_registration(course_id_8,student_id_6).
499b_registration(course_id_8,student_id_9).
500b_registration(course_id_8,student_id_10).
501b_registration(course_id_8,student_id_11).
502b_registration(course_id_8,student_id_14).
503b_registration(course_id_8,student_id_20).
504b_registration(course_id_8,student_id_22).
505b_registration(course_id_8,student_id_30).
506b_registration(course_id_8,student_id_41).
507b_registration(course_id_9,student_id_6).
508b_registration(course_id_9,student_id_10).
509b_registration(course_id_9,student_id_12).
510b_registration(course_id_9,student_id_15).
511b_registration(course_id_9,student_id_23).
512b_registration(course_id_9,student_id_31).
513b_registration(course_id_9,student_id_33).
514b_registration(course_id_9,student_id_35).
515b_registration(course_id_10,student_id_6).
516b_registration(course_id_10,student_id_11).
517b_registration(course_id_10,student_id_14).
518b_registration(course_id_10,student_id_17).
519b_registration(course_id_10,student_id_18).
520b_registration(course_id_10,student_id_23).
521b_registration(course_id_10,student_id_32).
522b_registration(course_id_10,student_id_36).
523b_registration(course_id_11,student_id_7).
524b_registration(course_id_11,student_id_8).
525b_registration(course_id_11,student_id_14).
526b_registration(course_id_11,student_id_16).
527b_registration(course_id_11,student_id_17).
528b_registration(course_id_11,student_id_23).
529b_registration(course_id_11,student_id_28).
530b_registration(course_id_11,student_id_32).
531b_registration(course_id_11,student_id_37).
532b_registration(course_id_11,student_id_41).
533b_registration(course_id_12,student_id_8).
534b_registration(course_id_12,student_id_10).
535b_registration(course_id_12,student_id_11).
536b_registration(course_id_12,student_id_17).
537b_registration(course_id_12,student_id_21).
538b_registration(course_id_12,student_id_22).
539b_registration(course_id_12,student_id_23).
540b_registration(course_id_12,student_id_24).
541b_registration(course_id_12,student_id_26).
542b_registration(course_id_12,student_id_28).
543b_registration(course_id_12,student_id_33).
544b_registration(course_id_12,student_id_37).
545b_registration(course_id_13,student_id_7).
546b_registration(course_id_13,student_id_14).
547b_registration(course_id_13,student_id_16).
548b_registration(course_id_13,student_id_21).
549b_registration(course_id_13,student_id_26).
550b_registration(course_id_13,student_id_27).
551b_registration(course_id_13,student_id_33).
552b_registration(course_id_13,student_id_37).
553b_registration(course_id_13,student_id_41).
554b_ra(prof_id_5,student_id_5).
555b_ra(prof_id_6,student_id_5).
556b_ra(prof_id_7,student_id_7).
557b_ra(prof_id_7,student_id_8).
558b_ra(prof_id_6,student_id_8).
559b_ra(prof_id_6,student_id_9).
560b_ra(prof_id_9,student_id_10).
561b_ra(prof_id_7,student_id_11).
562b_ra(prof_id_8,student_id_12).
563b_ra(prof_id_8,student_id_13).
564b_ra(prof_id_5,student_id_14).
565b_ra(prof_id_6,student_id_15).
566b_ra(prof_id_6,student_id_16).
567b_ra(prof_id_4,student_id_17).
568b_ra(prof_id_5,student_id_18).
569b_ra(prof_id_7,student_id_19).
570b_ra(prof_id_7,student_id_20).
571b_ra(prof_id_8,student_id_21).
572b_ra(prof_id_7,student_id_22).
573b_ra(prof_id_6,student_id_23).
574b_ra(prof_id_6,student_id_24).
575b_ra(prof_id_6,student_id_25).
576b_ra(prof_id_5,student_id_26).
577b_ra(prof_id_5,student_id_27).
578b_ra(prof_id_5,student_id_28).
579rating(course_id_6,rating_2).
580rating(course_id_9,rating_2).
581end(model(f1)).
582begin(model(f2)).
583capability(prof_id_5,student_id_5,capability_1).
584capability(prof_id_6,student_id_5,capability_2).
585capability(prof_id_7,student_id_7,capability_4).
586capability(prof_id_7,student_id_8,capability_4).
587capability(prof_id_6,student_id_8,capability_4).
588capability(prof_id_6,student_id_9,capability_4).
589capability(prof_id_9,student_id_10,capability_3).
590capability(prof_id_7,student_id_11,capability_1).
591capability(prof_id_8,student_id_12,capability_1).
592capability(prof_id_8,student_id_13,capability_2).
593capability(prof_id_5,student_id_14,capability_2).
594capability(prof_id_6,student_id_15,capability_1).
595capability(prof_id_6,student_id_16,capability_2).
596capability(prof_id_4,student_id_17,capability_3).
597capability(prof_id_5,student_id_18,capability_3).
598capability(prof_id_7,student_id_19,capability_5).
599capability(prof_id_7,student_id_20,capability_1).
600capability(prof_id_8,student_id_21,capability_3).
601capability(prof_id_7,student_id_22,capability_3).
602capability(prof_id_6,student_id_23,capability_5).
603capability(prof_id_6,student_id_24,capability_5).
604capability(prof_id_6,student_id_25,capability_5).
605capability(prof_id_5,student_id_26,capability_4).
606capability(prof_id_5,student_id_27,capability_3).
607capability(prof_id_5,student_id_28,capability_3).
608salary(prof_id_5,student_id_5,salary_low).
609salary(prof_id_6,student_id_5,salary_low).
610salary(prof_id_7,student_id_7,salary_high).
611salary(prof_id_7,student_id_8,salary_high).
612salary(prof_id_6,student_id_8,salary_high).
613salary(prof_id_6,student_id_9,salary_high).
614salary(prof_id_9,student_id_10,salary_high).
615salary(prof_id_7,student_id_11,salary_med).
616salary(prof_id_8,student_id_12,salary_med).
617salary(prof_id_8,student_id_13,salary_med).
618salary(prof_id_5,student_id_14,salary_low).
619salary(prof_id_6,student_id_15,salary_med).
620salary(prof_id_6,student_id_16,salary_med).
621salary(prof_id_4,student_id_17,salary_med).
622salary(prof_id_5,student_id_18,salary_high).
623salary(prof_id_7,student_id_19,salary_high).
624salary(prof_id_7,student_id_20,salary_low).
625salary(prof_id_8,student_id_21,salary_low).
626salary(prof_id_7,student_id_22,salary_med).
627salary(prof_id_6,student_id_23,salary_high).
628salary(prof_id_6,student_id_24,salary_high).
629salary(prof_id_6,student_id_25,salary_high).
630salary(prof_id_5,student_id_26,salary_high).
631salary(prof_id_5,student_id_27,salary_med).
632salary(prof_id_5,student_id_28,salary_med).
633diff(course_id_4,diff_1).
634diff(course_id_5,diff_2).
635diff(course_id_6,diff_1).
636diff(course_id_7,diff_2).
637diff(course_id_8,diff_1).
638diff(course_id_9,diff_2).
639diff(course_id_10,diff_1).
640diff(course_id_11,diff_2).
641diff(course_id_12,diff_1).
642diff(course_id_13,diff_2).
643popularity(prof_id_4,popularity_2).
644popularity(prof_id_5,popularity_2).
645popularity(prof_id_6,popularity_2).
646popularity(prof_id_7,popularity_2).
647popularity(prof_id_8,popularity_1).
648popularity(prof_id_9,popularity_1).
649teachingability(prof_id_4,teachingability_3).
650teachingability(prof_id_5,teachingability_3).
651teachingability(prof_id_6,teachingability_3).
652teachingability(prof_id_7,teachingability_2).
653teachingability(prof_id_8,teachingability_2).
654teachingability(prof_id_9,teachingability_2).
655grade(course_id_4,student_id_4,grade_1).
656grade(course_id_4,student_id_6,grade_1).
657grade(course_id_4,student_id_7,grade_1).
658grade(course_id_4,student_id_12,grade_2).
659grade(course_id_4,student_id_18,grade_2).
660grade(course_id_4,student_id_29,grade_3).
661grade(course_id_4,student_id_38,grade_4).
662grade(course_id_4,student_id_40,grade_1).
663grade(course_id_5,student_id_4,grade_1).
664grade(course_id_5,student_id_5,grade_2).
665grade(course_id_5,student_id_6,grade_2).
666grade(course_id_5,student_id_15,grade_2).
667grade(course_id_5,student_id_18,grade_3).
668grade(course_id_5,student_id_25,grade_3).
669grade(course_id_5,student_id_29,grade_4).
670grade(course_id_5,student_id_34,grade_3).
671grade(course_id_5,student_id_38,grade_4).
672grade(course_id_5,student_id_39,grade_1).
673grade(course_id_5,student_id_41,grade_1).
674grade(course_id_6,student_id_4,grade_1).
675grade(course_id_6,student_id_6,grade_1).
676grade(course_id_6,student_id_7,grade_1).
677grade(course_id_6,student_id_9,grade_1).
678grade(course_id_6,student_id_13,grade_1).
679grade(course_id_6,student_id_19,grade_2).
680grade(course_id_6,student_id_25,grade_3).
681grade(course_id_6,student_id_30,grade_4).
682grade(course_id_6,student_id_41,grade_1).
683grade(course_id_7,student_id_4,grade_2).
684grade(course_id_7,student_id_5,grade_2).
685grade(course_id_7,student_id_9,grade_2).
686grade(course_id_7,student_id_15,grade_2).
687grade(course_id_7,student_id_20,grade_2).
688grade(course_id_7,student_id_30,grade_4).
689grade(course_id_7,student_id_40,grade_1).
690grade(course_id_8,student_id_5,grade_1).
691grade(course_id_8,student_id_6,grade_1).
692grade(course_id_8,student_id_9,grade_1).
693grade(course_id_8,student_id_10,grade_1).
694grade(course_id_8,student_id_11,grade_2).
695grade(course_id_8,student_id_14,grade_1).
696grade(course_id_8,student_id_20,grade_3).
697grade(course_id_8,student_id_22,grade_3).
698grade(course_id_8,student_id_30,grade_4).
699grade(course_id_8,student_id_41,grade_1).
700grade(course_id_9,student_id_6,grade_1).
701grade(course_id_9,student_id_10,grade_2).
702grade(course_id_9,student_id_12,grade_2).
703grade(course_id_9,student_id_15,grade_2).
704grade(course_id_9,student_id_23,grade_2).
705grade(course_id_9,student_id_31,grade_3).
706grade(course_id_9,student_id_33,grade_3).
707grade(course_id_9,student_id_35,grade_3).
708grade(course_id_10,student_id_6,grade_1).
709grade(course_id_10,student_id_11,grade_1).
710grade(course_id_10,student_id_14,grade_1).
711grade(course_id_10,student_id_17,grade_3).
712grade(course_id_10,student_id_18,grade_1).
713grade(course_id_10,student_id_23,grade_2).
714grade(course_id_10,student_id_32,grade_3).
715grade(course_id_10,student_id_36,grade_4).
716grade(course_id_11,student_id_7,grade_2).
717grade(course_id_11,student_id_8,grade_1).
718grade(course_id_11,student_id_14,grade_2).
719grade(course_id_11,student_id_16,grade_2).
720grade(course_id_11,student_id_17,grade_2).
721grade(course_id_11,student_id_23,grade_3).
722grade(course_id_11,student_id_28,grade_4).
723grade(course_id_11,student_id_32,grade_4).
724grade(course_id_11,student_id_37,grade_3).
725grade(course_id_11,student_id_41,grade_2).
726grade(course_id_12,student_id_8,grade_1).
727grade(course_id_12,student_id_10,grade_1).
728grade(course_id_12,student_id_11,grade_1).
729grade(course_id_12,student_id_17,grade_2).
730grade(course_id_12,student_id_21,grade_1).
731grade(course_id_12,student_id_22,grade_2).
732grade(course_id_12,student_id_23,grade_1).
733grade(course_id_12,student_id_24,grade_1).
734grade(course_id_12,student_id_26,grade_2).
735grade(course_id_12,student_id_28,grade_3).
736grade(course_id_12,student_id_33,grade_4).
737grade(course_id_12,student_id_37,grade_4).
738grade(course_id_13,student_id_7,grade_2).
739grade(course_id_13,student_id_14,grade_2).
740grade(course_id_13,student_id_16,grade_3).
741grade(course_id_13,student_id_21,grade_2).
742grade(course_id_13,student_id_26,grade_3).
743grade(course_id_13,student_id_27,grade_3).
744grade(course_id_13,student_id_33,grade_4).
745grade(course_id_13,student_id_37,grade_4).
746grade(course_id_13,student_id_41,grade_2).
747sat(course_id_4,student_id_4,sat_1).
748sat(course_id_4,student_id_6,sat_1).
749sat(course_id_4,student_id_7,sat_1).
750sat(course_id_4,student_id_12,sat_2).
751sat(course_id_4,student_id_18,sat_2).
752sat(course_id_4,student_id_29,sat_2).
753sat(course_id_4,student_id_38,sat_3).
754sat(course_id_4,student_id_40,sat_1).
755sat(course_id_5,student_id_4,sat_1).
756sat(course_id_5,student_id_5,sat_2).
757sat(course_id_5,student_id_6,sat_2).
758sat(course_id_5,student_id_15,sat_1).
759sat(course_id_5,student_id_18,sat_2).
760sat(course_id_5,student_id_25,sat_2).
761sat(course_id_5,student_id_29,sat_3).
762sat(course_id_5,student_id_34,sat_2).
763sat(course_id_5,student_id_38,sat_3).
764sat(course_id_5,student_id_39,sat_1).
765sat(course_id_5,student_id_41,sat_1).
766sat(course_id_6,student_id_4,sat_1).
767sat(course_id_6,student_id_6,sat_1).
768sat(course_id_6,student_id_7,sat_1).
769sat(course_id_6,student_id_9,sat_1).
770sat(course_id_6,student_id_13,sat_1).
771sat(course_id_6,student_id_19,sat_3).
772sat(course_id_6,student_id_25,sat_3).
773sat(course_id_6,student_id_30,sat_3).
774sat(course_id_6,student_id_41,sat_1).
775sat(course_id_7,student_id_4,sat_1).
776sat(course_id_7,student_id_5,sat_2).
777sat(course_id_7,student_id_9,sat_2).
778sat(course_id_7,student_id_15,sat_1).
779sat(course_id_7,student_id_20,sat_2).
780sat(course_id_7,student_id_30,sat_3).
781sat(course_id_7,student_id_40,sat_1).
782sat(course_id_8,student_id_5,sat_1).
783sat(course_id_8,student_id_6,sat_1).
784sat(course_id_8,student_id_9,sat_2).
785sat(course_id_8,student_id_10,sat_1).
786sat(course_id_8,student_id_11,sat_2).
787sat(course_id_8,student_id_14,sat_1).
788sat(course_id_8,student_id_20,sat_3).
789sat(course_id_8,student_id_22,sat_2).
790sat(course_id_8,student_id_30,sat_3).
791sat(course_id_8,student_id_41,sat_1).
792sat(course_id_9,student_id_6,sat_1).
793sat(course_id_9,student_id_10,sat_2).
794sat(course_id_9,student_id_12,sat_1).
795sat(course_id_9,student_id_15,sat_1).
796sat(course_id_9,student_id_23,sat_2).
797sat(course_id_9,student_id_31,sat_2).
798sat(course_id_9,student_id_33,sat_2).
799sat(course_id_9,student_id_35,sat_2).
800sat(course_id_10,student_id_6,sat_1).
801sat(course_id_10,student_id_11,sat_2).
802sat(course_id_10,student_id_14,sat_1).
803sat(course_id_10,student_id_17,sat_3).
804sat(course_id_10,student_id_18,sat_1).
805sat(course_id_10,student_id_23,sat_1).
806sat(course_id_10,student_id_32,sat_2).
807sat(course_id_10,student_id_36,sat_3).
808sat(course_id_11,student_id_7,sat_1).
809sat(course_id_11,student_id_8,sat_1).
810sat(course_id_11,student_id_14,sat_1).
811sat(course_id_11,student_id_16,sat_1).
812sat(course_id_11,student_id_17,sat_1).
813sat(course_id_11,student_id_23,sat_3).
814sat(course_id_11,student_id_28,sat_3).
815sat(course_id_11,student_id_32,sat_3).
816sat(course_id_11,student_id_37,sat_3).
817sat(course_id_11,student_id_41,sat_2).
818sat(course_id_12,student_id_8,sat_1).
819sat(course_id_12,student_id_10,sat_1).
820sat(course_id_12,student_id_11,sat_2).
821sat(course_id_12,student_id_17,sat_2).
822sat(course_id_12,student_id_21,sat_1).
823sat(course_id_12,student_id_22,sat_1).
824sat(course_id_12,student_id_23,sat_1).
825sat(course_id_12,student_id_24,sat_1).
826sat(course_id_12,student_id_26,sat_3).
827sat(course_id_12,student_id_28,sat_2).
828sat(course_id_12,student_id_33,sat_3).
829sat(course_id_12,student_id_37,sat_3).
830sat(course_id_13,student_id_7,sat_1).
831sat(course_id_13,student_id_14,sat_2).
832sat(course_id_13,student_id_16,sat_2).
833sat(course_id_13,student_id_21,sat_2).
834sat(course_id_13,student_id_26,sat_3).
835sat(course_id_13,student_id_27,sat_2).
836sat(course_id_13,student_id_33,sat_3).
837sat(course_id_13,student_id_37,sat_3).
838sat(course_id_13,student_id_41,sat_2).
839intelligence(student_id_4,intelligence_3).
840intelligence(student_id_5,intelligence_3).
841intelligence(student_id_6,intelligence_3).
842intelligence(student_id_7,intelligence_3).
843intelligence(student_id_8,intelligence_3).
844intelligence(student_id_9,intelligence_3).
845intelligence(student_id_10,intelligence_3).
846intelligence(student_id_11,intelligence_3).
847intelligence(student_id_12,intelligence_2).
848intelligence(student_id_13,intelligence_2).
849intelligence(student_id_14,intelligence_2).
850intelligence(student_id_15,intelligence_2).
851intelligence(student_id_16,intelligence_2).
852intelligence(student_id_17,intelligence_2).
853intelligence(student_id_18,intelligence_2).
854intelligence(student_id_19,intelligence_2).
855intelligence(student_id_20,intelligence_2).
856intelligence(student_id_21,intelligence_2).
857intelligence(student_id_22,intelligence_2).
858intelligence(student_id_23,intelligence_2).
859intelligence(student_id_24,intelligence_2).
860intelligence(student_id_25,intelligence_1).
861intelligence(student_id_26,intelligence_1).
862intelligence(student_id_27,intelligence_1).
863intelligence(student_id_28,intelligence_1).
864intelligence(student_id_29,intelligence_1).
865intelligence(student_id_30,intelligence_1).
866intelligence(student_id_31,intelligence_1).
867intelligence(student_id_32,intelligence_1).
868intelligence(student_id_33,intelligence_1).
869intelligence(student_id_34,intelligence_1).
870intelligence(student_id_35,intelligence_1).
871intelligence(student_id_36,intelligence_1).
872intelligence(student_id_37,intelligence_1).
873intelligence(student_id_38,intelligence_1).
874intelligence(student_id_39,intelligence_3).
875intelligence(student_id_40,intelligence_3).
876intelligence(student_id_41,intelligence_3).
877ranking(student_id_4,ranking_1).
878ranking(student_id_5,ranking_1).
879ranking(student_id_6,ranking_2).
880ranking(student_id_7,ranking_1).
881ranking(student_id_8,ranking_1).
882ranking(student_id_9,ranking_2).
883ranking(student_id_10,ranking_1).
884ranking(student_id_11,ranking_2).
885ranking(student_id_12,ranking_2).
886ranking(student_id_13,ranking_2).
887ranking(student_id_14,ranking_2).
888ranking(student_id_15,ranking_3).
889ranking(student_id_16,ranking_3).
890ranking(student_id_17,ranking_3).
891ranking(student_id_18,ranking_3).
892ranking(student_id_19,ranking_3).
893ranking(student_id_20,ranking_3).
894ranking(student_id_21,ranking_2).
895ranking(student_id_22,ranking_4).
896ranking(student_id_23,ranking_3).
897ranking(student_id_24,ranking_2).
898ranking(student_id_25,ranking_4).
899ranking(student_id_26,ranking_4).
900ranking(student_id_27,ranking_4).
901ranking(student_id_28,ranking_4).
902ranking(student_id_29,ranking_5).
903ranking(student_id_30,ranking_5).
904ranking(student_id_31,ranking_5).
905ranking(student_id_32,ranking_5).
906ranking(student_id_33,ranking_5).
907ranking(student_id_34,ranking_4).
908ranking(student_id_35,ranking_4).
909ranking(student_id_36,ranking_5).
910ranking(student_id_37,ranking_5).
911ranking(student_id_38,ranking_5).
912ranking(student_id_39,ranking_1).
913ranking(student_id_40,ranking_1).
914ranking(student_id_41,ranking_1).
915b_registration(course_id_4,student_id_4).
916b_registration(course_id_4,student_id_6).
917b_registration(course_id_4,student_id_7).
918b_registration(course_id_4,student_id_12).
919b_registration(course_id_4,student_id_18).
920b_registration(course_id_4,student_id_29).
921b_registration(course_id_4,student_id_38).
922b_registration(course_id_4,student_id_40).
923b_registration(course_id_5,student_id_4).
924b_registration(course_id_5,student_id_5).
925b_registration(course_id_5,student_id_6).
926b_registration(course_id_5,student_id_15).
927b_registration(course_id_5,student_id_18).
928b_registration(course_id_5,student_id_25).
929b_registration(course_id_5,student_id_29).
930b_registration(course_id_5,student_id_34).
931b_registration(course_id_5,student_id_38).
932b_registration(course_id_5,student_id_39).
933b_registration(course_id_5,student_id_41).
934b_registration(course_id_6,student_id_4).
935b_registration(course_id_6,student_id_6).
936b_registration(course_id_6,student_id_7).
937b_registration(course_id_6,student_id_9).
938b_registration(course_id_6,student_id_13).
939b_registration(course_id_6,student_id_19).
940b_registration(course_id_6,student_id_25).
941b_registration(course_id_6,student_id_30).
942b_registration(course_id_6,student_id_41).
943b_registration(course_id_7,student_id_4).
944b_registration(course_id_7,student_id_5).
945b_registration(course_id_7,student_id_9).
946b_registration(course_id_7,student_id_15).
947b_registration(course_id_7,student_id_20).
948b_registration(course_id_7,student_id_30).
949b_registration(course_id_7,student_id_40).
950b_registration(course_id_8,student_id_5).
951b_registration(course_id_8,student_id_6).
952b_registration(course_id_8,student_id_9).
953b_registration(course_id_8,student_id_10).
954b_registration(course_id_8,student_id_11).
955b_registration(course_id_8,student_id_14).
956b_registration(course_id_8,student_id_20).
957b_registration(course_id_8,student_id_22).
958b_registration(course_id_8,student_id_30).
959b_registration(course_id_8,student_id_41).
960b_registration(course_id_9,student_id_6).
961b_registration(course_id_9,student_id_10).
962b_registration(course_id_9,student_id_12).
963b_registration(course_id_9,student_id_15).
964b_registration(course_id_9,student_id_23).
965b_registration(course_id_9,student_id_31).
966b_registration(course_id_9,student_id_33).
967b_registration(course_id_9,student_id_35).
968b_registration(course_id_10,student_id_6).
969b_registration(course_id_10,student_id_11).
970b_registration(course_id_10,student_id_14).
971b_registration(course_id_10,student_id_17).
972b_registration(course_id_10,student_id_18).
973b_registration(course_id_10,student_id_23).
974b_registration(course_id_10,student_id_32).
975b_registration(course_id_10,student_id_36).
976b_registration(course_id_11,student_id_7).
977b_registration(course_id_11,student_id_8).
978b_registration(course_id_11,student_id_14).
979b_registration(course_id_11,student_id_16).
980b_registration(course_id_11,student_id_17).
981b_registration(course_id_11,student_id_23).
982b_registration(course_id_11,student_id_28).
983b_registration(course_id_11,student_id_32).
984b_registration(course_id_11,student_id_37).
985b_registration(course_id_11,student_id_41).
986b_registration(course_id_12,student_id_8).
987b_registration(course_id_12,student_id_10).
988b_registration(course_id_12,student_id_11).
989b_registration(course_id_12,student_id_17).
990b_registration(course_id_12,student_id_21).
991b_registration(course_id_12,student_id_22).
992b_registration(course_id_12,student_id_23).
993b_registration(course_id_12,student_id_24).
994b_registration(course_id_12,student_id_26).
995b_registration(course_id_12,student_id_28).
996b_registration(course_id_12,student_id_33).
997b_registration(course_id_12,student_id_37).
998b_registration(course_id_13,student_id_7).
999b_registration(course_id_13,student_id_14).
1000b_registration(course_id_13,student_id_16).
1001b_registration(course_id_13,student_id_21).
1002b_registration(course_id_13,student_id_26).
1003b_registration(course_id_13,student_id_27).
1004b_registration(course_id_13,student_id_33).
1005b_registration(course_id_13,student_id_37).
1006b_registration(course_id_13,student_id_41).
1007b_ra(prof_id_5,student_id_5).
1008b_ra(prof_id_6,student_id_5).
1009b_ra(prof_id_7,student_id_7).
1010b_ra(prof_id_7,student_id_8).
1011b_ra(prof_id_6,student_id_8).
1012b_ra(prof_id_6,student_id_9).
1013b_ra(prof_id_9,student_id_10).
1014b_ra(prof_id_7,student_id_11).
1015b_ra(prof_id_8,student_id_12).
1016b_ra(prof_id_8,student_id_13).
1017b_ra(prof_id_5,student_id_14).
1018b_ra(prof_id_6,student_id_15).
1019b_ra(prof_id_6,student_id_16).
1020b_ra(prof_id_4,student_id_17).
1021b_ra(prof_id_5,student_id_18).
1022b_ra(prof_id_7,student_id_19).
1023b_ra(prof_id_7,student_id_20).
1024b_ra(prof_id_8,student_id_21).
1025b_ra(prof_id_7,student_id_22).
1026b_ra(prof_id_6,student_id_23).
1027b_ra(prof_id_6,student_id_24).
1028b_ra(prof_id_6,student_id_25).
1029b_ra(prof_id_5,student_id_26).
1030b_ra(prof_id_5,student_id_27).
1031b_ra(prof_id_5,student_id_28).
1032rating(course_id_8,rating_2).
1033rating(course_id_12,rating_1).
1034end(model(f2)).
1035begin(model(f3)).
1036capability(prof_id_5,student_id_5,capability_1).
1037capability(prof_id_6,student_id_5,capability_2).
1038capability(prof_id_7,student_id_7,capability_4).
1039capability(prof_id_7,student_id_8,capability_4).
1040capability(prof_id_6,student_id_8,capability_4).
1041capability(prof_id_6,student_id_9,capability_4).
1042capability(prof_id_9,student_id_10,capability_3).
1043capability(prof_id_7,student_id_11,capability_1).
1044capability(prof_id_8,student_id_12,capability_1).
1045capability(prof_id_8,student_id_13,capability_2).
1046capability(prof_id_5,student_id_14,capability_2).
1047capability(prof_id_6,student_id_15,capability_1).
1048capability(prof_id_6,student_id_16,capability_2).
1049capability(prof_id_4,student_id_17,capability_3).
1050capability(prof_id_5,student_id_18,capability_3).
1051capability(prof_id_7,student_id_19,capability_5).
1052capability(prof_id_7,student_id_20,capability_1).
1053capability(prof_id_8,student_id_21,capability_3).
1054capability(prof_id_7,student_id_22,capability_3).
1055capability(prof_id_6,student_id_23,capability_5).
1056capability(prof_id_6,student_id_24,capability_5).
1057capability(prof_id_6,student_id_25,capability_5).
1058capability(prof_id_5,student_id_26,capability_4).
1059capability(prof_id_5,student_id_27,capability_3).
1060capability(prof_id_5,student_id_28,capability_3).
1061salary(prof_id_5,student_id_5,salary_low).
1062salary(prof_id_6,student_id_5,salary_low).
1063salary(prof_id_7,student_id_7,salary_high).
1064salary(prof_id_7,student_id_8,salary_high).
1065salary(prof_id_6,student_id_8,salary_high).
1066salary(prof_id_6,student_id_9,salary_high).
1067salary(prof_id_9,student_id_10,salary_high).
1068salary(prof_id_7,student_id_11,salary_med).
1069salary(prof_id_8,student_id_12,salary_med).
1070salary(prof_id_8,student_id_13,salary_med).
1071salary(prof_id_5,student_id_14,salary_low).
1072salary(prof_id_6,student_id_15,salary_med).
1073salary(prof_id_6,student_id_16,salary_med).
1074salary(prof_id_4,student_id_17,salary_med).
1075salary(prof_id_5,student_id_18,salary_high).
1076salary(prof_id_7,student_id_19,salary_high).
1077salary(prof_id_7,student_id_20,salary_low).
1078salary(prof_id_8,student_id_21,salary_low).
1079salary(prof_id_7,student_id_22,salary_med).
1080salary(prof_id_6,student_id_23,salary_high).
1081salary(prof_id_6,student_id_24,salary_high).
1082salary(prof_id_6,student_id_25,salary_high).
1083salary(prof_id_5,student_id_26,salary_high).
1084salary(prof_id_5,student_id_27,salary_med).
1085salary(prof_id_5,student_id_28,salary_med).
1086diff(course_id_4,diff_1).
1087diff(course_id_5,diff_2).
1088diff(course_id_6,diff_1).
1089diff(course_id_7,diff_2).
1090diff(course_id_8,diff_1).
1091diff(course_id_9,diff_2).
1092diff(course_id_10,diff_1).
1093diff(course_id_11,diff_2).
1094diff(course_id_12,diff_1).
1095diff(course_id_13,diff_2).
1096popularity(prof_id_4,popularity_2).
1097popularity(prof_id_5,popularity_2).
1098popularity(prof_id_6,popularity_2).
1099popularity(prof_id_7,popularity_2).
1100popularity(prof_id_8,popularity_1).
1101popularity(prof_id_9,popularity_1).
1102teachingability(prof_id_4,teachingability_3).
1103teachingability(prof_id_5,teachingability_3).
1104teachingability(prof_id_6,teachingability_3).
1105teachingability(prof_id_7,teachingability_2).
1106teachingability(prof_id_8,teachingability_2).
1107teachingability(prof_id_9,teachingability_2).
1108grade(course_id_4,student_id_4,grade_1).
1109grade(course_id_4,student_id_6,grade_1).
1110grade(course_id_4,student_id_7,grade_1).
1111grade(course_id_4,student_id_12,grade_2).
1112grade(course_id_4,student_id_18,grade_2).
1113grade(course_id_4,student_id_29,grade_3).
1114grade(course_id_4,student_id_38,grade_4).
1115grade(course_id_4,student_id_40,grade_1).
1116grade(course_id_5,student_id_4,grade_1).
1117grade(course_id_5,student_id_5,grade_2).
1118grade(course_id_5,student_id_6,grade_2).
1119grade(course_id_5,student_id_15,grade_2).
1120grade(course_id_5,student_id_18,grade_3).
1121grade(course_id_5,student_id_25,grade_3).
1122grade(course_id_5,student_id_29,grade_4).
1123grade(course_id_5,student_id_34,grade_3).
1124grade(course_id_5,student_id_38,grade_4).
1125grade(course_id_5,student_id_39,grade_1).
1126grade(course_id_5,student_id_41,grade_1).
1127grade(course_id_6,student_id_4,grade_1).
1128grade(course_id_6,student_id_6,grade_1).
1129grade(course_id_6,student_id_7,grade_1).
1130grade(course_id_6,student_id_9,grade_1).
1131grade(course_id_6,student_id_13,grade_1).
1132grade(course_id_6,student_id_19,grade_2).
1133grade(course_id_6,student_id_25,grade_3).
1134grade(course_id_6,student_id_30,grade_4).
1135grade(course_id_6,student_id_41,grade_1).
1136grade(course_id_7,student_id_4,grade_2).
1137grade(course_id_7,student_id_5,grade_2).
1138grade(course_id_7,student_id_9,grade_2).
1139grade(course_id_7,student_id_15,grade_2).
1140grade(course_id_7,student_id_20,grade_2).
1141grade(course_id_7,student_id_30,grade_4).
1142grade(course_id_7,student_id_40,grade_1).
1143grade(course_id_8,student_id_5,grade_1).
1144grade(course_id_8,student_id_6,grade_1).
1145grade(course_id_8,student_id_9,grade_1).
1146grade(course_id_8,student_id_10,grade_1).
1147grade(course_id_8,student_id_11,grade_2).
1148grade(course_id_8,student_id_14,grade_1).
1149grade(course_id_8,student_id_20,grade_3).
1150grade(course_id_8,student_id_22,grade_3).
1151grade(course_id_8,student_id_30,grade_4).
1152grade(course_id_8,student_id_41,grade_1).
1153grade(course_id_9,student_id_6,grade_1).
1154grade(course_id_9,student_id_10,grade_2).
1155grade(course_id_9,student_id_12,grade_2).
1156grade(course_id_9,student_id_15,grade_2).
1157grade(course_id_9,student_id_23,grade_2).
1158grade(course_id_9,student_id_31,grade_3).
1159grade(course_id_9,student_id_33,grade_3).
1160grade(course_id_9,student_id_35,grade_3).
1161grade(course_id_10,student_id_6,grade_1).
1162grade(course_id_10,student_id_11,grade_1).
1163grade(course_id_10,student_id_14,grade_1).
1164grade(course_id_10,student_id_17,grade_3).
1165grade(course_id_10,student_id_18,grade_1).
1166grade(course_id_10,student_id_23,grade_2).
1167grade(course_id_10,student_id_32,grade_3).
1168grade(course_id_10,student_id_36,grade_4).
1169grade(course_id_11,student_id_7,grade_2).
1170grade(course_id_11,student_id_8,grade_1).
1171grade(course_id_11,student_id_14,grade_2).
1172grade(course_id_11,student_id_16,grade_2).
1173grade(course_id_11,student_id_17,grade_2).
1174grade(course_id_11,student_id_23,grade_3).
1175grade(course_id_11,student_id_28,grade_4).
1176grade(course_id_11,student_id_32,grade_4).
1177grade(course_id_11,student_id_37,grade_3).
1178grade(course_id_11,student_id_41,grade_2).
1179grade(course_id_12,student_id_8,grade_1).
1180grade(course_id_12,student_id_10,grade_1).
1181grade(course_id_12,student_id_11,grade_1).
1182grade(course_id_12,student_id_17,grade_2).
1183grade(course_id_12,student_id_21,grade_1).
1184grade(course_id_12,student_id_22,grade_2).
1185grade(course_id_12,student_id_23,grade_1).
1186grade(course_id_12,student_id_24,grade_1).
1187grade(course_id_12,student_id_26,grade_2).
1188grade(course_id_12,student_id_28,grade_3).
1189grade(course_id_12,student_id_33,grade_4).
1190grade(course_id_12,student_id_37,grade_4).
1191grade(course_id_13,student_id_7,grade_2).
1192grade(course_id_13,student_id_14,grade_2).
1193grade(course_id_13,student_id_16,grade_3).
1194grade(course_id_13,student_id_21,grade_2).
1195grade(course_id_13,student_id_26,grade_3).
1196grade(course_id_13,student_id_27,grade_3).
1197grade(course_id_13,student_id_33,grade_4).
1198grade(course_id_13,student_id_37,grade_4).
1199grade(course_id_13,student_id_41,grade_2).
1200sat(course_id_4,student_id_4,sat_1).
1201sat(course_id_4,student_id_6,sat_1).
1202sat(course_id_4,student_id_7,sat_1).
1203sat(course_id_4,student_id_12,sat_2).
1204sat(course_id_4,student_id_18,sat_2).
1205sat(course_id_4,student_id_29,sat_2).
1206sat(course_id_4,student_id_38,sat_3).
1207sat(course_id_4,student_id_40,sat_1).
1208sat(course_id_5,student_id_4,sat_1).
1209sat(course_id_5,student_id_5,sat_2).
1210sat(course_id_5,student_id_6,sat_2).
1211sat(course_id_5,student_id_15,sat_1).
1212sat(course_id_5,student_id_18,sat_2).
1213sat(course_id_5,student_id_25,sat_2).
1214sat(course_id_5,student_id_29,sat_3).
1215sat(course_id_5,student_id_34,sat_2).
1216sat(course_id_5,student_id_38,sat_3).
1217sat(course_id_5,student_id_39,sat_1).
1218sat(course_id_5,student_id_41,sat_1).
1219sat(course_id_6,student_id_4,sat_1).
1220sat(course_id_6,student_id_6,sat_1).
1221sat(course_id_6,student_id_7,sat_1).
1222sat(course_id_6,student_id_9,sat_1).
1223sat(course_id_6,student_id_13,sat_1).
1224sat(course_id_6,student_id_19,sat_3).
1225sat(course_id_6,student_id_25,sat_3).
1226sat(course_id_6,student_id_30,sat_3).
1227sat(course_id_6,student_id_41,sat_1).
1228sat(course_id_7,student_id_4,sat_1).
1229sat(course_id_7,student_id_5,sat_2).
1230sat(course_id_7,student_id_9,sat_2).
1231sat(course_id_7,student_id_15,sat_1).
1232sat(course_id_7,student_id_20,sat_2).
1233sat(course_id_7,student_id_30,sat_3).
1234sat(course_id_7,student_id_40,sat_1).
1235sat(course_id_8,student_id_5,sat_1).
1236sat(course_id_8,student_id_6,sat_1).
1237sat(course_id_8,student_id_9,sat_2).
1238sat(course_id_8,student_id_10,sat_1).
1239sat(course_id_8,student_id_11,sat_2).
1240sat(course_id_8,student_id_14,sat_1).
1241sat(course_id_8,student_id_20,sat_3).
1242sat(course_id_8,student_id_22,sat_2).
1243sat(course_id_8,student_id_30,sat_3).
1244sat(course_id_8,student_id_41,sat_1).
1245sat(course_id_9,student_id_6,sat_1).
1246sat(course_id_9,student_id_10,sat_2).
1247sat(course_id_9,student_id_12,sat_1).
1248sat(course_id_9,student_id_15,sat_1).
1249sat(course_id_9,student_id_23,sat_2).
1250sat(course_id_9,student_id_31,sat_2).
1251sat(course_id_9,student_id_33,sat_2).
1252sat(course_id_9,student_id_35,sat_2).
1253sat(course_id_10,student_id_6,sat_1).
1254sat(course_id_10,student_id_11,sat_2).
1255sat(course_id_10,student_id_14,sat_1).
1256sat(course_id_10,student_id_17,sat_3).
1257sat(course_id_10,student_id_18,sat_1).
1258sat(course_id_10,student_id_23,sat_1).
1259sat(course_id_10,student_id_32,sat_2).
1260sat(course_id_10,student_id_36,sat_3).
1261sat(course_id_11,student_id_7,sat_1).
1262sat(course_id_11,student_id_8,sat_1).
1263sat(course_id_11,student_id_14,sat_1).
1264sat(course_id_11,student_id_16,sat_1).
1265sat(course_id_11,student_id_17,sat_1).
1266sat(course_id_11,student_id_23,sat_3).
1267sat(course_id_11,student_id_28,sat_3).
1268sat(course_id_11,student_id_32,sat_3).
1269sat(course_id_11,student_id_37,sat_3).
1270sat(course_id_11,student_id_41,sat_2).
1271sat(course_id_12,student_id_8,sat_1).
1272sat(course_id_12,student_id_10,sat_1).
1273sat(course_id_12,student_id_11,sat_2).
1274sat(course_id_12,student_id_17,sat_2).
1275sat(course_id_12,student_id_21,sat_1).
1276sat(course_id_12,student_id_22,sat_1).
1277sat(course_id_12,student_id_23,sat_1).
1278sat(course_id_12,student_id_24,sat_1).
1279sat(course_id_12,student_id_26,sat_3).
1280sat(course_id_12,student_id_28,sat_2).
1281sat(course_id_12,student_id_33,sat_3).
1282sat(course_id_12,student_id_37,sat_3).
1283sat(course_id_13,student_id_7,sat_1).
1284sat(course_id_13,student_id_14,sat_2).
1285sat(course_id_13,student_id_16,sat_2).
1286sat(course_id_13,student_id_21,sat_2).
1287sat(course_id_13,student_id_26,sat_3).
1288sat(course_id_13,student_id_27,sat_2).
1289sat(course_id_13,student_id_33,sat_3).
1290sat(course_id_13,student_id_37,sat_3).
1291sat(course_id_13,student_id_41,sat_2).
1292intelligence(student_id_4,intelligence_3).
1293intelligence(student_id_5,intelligence_3).
1294intelligence(student_id_6,intelligence_3).
1295intelligence(student_id_7,intelligence_3).
1296intelligence(student_id_8,intelligence_3).
1297intelligence(student_id_9,intelligence_3).
1298intelligence(student_id_10,intelligence_3).
1299intelligence(student_id_11,intelligence_3).
1300intelligence(student_id_12,intelligence_2).
1301intelligence(student_id_13,intelligence_2).
1302intelligence(student_id_14,intelligence_2).
1303intelligence(student_id_15,intelligence_2).
1304intelligence(student_id_16,intelligence_2).
1305intelligence(student_id_17,intelligence_2).
1306intelligence(student_id_18,intelligence_2).
1307intelligence(student_id_19,intelligence_2).
1308intelligence(student_id_20,intelligence_2).
1309intelligence(student_id_21,intelligence_2).
1310intelligence(student_id_22,intelligence_2).
1311intelligence(student_id_23,intelligence_2).
1312intelligence(student_id_24,intelligence_2).
1313intelligence(student_id_25,intelligence_1).
1314intelligence(student_id_26,intelligence_1).
1315intelligence(student_id_27,intelligence_1).
1316intelligence(student_id_28,intelligence_1).
1317intelligence(student_id_29,intelligence_1).
1318intelligence(student_id_30,intelligence_1).
1319intelligence(student_id_31,intelligence_1).
1320intelligence(student_id_32,intelligence_1).
1321intelligence(student_id_33,intelligence_1).
1322intelligence(student_id_34,intelligence_1).
1323intelligence(student_id_35,intelligence_1).
1324intelligence(student_id_36,intelligence_1).
1325intelligence(student_id_37,intelligence_1).
1326intelligence(student_id_38,intelligence_1).
1327intelligence(student_id_39,intelligence_3).
1328intelligence(student_id_40,intelligence_3).
1329intelligence(student_id_41,intelligence_3).
1330ranking(student_id_4,ranking_1).
1331ranking(student_id_5,ranking_1).
1332ranking(student_id_6,ranking_2).
1333ranking(student_id_7,ranking_1).
1334ranking(student_id_8,ranking_1).
1335ranking(student_id_9,ranking_2).
1336ranking(student_id_10,ranking_1).
1337ranking(student_id_11,ranking_2).
1338ranking(student_id_12,ranking_2).
1339ranking(student_id_13,ranking_2).
1340ranking(student_id_14,ranking_2).
1341ranking(student_id_15,ranking_3).
1342ranking(student_id_16,ranking_3).
1343ranking(student_id_17,ranking_3).
1344ranking(student_id_18,ranking_3).
1345ranking(student_id_19,ranking_3).
1346ranking(student_id_20,ranking_3).
1347ranking(student_id_21,ranking_2).
1348ranking(student_id_22,ranking_4).
1349ranking(student_id_23,ranking_3).
1350ranking(student_id_24,ranking_2).
1351ranking(student_id_25,ranking_4).
1352ranking(student_id_26,ranking_4).
1353ranking(student_id_27,ranking_4).
1354ranking(student_id_28,ranking_4).
1355ranking(student_id_29,ranking_5).
1356ranking(student_id_30,ranking_5).
1357ranking(student_id_31,ranking_5).
1358ranking(student_id_32,ranking_5).
1359ranking(student_id_33,ranking_5).
1360ranking(student_id_34,ranking_4).
1361ranking(student_id_35,ranking_4).
1362ranking(student_id_36,ranking_5).
1363ranking(student_id_37,ranking_5).
1364ranking(student_id_38,ranking_5).
1365ranking(student_id_39,ranking_1).
1366ranking(student_id_40,ranking_1).
1367ranking(student_id_41,ranking_1).
1368b_registration(course_id_4,student_id_4).
1369b_registration(course_id_4,student_id_6).
1370b_registration(course_id_4,student_id_7).
1371b_registration(course_id_4,student_id_12).
1372b_registration(course_id_4,student_id_18).
1373b_registration(course_id_4,student_id_29).
1374b_registration(course_id_4,student_id_38).
1375b_registration(course_id_4,student_id_40).
1376b_registration(course_id_5,student_id_4).
1377b_registration(course_id_5,student_id_5).
1378b_registration(course_id_5,student_id_6).
1379b_registration(course_id_5,student_id_15).
1380b_registration(course_id_5,student_id_18).
1381b_registration(course_id_5,student_id_25).
1382b_registration(course_id_5,student_id_29).
1383b_registration(course_id_5,student_id_34).
1384b_registration(course_id_5,student_id_38).
1385b_registration(course_id_5,student_id_39).
1386b_registration(course_id_5,student_id_41).
1387b_registration(course_id_6,student_id_4).
1388b_registration(course_id_6,student_id_6).
1389b_registration(course_id_6,student_id_7).
1390b_registration(course_id_6,student_id_9).
1391b_registration(course_id_6,student_id_13).
1392b_registration(course_id_6,student_id_19).
1393b_registration(course_id_6,student_id_25).
1394b_registration(course_id_6,student_id_30).
1395b_registration(course_id_6,student_id_41).
1396b_registration(course_id_7,student_id_4).
1397b_registration(course_id_7,student_id_5).
1398b_registration(course_id_7,student_id_9).
1399b_registration(course_id_7,student_id_15).
1400b_registration(course_id_7,student_id_20).
1401b_registration(course_id_7,student_id_30).
1402b_registration(course_id_7,student_id_40).
1403b_registration(course_id_8,student_id_5).
1404b_registration(course_id_8,student_id_6).
1405b_registration(course_id_8,student_id_9).
1406b_registration(course_id_8,student_id_10).
1407b_registration(course_id_8,student_id_11).
1408b_registration(course_id_8,student_id_14).
1409b_registration(course_id_8,student_id_20).
1410b_registration(course_id_8,student_id_22).
1411b_registration(course_id_8,student_id_30).
1412b_registration(course_id_8,student_id_41).
1413b_registration(course_id_9,student_id_6).
1414b_registration(course_id_9,student_id_10).
1415b_registration(course_id_9,student_id_12).
1416b_registration(course_id_9,student_id_15).
1417b_registration(course_id_9,student_id_23).
1418b_registration(course_id_9,student_id_31).
1419b_registration(course_id_9,student_id_33).
1420b_registration(course_id_9,student_id_35).
1421b_registration(course_id_10,student_id_6).
1422b_registration(course_id_10,student_id_11).
1423b_registration(course_id_10,student_id_14).
1424b_registration(course_id_10,student_id_17).
1425b_registration(course_id_10,student_id_18).
1426b_registration(course_id_10,student_id_23).
1427b_registration(course_id_10,student_id_32).
1428b_registration(course_id_10,student_id_36).
1429b_registration(course_id_11,student_id_7).
1430b_registration(course_id_11,student_id_8).
1431b_registration(course_id_11,student_id_14).
1432b_registration(course_id_11,student_id_16).
1433b_registration(course_id_11,student_id_17).
1434b_registration(course_id_11,student_id_23).
1435b_registration(course_id_11,student_id_28).
1436b_registration(course_id_11,student_id_32).
1437b_registration(course_id_11,student_id_37).
1438b_registration(course_id_11,student_id_41).
1439b_registration(course_id_12,student_id_8).
1440b_registration(course_id_12,student_id_10).
1441b_registration(course_id_12,student_id_11).
1442b_registration(course_id_12,student_id_17).
1443b_registration(course_id_12,student_id_21).
1444b_registration(course_id_12,student_id_22).
1445b_registration(course_id_12,student_id_23).
1446b_registration(course_id_12,student_id_24).
1447b_registration(course_id_12,student_id_26).
1448b_registration(course_id_12,student_id_28).
1449b_registration(course_id_12,student_id_33).
1450b_registration(course_id_12,student_id_37).
1451b_registration(course_id_13,student_id_7).
1452b_registration(course_id_13,student_id_14).
1453b_registration(course_id_13,student_id_16).
1454b_registration(course_id_13,student_id_21).
1455b_registration(course_id_13,student_id_26).
1456b_registration(course_id_13,student_id_27).
1457b_registration(course_id_13,student_id_33).
1458b_registration(course_id_13,student_id_37).
1459b_registration(course_id_13,student_id_41).
1460b_ra(prof_id_5,student_id_5).
1461b_ra(prof_id_6,student_id_5).
1462b_ra(prof_id_7,student_id_7).
1463b_ra(prof_id_7,student_id_8).
1464b_ra(prof_id_6,student_id_8).
1465b_ra(prof_id_6,student_id_9).
1466b_ra(prof_id_9,student_id_10).
1467b_ra(prof_id_7,student_id_11).
1468b_ra(prof_id_8,student_id_12).
1469b_ra(prof_id_8,student_id_13).
1470b_ra(prof_id_5,student_id_14).
1471b_ra(prof_id_6,student_id_15).
1472b_ra(prof_id_6,student_id_16).
1473b_ra(prof_id_4,student_id_17).
1474b_ra(prof_id_5,student_id_18).
1475b_ra(prof_id_7,student_id_19).
1476b_ra(prof_id_7,student_id_20).
1477b_ra(prof_id_8,student_id_21).
1478b_ra(prof_id_7,student_id_22).
1479b_ra(prof_id_6,student_id_23).
1480b_ra(prof_id_6,student_id_24).
1481b_ra(prof_id_6,student_id_25).
1482b_ra(prof_id_5,student_id_26).
1483b_ra(prof_id_5,student_id_27).
1484b_ra(prof_id_5,student_id_28).
1485rating(course_id_11,rating_1).
1486rating(course_id_4,rating_2).
1487end(model(f3)).
1488begin(model(f4)).
1489capability(prof_id_5,student_id_5,capability_1).
1490capability(prof_id_6,student_id_5,capability_2).
1491capability(prof_id_7,student_id_7,capability_4).
1492capability(prof_id_7,student_id_8,capability_4).
1493capability(prof_id_6,student_id_8,capability_4).
1494capability(prof_id_6,student_id_9,capability_4).
1495capability(prof_id_9,student_id_10,capability_3).
1496capability(prof_id_7,student_id_11,capability_1).
1497capability(prof_id_8,student_id_12,capability_1).
1498capability(prof_id_8,student_id_13,capability_2).
1499capability(prof_id_5,student_id_14,capability_2).
1500capability(prof_id_6,student_id_15,capability_1).
1501capability(prof_id_6,student_id_16,capability_2).
1502capability(prof_id_4,student_id_17,capability_3).
1503capability(prof_id_5,student_id_18,capability_3).
1504capability(prof_id_7,student_id_19,capability_5).
1505capability(prof_id_7,student_id_20,capability_1).
1506capability(prof_id_8,student_id_21,capability_3).
1507capability(prof_id_7,student_id_22,capability_3).
1508capability(prof_id_6,student_id_23,capability_5).
1509capability(prof_id_6,student_id_24,capability_5).
1510capability(prof_id_6,student_id_25,capability_5).
1511capability(prof_id_5,student_id_26,capability_4).
1512capability(prof_id_5,student_id_27,capability_3).
1513capability(prof_id_5,student_id_28,capability_3).
1514salary(prof_id_5,student_id_5,salary_low).
1515salary(prof_id_6,student_id_5,salary_low).
1516salary(prof_id_7,student_id_7,salary_high).
1517salary(prof_id_7,student_id_8,salary_high).
1518salary(prof_id_6,student_id_8,salary_high).
1519salary(prof_id_6,student_id_9,salary_high).
1520salary(prof_id_9,student_id_10,salary_high).
1521salary(prof_id_7,student_id_11,salary_med).
1522salary(prof_id_8,student_id_12,salary_med).
1523salary(prof_id_8,student_id_13,salary_med).
1524salary(prof_id_5,student_id_14,salary_low).
1525salary(prof_id_6,student_id_15,salary_med).
1526salary(prof_id_6,student_id_16,salary_med).
1527salary(prof_id_4,student_id_17,salary_med).
1528salary(prof_id_5,student_id_18,salary_high).
1529salary(prof_id_7,student_id_19,salary_high).
1530salary(prof_id_7,student_id_20,salary_low).
1531salary(prof_id_8,student_id_21,salary_low).
1532salary(prof_id_7,student_id_22,salary_med).
1533salary(prof_id_6,student_id_23,salary_high).
1534salary(prof_id_6,student_id_24,salary_high).
1535salary(prof_id_6,student_id_25,salary_high).
1536salary(prof_id_5,student_id_26,salary_high).
1537salary(prof_id_5,student_id_27,salary_med).
1538salary(prof_id_5,student_id_28,salary_med).
1539diff(course_id_4,diff_1).
1540diff(course_id_5,diff_2).
1541diff(course_id_6,diff_1).
1542diff(course_id_7,diff_2).
1543diff(course_id_8,diff_1).
1544diff(course_id_9,diff_2).
1545diff(course_id_10,diff_1).
1546diff(course_id_11,diff_2).
1547diff(course_id_12,diff_1).
1548diff(course_id_13,diff_2).
1549popularity(prof_id_4,popularity_2).
1550popularity(prof_id_5,popularity_2).
1551popularity(prof_id_6,popularity_2).
1552popularity(prof_id_7,popularity_2).
1553popularity(prof_id_8,popularity_1).
1554popularity(prof_id_9,popularity_1).
1555teachingability(prof_id_4,teachingability_3).
1556teachingability(prof_id_5,teachingability_3).
1557teachingability(prof_id_6,teachingability_3).
1558teachingability(prof_id_7,teachingability_2).
1559teachingability(prof_id_8,teachingability_2).
1560teachingability(prof_id_9,teachingability_2).
1561grade(course_id_4,student_id_4,grade_1).
1562grade(course_id_4,student_id_6,grade_1).
1563grade(course_id_4,student_id_7,grade_1).
1564grade(course_id_4,student_id_12,grade_2).
1565grade(course_id_4,student_id_18,grade_2).
1566grade(course_id_4,student_id_29,grade_3).
1567grade(course_id_4,student_id_38,grade_4).
1568grade(course_id_4,student_id_40,grade_1).
1569grade(course_id_5,student_id_4,grade_1).
1570grade(course_id_5,student_id_5,grade_2).
1571grade(course_id_5,student_id_6,grade_2).
1572grade(course_id_5,student_id_15,grade_2).
1573grade(course_id_5,student_id_18,grade_3).
1574grade(course_id_5,student_id_25,grade_3).
1575grade(course_id_5,student_id_29,grade_4).
1576grade(course_id_5,student_id_34,grade_3).
1577grade(course_id_5,student_id_38,grade_4).
1578grade(course_id_5,student_id_39,grade_1).
1579grade(course_id_5,student_id_41,grade_1).
1580grade(course_id_6,student_id_4,grade_1).
1581grade(course_id_6,student_id_6,grade_1).
1582grade(course_id_6,student_id_7,grade_1).
1583grade(course_id_6,student_id_9,grade_1).
1584grade(course_id_6,student_id_13,grade_1).
1585grade(course_id_6,student_id_19,grade_2).
1586grade(course_id_6,student_id_25,grade_3).
1587grade(course_id_6,student_id_30,grade_4).
1588grade(course_id_6,student_id_41,grade_1).
1589grade(course_id_7,student_id_4,grade_2).
1590grade(course_id_7,student_id_5,grade_2).
1591grade(course_id_7,student_id_9,grade_2).
1592grade(course_id_7,student_id_15,grade_2).
1593grade(course_id_7,student_id_20,grade_2).
1594grade(course_id_7,student_id_30,grade_4).
1595grade(course_id_7,student_id_40,grade_1).
1596grade(course_id_8,student_id_5,grade_1).
1597grade(course_id_8,student_id_6,grade_1).
1598grade(course_id_8,student_id_9,grade_1).
1599grade(course_id_8,student_id_10,grade_1).
1600grade(course_id_8,student_id_11,grade_2).
1601grade(course_id_8,student_id_14,grade_1).
1602grade(course_id_8,student_id_20,grade_3).
1603grade(course_id_8,student_id_22,grade_3).
1604grade(course_id_8,student_id_30,grade_4).
1605grade(course_id_8,student_id_41,grade_1).
1606grade(course_id_9,student_id_6,grade_1).
1607grade(course_id_9,student_id_10,grade_2).
1608grade(course_id_9,student_id_12,grade_2).
1609grade(course_id_9,student_id_15,grade_2).
1610grade(course_id_9,student_id_23,grade_2).
1611grade(course_id_9,student_id_31,grade_3).
1612grade(course_id_9,student_id_33,grade_3).
1613grade(course_id_9,student_id_35,grade_3).
1614grade(course_id_10,student_id_6,grade_1).
1615grade(course_id_10,student_id_11,grade_1).
1616grade(course_id_10,student_id_14,grade_1).
1617grade(course_id_10,student_id_17,grade_3).
1618grade(course_id_10,student_id_18,grade_1).
1619grade(course_id_10,student_id_23,grade_2).
1620grade(course_id_10,student_id_32,grade_3).
1621grade(course_id_10,student_id_36,grade_4).
1622grade(course_id_11,student_id_7,grade_2).
1623grade(course_id_11,student_id_8,grade_1).
1624grade(course_id_11,student_id_14,grade_2).
1625grade(course_id_11,student_id_16,grade_2).
1626grade(course_id_11,student_id_17,grade_2).
1627grade(course_id_11,student_id_23,grade_3).
1628grade(course_id_11,student_id_28,grade_4).
1629grade(course_id_11,student_id_32,grade_4).
1630grade(course_id_11,student_id_37,grade_3).
1631grade(course_id_11,student_id_41,grade_2).
1632grade(course_id_12,student_id_8,grade_1).
1633grade(course_id_12,student_id_10,grade_1).
1634grade(course_id_12,student_id_11,grade_1).
1635grade(course_id_12,student_id_17,grade_2).
1636grade(course_id_12,student_id_21,grade_1).
1637grade(course_id_12,student_id_22,grade_2).
1638grade(course_id_12,student_id_23,grade_1).
1639grade(course_id_12,student_id_24,grade_1).
1640grade(course_id_12,student_id_26,grade_2).
1641grade(course_id_12,student_id_28,grade_3).
1642grade(course_id_12,student_id_33,grade_4).
1643grade(course_id_12,student_id_37,grade_4).
1644grade(course_id_13,student_id_7,grade_2).
1645grade(course_id_13,student_id_14,grade_2).
1646grade(course_id_13,student_id_16,grade_3).
1647grade(course_id_13,student_id_21,grade_2).
1648grade(course_id_13,student_id_26,grade_3).
1649grade(course_id_13,student_id_27,grade_3).
1650grade(course_id_13,student_id_33,grade_4).
1651grade(course_id_13,student_id_37,grade_4).
1652grade(course_id_13,student_id_41,grade_2).
1653sat(course_id_4,student_id_4,sat_1).
1654sat(course_id_4,student_id_6,sat_1).
1655sat(course_id_4,student_id_7,sat_1).
1656sat(course_id_4,student_id_12,sat_2).
1657sat(course_id_4,student_id_18,sat_2).
1658sat(course_id_4,student_id_29,sat_2).
1659sat(course_id_4,student_id_38,sat_3).
1660sat(course_id_4,student_id_40,sat_1).
1661sat(course_id_5,student_id_4,sat_1).
1662sat(course_id_5,student_id_5,sat_2).
1663sat(course_id_5,student_id_6,sat_2).
1664sat(course_id_5,student_id_15,sat_1).
1665sat(course_id_5,student_id_18,sat_2).
1666sat(course_id_5,student_id_25,sat_2).
1667sat(course_id_5,student_id_29,sat_3).
1668sat(course_id_5,student_id_34,sat_2).
1669sat(course_id_5,student_id_38,sat_3).
1670sat(course_id_5,student_id_39,sat_1).
1671sat(course_id_5,student_id_41,sat_1).
1672sat(course_id_6,student_id_4,sat_1).
1673sat(course_id_6,student_id_6,sat_1).
1674sat(course_id_6,student_id_7,sat_1).
1675sat(course_id_6,student_id_9,sat_1).
1676sat(course_id_6,student_id_13,sat_1).
1677sat(course_id_6,student_id_19,sat_3).
1678sat(course_id_6,student_id_25,sat_3).
1679sat(course_id_6,student_id_30,sat_3).
1680sat(course_id_6,student_id_41,sat_1).
1681sat(course_id_7,student_id_4,sat_1).
1682sat(course_id_7,student_id_5,sat_2).
1683sat(course_id_7,student_id_9,sat_2).
1684sat(course_id_7,student_id_15,sat_1).
1685sat(course_id_7,student_id_20,sat_2).
1686sat(course_id_7,student_id_30,sat_3).
1687sat(course_id_7,student_id_40,sat_1).
1688sat(course_id_8,student_id_5,sat_1).
1689sat(course_id_8,student_id_6,sat_1).
1690sat(course_id_8,student_id_9,sat_2).
1691sat(course_id_8,student_id_10,sat_1).
1692sat(course_id_8,student_id_11,sat_2).
1693sat(course_id_8,student_id_14,sat_1).
1694sat(course_id_8,student_id_20,sat_3).
1695sat(course_id_8,student_id_22,sat_2).
1696sat(course_id_8,student_id_30,sat_3).
1697sat(course_id_8,student_id_41,sat_1).
1698sat(course_id_9,student_id_6,sat_1).
1699sat(course_id_9,student_id_10,sat_2).
1700sat(course_id_9,student_id_12,sat_1).
1701sat(course_id_9,student_id_15,sat_1).
1702sat(course_id_9,student_id_23,sat_2).
1703sat(course_id_9,student_id_31,sat_2).
1704sat(course_id_9,student_id_33,sat_2).
1705sat(course_id_9,student_id_35,sat_2).
1706sat(course_id_10,student_id_6,sat_1).
1707sat(course_id_10,student_id_11,sat_2).
1708sat(course_id_10,student_id_14,sat_1).
1709sat(course_id_10,student_id_17,sat_3).
1710sat(course_id_10,student_id_18,sat_1).
1711sat(course_id_10,student_id_23,sat_1).
1712sat(course_id_10,student_id_32,sat_2).
1713sat(course_id_10,student_id_36,sat_3).
1714sat(course_id_11,student_id_7,sat_1).
1715sat(course_id_11,student_id_8,sat_1).
1716sat(course_id_11,student_id_14,sat_1).
1717sat(course_id_11,student_id_16,sat_1).
1718sat(course_id_11,student_id_17,sat_1).
1719sat(course_id_11,student_id_23,sat_3).
1720sat(course_id_11,student_id_28,sat_3).
1721sat(course_id_11,student_id_32,sat_3).
1722sat(course_id_11,student_id_37,sat_3).
1723sat(course_id_11,student_id_41,sat_2).
1724sat(course_id_12,student_id_8,sat_1).
1725sat(course_id_12,student_id_10,sat_1).
1726sat(course_id_12,student_id_11,sat_2).
1727sat(course_id_12,student_id_17,sat_2).
1728sat(course_id_12,student_id_21,sat_1).
1729sat(course_id_12,student_id_22,sat_1).
1730sat(course_id_12,student_id_23,sat_1).
1731sat(course_id_12,student_id_24,sat_1).
1732sat(course_id_12,student_id_26,sat_3).
1733sat(course_id_12,student_id_28,sat_2).
1734sat(course_id_12,student_id_33,sat_3).
1735sat(course_id_12,student_id_37,sat_3).
1736sat(course_id_13,student_id_7,sat_1).
1737sat(course_id_13,student_id_14,sat_2).
1738sat(course_id_13,student_id_16,sat_2).
1739sat(course_id_13,student_id_21,sat_2).
1740sat(course_id_13,student_id_26,sat_3).
1741sat(course_id_13,student_id_27,sat_2).
1742sat(course_id_13,student_id_33,sat_3).
1743sat(course_id_13,student_id_37,sat_3).
1744sat(course_id_13,student_id_41,sat_2).
1745intelligence(student_id_4,intelligence_3).
1746intelligence(student_id_5,intelligence_3).
1747intelligence(student_id_6,intelligence_3).
1748intelligence(student_id_7,intelligence_3).
1749intelligence(student_id_8,intelligence_3).
1750intelligence(student_id_9,intelligence_3).
1751intelligence(student_id_10,intelligence_3).
1752intelligence(student_id_11,intelligence_3).
1753intelligence(student_id_12,intelligence_2).
1754intelligence(student_id_13,intelligence_2).
1755intelligence(student_id_14,intelligence_2).
1756intelligence(student_id_15,intelligence_2).
1757intelligence(student_id_16,intelligence_2).
1758intelligence(student_id_17,intelligence_2).
1759intelligence(student_id_18,intelligence_2).
1760intelligence(student_id_19,intelligence_2).
1761intelligence(student_id_20,intelligence_2).
1762intelligence(student_id_21,intelligence_2).
1763intelligence(student_id_22,intelligence_2).
1764intelligence(student_id_23,intelligence_2).
1765intelligence(student_id_24,intelligence_2).
1766intelligence(student_id_25,intelligence_1).
1767intelligence(student_id_26,intelligence_1).
1768intelligence(student_id_27,intelligence_1).
1769intelligence(student_id_28,intelligence_1).
1770intelligence(student_id_29,intelligence_1).
1771intelligence(student_id_30,intelligence_1).
1772intelligence(student_id_31,intelligence_1).
1773intelligence(student_id_32,intelligence_1).
1774intelligence(student_id_33,intelligence_1).
1775intelligence(student_id_34,intelligence_1).
1776intelligence(student_id_35,intelligence_1).
1777intelligence(student_id_36,intelligence_1).
1778intelligence(student_id_37,intelligence_1).
1779intelligence(student_id_38,intelligence_1).
1780intelligence(student_id_39,intelligence_3).
1781intelligence(student_id_40,intelligence_3).
1782intelligence(student_id_41,intelligence_3).
1783ranking(student_id_4,ranking_1).
1784ranking(student_id_5,ranking_1).
1785ranking(student_id_6,ranking_2).
1786ranking(student_id_7,ranking_1).
1787ranking(student_id_8,ranking_1).
1788ranking(student_id_9,ranking_2).
1789ranking(student_id_10,ranking_1).
1790ranking(student_id_11,ranking_2).
1791ranking(student_id_12,ranking_2).
1792ranking(student_id_13,ranking_2).
1793ranking(student_id_14,ranking_2).
1794ranking(student_id_15,ranking_3).
1795ranking(student_id_16,ranking_3).
1796ranking(student_id_17,ranking_3).
1797ranking(student_id_18,ranking_3).
1798ranking(student_id_19,ranking_3).
1799ranking(student_id_20,ranking_3).
1800ranking(student_id_21,ranking_2).
1801ranking(student_id_22,ranking_4).
1802ranking(student_id_23,ranking_3).
1803ranking(student_id_24,ranking_2).
1804ranking(student_id_25,ranking_4).
1805ranking(student_id_26,ranking_4).
1806ranking(student_id_27,ranking_4).
1807ranking(student_id_28,ranking_4).
1808ranking(student_id_29,ranking_5).
1809ranking(student_id_30,ranking_5).
1810ranking(student_id_31,ranking_5).
1811ranking(student_id_32,ranking_5).
1812ranking(student_id_33,ranking_5).
1813ranking(student_id_34,ranking_4).
1814ranking(student_id_35,ranking_4).
1815ranking(student_id_36,ranking_5).
1816ranking(student_id_37,ranking_5).
1817ranking(student_id_38,ranking_5).
1818ranking(student_id_39,ranking_1).
1819ranking(student_id_40,ranking_1).
1820ranking(student_id_41,ranking_1).
1821b_registration(course_id_4,student_id_4).
1822b_registration(course_id_4,student_id_6).
1823b_registration(course_id_4,student_id_7).
1824b_registration(course_id_4,student_id_12).
1825b_registration(course_id_4,student_id_18).
1826b_registration(course_id_4,student_id_29).
1827b_registration(course_id_4,student_id_38).
1828b_registration(course_id_4,student_id_40).
1829b_registration(course_id_5,student_id_4).
1830b_registration(course_id_5,student_id_5).
1831b_registration(course_id_5,student_id_6).
1832b_registration(course_id_5,student_id_15).
1833b_registration(course_id_5,student_id_18).
1834b_registration(course_id_5,student_id_25).
1835b_registration(course_id_5,student_id_29).
1836b_registration(course_id_5,student_id_34).
1837b_registration(course_id_5,student_id_38).
1838b_registration(course_id_5,student_id_39).
1839b_registration(course_id_5,student_id_41).
1840b_registration(course_id_6,student_id_4).
1841b_registration(course_id_6,student_id_6).
1842b_registration(course_id_6,student_id_7).
1843b_registration(course_id_6,student_id_9).
1844b_registration(course_id_6,student_id_13).
1845b_registration(course_id_6,student_id_19).
1846b_registration(course_id_6,student_id_25).
1847b_registration(course_id_6,student_id_30).
1848b_registration(course_id_6,student_id_41).
1849b_registration(course_id_7,student_id_4).
1850b_registration(course_id_7,student_id_5).
1851b_registration(course_id_7,student_id_9).
1852b_registration(course_id_7,student_id_15).
1853b_registration(course_id_7,student_id_20).
1854b_registration(course_id_7,student_id_30).
1855b_registration(course_id_7,student_id_40).
1856b_registration(course_id_8,student_id_5).
1857b_registration(course_id_8,student_id_6).
1858b_registration(course_id_8,student_id_9).
1859b_registration(course_id_8,student_id_10).
1860b_registration(course_id_8,student_id_11).
1861b_registration(course_id_8,student_id_14).
1862b_registration(course_id_8,student_id_20).
1863b_registration(course_id_8,student_id_22).
1864b_registration(course_id_8,student_id_30).
1865b_registration(course_id_8,student_id_41).
1866b_registration(course_id_9,student_id_6).
1867b_registration(course_id_9,student_id_10).
1868b_registration(course_id_9,student_id_12).
1869b_registration(course_id_9,student_id_15).
1870b_registration(course_id_9,student_id_23).
1871b_registration(course_id_9,student_id_31).
1872b_registration(course_id_9,student_id_33).
1873b_registration(course_id_9,student_id_35).
1874b_registration(course_id_10,student_id_6).
1875b_registration(course_id_10,student_id_11).
1876b_registration(course_id_10,student_id_14).
1877b_registration(course_id_10,student_id_17).
1878b_registration(course_id_10,student_id_18).
1879b_registration(course_id_10,student_id_23).
1880b_registration(course_id_10,student_id_32).
1881b_registration(course_id_10,student_id_36).
1882b_registration(course_id_11,student_id_7).
1883b_registration(course_id_11,student_id_8).
1884b_registration(course_id_11,student_id_14).
1885b_registration(course_id_11,student_id_16).
1886b_registration(course_id_11,student_id_17).
1887b_registration(course_id_11,student_id_23).
1888b_registration(course_id_11,student_id_28).
1889b_registration(course_id_11,student_id_32).
1890b_registration(course_id_11,student_id_37).
1891b_registration(course_id_11,student_id_41).
1892b_registration(course_id_12,student_id_8).
1893b_registration(course_id_12,student_id_10).
1894b_registration(course_id_12,student_id_11).
1895b_registration(course_id_12,student_id_17).
1896b_registration(course_id_12,student_id_21).
1897b_registration(course_id_12,student_id_22).
1898b_registration(course_id_12,student_id_23).
1899b_registration(course_id_12,student_id_24).
1900b_registration(course_id_12,student_id_26).
1901b_registration(course_id_12,student_id_28).
1902b_registration(course_id_12,student_id_33).
1903b_registration(course_id_12,student_id_37).
1904b_registration(course_id_13,student_id_7).
1905b_registration(course_id_13,student_id_14).
1906b_registration(course_id_13,student_id_16).
1907b_registration(course_id_13,student_id_21).
1908b_registration(course_id_13,student_id_26).
1909b_registration(course_id_13,student_id_27).
1910b_registration(course_id_13,student_id_33).
1911b_registration(course_id_13,student_id_37).
1912b_registration(course_id_13,student_id_41).
1913b_ra(prof_id_5,student_id_5).
1914b_ra(prof_id_6,student_id_5).
1915b_ra(prof_id_7,student_id_7).
1916b_ra(prof_id_7,student_id_8).
1917b_ra(prof_id_6,student_id_8).
1918b_ra(prof_id_6,student_id_9).
1919b_ra(prof_id_9,student_id_10).
1920b_ra(prof_id_7,student_id_11).
1921b_ra(prof_id_8,student_id_12).
1922b_ra(prof_id_8,student_id_13).
1923b_ra(prof_id_5,student_id_14).
1924b_ra(prof_id_6,student_id_15).
1925b_ra(prof_id_6,student_id_16).
1926b_ra(prof_id_4,student_id_17).
1927b_ra(prof_id_5,student_id_18).
1928b_ra(prof_id_7,student_id_19).
1929b_ra(prof_id_7,student_id_20).
1930b_ra(prof_id_8,student_id_21).
1931b_ra(prof_id_7,student_id_22).
1932b_ra(prof_id_6,student_id_23).
1933b_ra(prof_id_6,student_id_24).
1934b_ra(prof_id_6,student_id_25).
1935b_ra(prof_id_5,student_id_26).
1936b_ra(prof_id_5,student_id_27).
1937b_ra(prof_id_5,student_id_28).
1938rating(course_id_13,rating_1).
1939rating(course_id_7,rating_2).
1940end(model(f4)).
1941begin(model(f5)).
1942capability(prof_id_5,student_id_5,capability_1).
1943capability(prof_id_6,student_id_5,capability_2).
1944capability(prof_id_7,student_id_7,capability_4).
1945capability(prof_id_7,student_id_8,capability_4).
1946capability(prof_id_6,student_id_8,capability_4).
1947capability(prof_id_6,student_id_9,capability_4).
1948capability(prof_id_9,student_id_10,capability_3).
1949capability(prof_id_7,student_id_11,capability_1).
1950capability(prof_id_8,student_id_12,capability_1).
1951capability(prof_id_8,student_id_13,capability_2).
1952capability(prof_id_5,student_id_14,capability_2).
1953capability(prof_id_6,student_id_15,capability_1).
1954capability(prof_id_6,student_id_16,capability_2).
1955capability(prof_id_4,student_id_17,capability_3).
1956capability(prof_id_5,student_id_18,capability_3).
1957capability(prof_id_7,student_id_19,capability_5).
1958capability(prof_id_7,student_id_20,capability_1).
1959capability(prof_id_8,student_id_21,capability_3).
1960capability(prof_id_7,student_id_22,capability_3).
1961capability(prof_id_6,student_id_23,capability_5).
1962capability(prof_id_6,student_id_24,capability_5).
1963capability(prof_id_6,student_id_25,capability_5).
1964capability(prof_id_5,student_id_26,capability_4).
1965capability(prof_id_5,student_id_27,capability_3).
1966capability(prof_id_5,student_id_28,capability_3).
1967salary(prof_id_5,student_id_5,salary_low).
1968salary(prof_id_6,student_id_5,salary_low).
1969salary(prof_id_7,student_id_7,salary_high).
1970salary(prof_id_7,student_id_8,salary_high).
1971salary(prof_id_6,student_id_8,salary_high).
1972salary(prof_id_6,student_id_9,salary_high).
1973salary(prof_id_9,student_id_10,salary_high).
1974salary(prof_id_7,student_id_11,salary_med).
1975salary(prof_id_8,student_id_12,salary_med).
1976salary(prof_id_8,student_id_13,salary_med).
1977salary(prof_id_5,student_id_14,salary_low).
1978salary(prof_id_6,student_id_15,salary_med).
1979salary(prof_id_6,student_id_16,salary_med).
1980salary(prof_id_4,student_id_17,salary_med).
1981salary(prof_id_5,student_id_18,salary_high).
1982salary(prof_id_7,student_id_19,salary_high).
1983salary(prof_id_7,student_id_20,salary_low).
1984salary(prof_id_8,student_id_21,salary_low).
1985salary(prof_id_7,student_id_22,salary_med).
1986salary(prof_id_6,student_id_23,salary_high).
1987salary(prof_id_6,student_id_24,salary_high).
1988salary(prof_id_6,student_id_25,salary_high).
1989salary(prof_id_5,student_id_26,salary_high).
1990salary(prof_id_5,student_id_27,salary_med).
1991salary(prof_id_5,student_id_28,salary_med).
1992diff(course_id_4,diff_1).
1993diff(course_id_5,diff_2).
1994diff(course_id_6,diff_1).
1995diff(course_id_7,diff_2).
1996diff(course_id_8,diff_1).
1997diff(course_id_9,diff_2).
1998diff(course_id_10,diff_1).
1999diff(course_id_11,diff_2).
2000diff(course_id_12,diff_1).
2001diff(course_id_13,diff_2).
2002popularity(prof_id_4,popularity_2).
2003popularity(prof_id_5,popularity_2).
2004popularity(prof_id_6,popularity_2).
2005popularity(prof_id_7,popularity_2).
2006popularity(prof_id_8,popularity_1).
2007popularity(prof_id_9,popularity_1).
2008teachingability(prof_id_4,teachingability_3).
2009teachingability(prof_id_5,teachingability_3).
2010teachingability(prof_id_6,teachingability_3).
2011teachingability(prof_id_7,teachingability_2).
2012teachingability(prof_id_8,teachingability_2).
2013teachingability(prof_id_9,teachingability_2).
2014grade(course_id_4,student_id_4,grade_1).
2015grade(course_id_4,student_id_6,grade_1).
2016grade(course_id_4,student_id_7,grade_1).
2017grade(course_id_4,student_id_12,grade_2).
2018grade(course_id_4,student_id_18,grade_2).
2019grade(course_id_4,student_id_29,grade_3).
2020grade(course_id_4,student_id_38,grade_4).
2021grade(course_id_4,student_id_40,grade_1).
2022grade(course_id_5,student_id_4,grade_1).
2023grade(course_id_5,student_id_5,grade_2).
2024grade(course_id_5,student_id_6,grade_2).
2025grade(course_id_5,student_id_15,grade_2).
2026grade(course_id_5,student_id_18,grade_3).
2027grade(course_id_5,student_id_25,grade_3).
2028grade(course_id_5,student_id_29,grade_4).
2029grade(course_id_5,student_id_34,grade_3).
2030grade(course_id_5,student_id_38,grade_4).
2031grade(course_id_5,student_id_39,grade_1).
2032grade(course_id_5,student_id_41,grade_1).
2033grade(course_id_6,student_id_4,grade_1).
2034grade(course_id_6,student_id_6,grade_1).
2035grade(course_id_6,student_id_7,grade_1).
2036grade(course_id_6,student_id_9,grade_1).
2037grade(course_id_6,student_id_13,grade_1).
2038grade(course_id_6,student_id_19,grade_2).
2039grade(course_id_6,student_id_25,grade_3).
2040grade(course_id_6,student_id_30,grade_4).
2041grade(course_id_6,student_id_41,grade_1).
2042grade(course_id_7,student_id_4,grade_2).
2043grade(course_id_7,student_id_5,grade_2).
2044grade(course_id_7,student_id_9,grade_2).
2045grade(course_id_7,student_id_15,grade_2).
2046grade(course_id_7,student_id_20,grade_2).
2047grade(course_id_7,student_id_30,grade_4).
2048grade(course_id_7,student_id_40,grade_1).
2049grade(course_id_8,student_id_5,grade_1).
2050grade(course_id_8,student_id_6,grade_1).
2051grade(course_id_8,student_id_9,grade_1).
2052grade(course_id_8,student_id_10,grade_1).
2053grade(course_id_8,student_id_11,grade_2).
2054grade(course_id_8,student_id_14,grade_1).
2055grade(course_id_8,student_id_20,grade_3).
2056grade(course_id_8,student_id_22,grade_3).
2057grade(course_id_8,student_id_30,grade_4).
2058grade(course_id_8,student_id_41,grade_1).
2059grade(course_id_9,student_id_6,grade_1).
2060grade(course_id_9,student_id_10,grade_2).
2061grade(course_id_9,student_id_12,grade_2).
2062grade(course_id_9,student_id_15,grade_2).
2063grade(course_id_9,student_id_23,grade_2).
2064grade(course_id_9,student_id_31,grade_3).
2065grade(course_id_9,student_id_33,grade_3).
2066grade(course_id_9,student_id_35,grade_3).
2067grade(course_id_10,student_id_6,grade_1).
2068grade(course_id_10,student_id_11,grade_1).
2069grade(course_id_10,student_id_14,grade_1).
2070grade(course_id_10,student_id_17,grade_3).
2071grade(course_id_10,student_id_18,grade_1).
2072grade(course_id_10,student_id_23,grade_2).
2073grade(course_id_10,student_id_32,grade_3).
2074grade(course_id_10,student_id_36,grade_4).
2075grade(course_id_11,student_id_7,grade_2).
2076grade(course_id_11,student_id_8,grade_1).
2077grade(course_id_11,student_id_14,grade_2).
2078grade(course_id_11,student_id_16,grade_2).
2079grade(course_id_11,student_id_17,grade_2).
2080grade(course_id_11,student_id_23,grade_3).
2081grade(course_id_11,student_id_28,grade_4).
2082grade(course_id_11,student_id_32,grade_4).
2083grade(course_id_11,student_id_37,grade_3).
2084grade(course_id_11,student_id_41,grade_2).
2085grade(course_id_12,student_id_8,grade_1).
2086grade(course_id_12,student_id_10,grade_1).
2087grade(course_id_12,student_id_11,grade_1).
2088grade(course_id_12,student_id_17,grade_2).
2089grade(course_id_12,student_id_21,grade_1).
2090grade(course_id_12,student_id_22,grade_2).
2091grade(course_id_12,student_id_23,grade_1).
2092grade(course_id_12,student_id_24,grade_1).
2093grade(course_id_12,student_id_26,grade_2).
2094grade(course_id_12,student_id_28,grade_3).
2095grade(course_id_12,student_id_33,grade_4).
2096grade(course_id_12,student_id_37,grade_4).
2097grade(course_id_13,student_id_7,grade_2).
2098grade(course_id_13,student_id_14,grade_2).
2099grade(course_id_13,student_id_16,grade_3).
2100grade(course_id_13,student_id_21,grade_2).
2101grade(course_id_13,student_id_26,grade_3).
2102grade(course_id_13,student_id_27,grade_3).
2103grade(course_id_13,student_id_33,grade_4).
2104grade(course_id_13,student_id_37,grade_4).
2105grade(course_id_13,student_id_41,grade_2).
2106sat(course_id_4,student_id_4,sat_1).
2107sat(course_id_4,student_id_6,sat_1).
2108sat(course_id_4,student_id_7,sat_1).
2109sat(course_id_4,student_id_12,sat_2).
2110sat(course_id_4,student_id_18,sat_2).
2111sat(course_id_4,student_id_29,sat_2).
2112sat(course_id_4,student_id_38,sat_3).
2113sat(course_id_4,student_id_40,sat_1).
2114sat(course_id_5,student_id_4,sat_1).
2115sat(course_id_5,student_id_5,sat_2).
2116sat(course_id_5,student_id_6,sat_2).
2117sat(course_id_5,student_id_15,sat_1).
2118sat(course_id_5,student_id_18,sat_2).
2119sat(course_id_5,student_id_25,sat_2).
2120sat(course_id_5,student_id_29,sat_3).
2121sat(course_id_5,student_id_34,sat_2).
2122sat(course_id_5,student_id_38,sat_3).
2123sat(course_id_5,student_id_39,sat_1).
2124sat(course_id_5,student_id_41,sat_1).
2125sat(course_id_6,student_id_4,sat_1).
2126sat(course_id_6,student_id_6,sat_1).
2127sat(course_id_6,student_id_7,sat_1).
2128sat(course_id_6,student_id_9,sat_1).
2129sat(course_id_6,student_id_13,sat_1).
2130sat(course_id_6,student_id_19,sat_3).
2131sat(course_id_6,student_id_25,sat_3).
2132sat(course_id_6,student_id_30,sat_3).
2133sat(course_id_6,student_id_41,sat_1).
2134sat(course_id_7,student_id_4,sat_1).
2135sat(course_id_7,student_id_5,sat_2).
2136sat(course_id_7,student_id_9,sat_2).
2137sat(course_id_7,student_id_15,sat_1).
2138sat(course_id_7,student_id_20,sat_2).
2139sat(course_id_7,student_id_30,sat_3).
2140sat(course_id_7,student_id_40,sat_1).
2141sat(course_id_8,student_id_5,sat_1).
2142sat(course_id_8,student_id_6,sat_1).
2143sat(course_id_8,student_id_9,sat_2).
2144sat(course_id_8,student_id_10,sat_1).
2145sat(course_id_8,student_id_11,sat_2).
2146sat(course_id_8,student_id_14,sat_1).
2147sat(course_id_8,student_id_20,sat_3).
2148sat(course_id_8,student_id_22,sat_2).
2149sat(course_id_8,student_id_30,sat_3).
2150sat(course_id_8,student_id_41,sat_1).
2151sat(course_id_9,student_id_6,sat_1).
2152sat(course_id_9,student_id_10,sat_2).
2153sat(course_id_9,student_id_12,sat_1).
2154sat(course_id_9,student_id_15,sat_1).
2155sat(course_id_9,student_id_23,sat_2).
2156sat(course_id_9,student_id_31,sat_2).
2157sat(course_id_9,student_id_33,sat_2).
2158sat(course_id_9,student_id_35,sat_2).
2159sat(course_id_10,student_id_6,sat_1).
2160sat(course_id_10,student_id_11,sat_2).
2161sat(course_id_10,student_id_14,sat_1).
2162sat(course_id_10,student_id_17,sat_3).
2163sat(course_id_10,student_id_18,sat_1).
2164sat(course_id_10,student_id_23,sat_1).
2165sat(course_id_10,student_id_32,sat_2).
2166sat(course_id_10,student_id_36,sat_3).
2167sat(course_id_11,student_id_7,sat_1).
2168sat(course_id_11,student_id_8,sat_1).
2169sat(course_id_11,student_id_14,sat_1).
2170sat(course_id_11,student_id_16,sat_1).
2171sat(course_id_11,student_id_17,sat_1).
2172sat(course_id_11,student_id_23,sat_3).
2173sat(course_id_11,student_id_28,sat_3).
2174sat(course_id_11,student_id_32,sat_3).
2175sat(course_id_11,student_id_37,sat_3).
2176sat(course_id_11,student_id_41,sat_2).
2177sat(course_id_12,student_id_8,sat_1).
2178sat(course_id_12,student_id_10,sat_1).
2179sat(course_id_12,student_id_11,sat_2).
2180sat(course_id_12,student_id_17,sat_2).
2181sat(course_id_12,student_id_21,sat_1).
2182sat(course_id_12,student_id_22,sat_1).
2183sat(course_id_12,student_id_23,sat_1).
2184sat(course_id_12,student_id_24,sat_1).
2185sat(course_id_12,student_id_26,sat_3).
2186sat(course_id_12,student_id_28,sat_2).
2187sat(course_id_12,student_id_33,sat_3).
2188sat(course_id_12,student_id_37,sat_3).
2189sat(course_id_13,student_id_7,sat_1).
2190sat(course_id_13,student_id_14,sat_2).
2191sat(course_id_13,student_id_16,sat_2).
2192sat(course_id_13,student_id_21,sat_2).
2193sat(course_id_13,student_id_26,sat_3).
2194sat(course_id_13,student_id_27,sat_2).
2195sat(course_id_13,student_id_33,sat_3).
2196sat(course_id_13,student_id_37,sat_3).
2197sat(course_id_13,student_id_41,sat_2).
2198intelligence(student_id_4,intelligence_3).
2199intelligence(student_id_5,intelligence_3).
2200intelligence(student_id_6,intelligence_3).
2201intelligence(student_id_7,intelligence_3).
2202intelligence(student_id_8,intelligence_3).
2203intelligence(student_id_9,intelligence_3).
2204intelligence(student_id_10,intelligence_3).
2205intelligence(student_id_11,intelligence_3).
2206intelligence(student_id_12,intelligence_2).
2207intelligence(student_id_13,intelligence_2).
2208intelligence(student_id_14,intelligence_2).
2209intelligence(student_id_15,intelligence_2).
2210intelligence(student_id_16,intelligence_2).
2211intelligence(student_id_17,intelligence_2).
2212intelligence(student_id_18,intelligence_2).
2213intelligence(student_id_19,intelligence_2).
2214intelligence(student_id_20,intelligence_2).
2215intelligence(student_id_21,intelligence_2).
2216intelligence(student_id_22,intelligence_2).
2217intelligence(student_id_23,intelligence_2).
2218intelligence(student_id_24,intelligence_2).
2219intelligence(student_id_25,intelligence_1).
2220intelligence(student_id_26,intelligence_1).
2221intelligence(student_id_27,intelligence_1).
2222intelligence(student_id_28,intelligence_1).
2223intelligence(student_id_29,intelligence_1).
2224intelligence(student_id_30,intelligence_1).
2225intelligence(student_id_31,intelligence_1).
2226intelligence(student_id_32,intelligence_1).
2227intelligence(student_id_33,intelligence_1).
2228intelligence(student_id_34,intelligence_1).
2229intelligence(student_id_35,intelligence_1).
2230intelligence(student_id_36,intelligence_1).
2231intelligence(student_id_37,intelligence_1).
2232intelligence(student_id_38,intelligence_1).
2233intelligence(student_id_39,intelligence_3).
2234intelligence(student_id_40,intelligence_3).
2235intelligence(student_id_41,intelligence_3).
2236ranking(student_id_4,ranking_1).
2237ranking(student_id_5,ranking_1).
2238ranking(student_id_6,ranking_2).
2239ranking(student_id_7,ranking_1).
2240ranking(student_id_8,ranking_1).
2241ranking(student_id_9,ranking_2).
2242ranking(student_id_10,ranking_1).
2243ranking(student_id_11,ranking_2).
2244ranking(student_id_12,ranking_2).
2245ranking(student_id_13,ranking_2).
2246ranking(student_id_14,ranking_2).
2247ranking(student_id_15,ranking_3).
2248ranking(student_id_16,ranking_3).
2249ranking(student_id_17,ranking_3).
2250ranking(student_id_18,ranking_3).
2251ranking(student_id_19,ranking_3).
2252ranking(student_id_20,ranking_3).
2253ranking(student_id_21,ranking_2).
2254ranking(student_id_22,ranking_4).
2255ranking(student_id_23,ranking_3).
2256ranking(student_id_24,ranking_2).
2257ranking(student_id_25,ranking_4).
2258ranking(student_id_26,ranking_4).
2259ranking(student_id_27,ranking_4).
2260ranking(student_id_28,ranking_4).
2261ranking(student_id_29,ranking_5).
2262ranking(student_id_30,ranking_5).
2263ranking(student_id_31,ranking_5).
2264ranking(student_id_32,ranking_5).
2265ranking(student_id_33,ranking_5).
2266ranking(student_id_34,ranking_4).
2267ranking(student_id_35,ranking_4).
2268ranking(student_id_36,ranking_5).
2269ranking(student_id_37,ranking_5).
2270ranking(student_id_38,ranking_5).
2271ranking(student_id_39,ranking_1).
2272ranking(student_id_40,ranking_1).
2273ranking(student_id_41,ranking_1).
2274b_registration(course_id_4,student_id_4).
2275b_registration(course_id_4,student_id_6).
2276b_registration(course_id_4,student_id_7).
2277b_registration(course_id_4,student_id_12).
2278b_registration(course_id_4,student_id_18).
2279b_registration(course_id_4,student_id_29).
2280b_registration(course_id_4,student_id_38).
2281b_registration(course_id_4,student_id_40).
2282b_registration(course_id_5,student_id_4).
2283b_registration(course_id_5,student_id_5).
2284b_registration(course_id_5,student_id_6).
2285b_registration(course_id_5,student_id_15).
2286b_registration(course_id_5,student_id_18).
2287b_registration(course_id_5,student_id_25).
2288b_registration(course_id_5,student_id_29).
2289b_registration(course_id_5,student_id_34).
2290b_registration(course_id_5,student_id_38).
2291b_registration(course_id_5,student_id_39).
2292b_registration(course_id_5,student_id_41).
2293b_registration(course_id_6,student_id_4).
2294b_registration(course_id_6,student_id_6).
2295b_registration(course_id_6,student_id_7).
2296b_registration(course_id_6,student_id_9).
2297b_registration(course_id_6,student_id_13).
2298b_registration(course_id_6,student_id_19).
2299b_registration(course_id_6,student_id_25).
2300b_registration(course_id_6,student_id_30).
2301b_registration(course_id_6,student_id_41).
2302b_registration(course_id_7,student_id_4).
2303b_registration(course_id_7,student_id_5).
2304b_registration(course_id_7,student_id_9).
2305b_registration(course_id_7,student_id_15).
2306b_registration(course_id_7,student_id_20).
2307b_registration(course_id_7,student_id_30).
2308b_registration(course_id_7,student_id_40).
2309b_registration(course_id_8,student_id_5).
2310b_registration(course_id_8,student_id_6).
2311b_registration(course_id_8,student_id_9).
2312b_registration(course_id_8,student_id_10).
2313b_registration(course_id_8,student_id_11).
2314b_registration(course_id_8,student_id_14).
2315b_registration(course_id_8,student_id_20).
2316b_registration(course_id_8,student_id_22).
2317b_registration(course_id_8,student_id_30).
2318b_registration(course_id_8,student_id_41).
2319b_registration(course_id_9,student_id_6).
2320b_registration(course_id_9,student_id_10).
2321b_registration(course_id_9,student_id_12).
2322b_registration(course_id_9,student_id_15).
2323b_registration(course_id_9,student_id_23).
2324b_registration(course_id_9,student_id_31).
2325b_registration(course_id_9,student_id_33).
2326b_registration(course_id_9,student_id_35).
2327b_registration(course_id_10,student_id_6).
2328b_registration(course_id_10,student_id_11).
2329b_registration(course_id_10,student_id_14).
2330b_registration(course_id_10,student_id_17).
2331b_registration(course_id_10,student_id_18).
2332b_registration(course_id_10,student_id_23).
2333b_registration(course_id_10,student_id_32).
2334b_registration(course_id_10,student_id_36).
2335b_registration(course_id_11,student_id_7).
2336b_registration(course_id_11,student_id_8).
2337b_registration(course_id_11,student_id_14).
2338b_registration(course_id_11,student_id_16).
2339b_registration(course_id_11,student_id_17).
2340b_registration(course_id_11,student_id_23).
2341b_registration(course_id_11,student_id_28).
2342b_registration(course_id_11,student_id_32).
2343b_registration(course_id_11,student_id_37).
2344b_registration(course_id_11,student_id_41).
2345b_registration(course_id_12,student_id_8).
2346b_registration(course_id_12,student_id_10).
2347b_registration(course_id_12,student_id_11).
2348b_registration(course_id_12,student_id_17).
2349b_registration(course_id_12,student_id_21).
2350b_registration(course_id_12,student_id_22).
2351b_registration(course_id_12,student_id_23).
2352b_registration(course_id_12,student_id_24).
2353b_registration(course_id_12,student_id_26).
2354b_registration(course_id_12,student_id_28).
2355b_registration(course_id_12,student_id_33).
2356b_registration(course_id_12,student_id_37).
2357b_registration(course_id_13,student_id_7).
2358b_registration(course_id_13,student_id_14).
2359b_registration(course_id_13,student_id_16).
2360b_registration(course_id_13,student_id_21).
2361b_registration(course_id_13,student_id_26).
2362b_registration(course_id_13,student_id_27).
2363b_registration(course_id_13,student_id_33).
2364b_registration(course_id_13,student_id_37).
2365b_registration(course_id_13,student_id_41).
2366b_ra(prof_id_5,student_id_5).
2367b_ra(prof_id_6,student_id_5).
2368b_ra(prof_id_7,student_id_7).
2369b_ra(prof_id_7,student_id_8).
2370b_ra(prof_id_6,student_id_8).
2371b_ra(prof_id_6,student_id_9).
2372b_ra(prof_id_9,student_id_10).
2373b_ra(prof_id_7,student_id_11).
2374b_ra(prof_id_8,student_id_12).
2375b_ra(prof_id_8,student_id_13).
2376b_ra(prof_id_5,student_id_14).
2377b_ra(prof_id_6,student_id_15).
2378b_ra(prof_id_6,student_id_16).
2379b_ra(prof_id_4,student_id_17).
2380b_ra(prof_id_5,student_id_18).
2381b_ra(prof_id_7,student_id_19).
2382b_ra(prof_id_7,student_id_20).
2383b_ra(prof_id_8,student_id_21).
2384b_ra(prof_id_7,student_id_22).
2385b_ra(prof_id_6,student_id_23).
2386b_ra(prof_id_6,student_id_24).
2387b_ra(prof_id_6,student_id_25).
2388b_ra(prof_id_5,student_id_26).
2389b_ra(prof_id_5,student_id_27).
2390b_ra(prof_id_5,student_id_28).
2391rating(course_id_10,rating_2).
2392rating(course_id_5,rating_2).
2393end(model(f5))
?-
induce([f1,f3,f4,f5],P)
,test(P,[f2],LL,AUCROC,ROC,AUCPR,PR)
. % learn the structure and the parameters and test the result % fold f2 is used for testing as it is the only fold with both positive and negative examples */