university.pl

1/* University dataset from 2Schulte, Oliver, and Hassan Khosravi. "Learning graphical models for relational data via lattice search." Machine Learning 88.3 (2012): 331-368. 3 4Downloaded from 5http://www.cs.sfu.ca/~oschulte/jbn/dataset.html 6*/

?- 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 */

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))