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

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