//
// Authors: Martti E. Pesonen and Hanna Lehtola 
// Original base document by Timo Ehmke


// Systemvariablen 
// ===============

APPLET_WIDTH      = 400
APPLET_HEIGHT     = 300
WORLD_X_MAX = +8.0
WORLD_X_MIN = -8.0
WORLD_Y_MAX = +6.0
WORLD_Y_MIN = -6.0
MEASURE_EXACTNESS = 5


// Figurenbeschreibung 
// ===================

e[1]  = A;     point;   dragable;          -6.0,1.5;  
e[2]  = B;     point;   dragable;          -1.0,-3.0;  
e[3]  = C;     point;   dragable;          2.0,-5.0;    
e[4]  = D;     point;   dragable;          3.0,-1.0;   
e[5]  = E;     point;   dragable;          5.0,-5.0;  
e[6]  = F;     point;   dragable;          -6.0,2.5;     
e[7]  = G;     point;   dragable;          0.0,1.0;   
e[8]  = H;     point;   dragable;          2.0,3.0;     
e[9]  = I;     point;   dragable;          6.0,-3.0;   
 
e[10]  = AG;     line;    vector;         A,G; 0;black;black;0;
e[11]  = GH;     line;    vector;         G,H; 0;black;black;0;
e[12]  = FH;     line;    vector;         F,H; 0;black;black;0;
e[13]  = CB;     line;    vector;         C,B; 0;black;black;0;
e[14]  = BG;     line;    vector;         B,G; 0;black;black;0;
e[15]  = CG;     line;    vector;         C,G; 0;black;black;0;
e[16]  = CD;     line;    vector;         C,D; 0;black;black;0;
e[17]  = DE;     line;    vector;         D,E; 0;black;black;0;
e[18]  = CE;     line;    vector;         C,E; 0;black;black;0;
e[19]  = ID;     line;    vector;         I,D; 0;black;black;0;
e[20]  = IE;     line;    vector;         I,E; 0;black;black;0;

e[21]  = v1A;     point;   dragable;          -7.0,-5.0;    "HideLabel"
e[22]  = v1B;     point;   dragable;          -7.0,-1.0;    "HideLabel"   
e[23]  = v2A;     point;   dragable;          -6.5,-5.0;    "HideLabel"   
e[24]  = v2B;     point;   dragable;          -6.5,-1.0;    "HideLabel"   
e[25]  = v3A;     point;   dragable;          -6.0,-5.0;    "HideLabel"   
e[26]  = v3B;     point;   dragable;          -6.0,-1.0;    "HideLabel"   
//e[27]  = v4A;     point;   dragable;          -5.5,-5.0;   "HideLabel"   
//e[28]  = v4B;     point;   dragable;          -5.5,-1.0;   "HideLabel" 

e[27]  = v1;     line;    vector;         v1A,v1B; 0;blue;blue;0;  
e[28]  = v2;     line;    vector;         v2A,v2B; 0;blue;blue;0;  
e[29]  = v3;     line;    vector;         v3A,v3B; 0;blue;blue;0;  
//e[32]  = v4;     line;    vector;         v4A,v4B; 0;blue;blue;0;   

e[30] = m1; measure; button;    "Arvioi","evaluate";  

// Aufgabenanalyse
// ===============


//Transitiivisuus vaatii nuolet c -> H, B -> H & A -> H. Jos pitää sijoittaa neljäs nuoli, 
//se voidaan laittaa A -> F, A -> B, A -> E, B -> F, B -> A, B -> E, C -> A, C -> F, C -> I
//F -> E, F -> G & I -> H!!! Liikaa conditioneja. 
<Problem>
 MAX_ANSWER = 0
//nuolten alut oltava B:ssä, C:ssä ja A:ssa.
 condition[1] = "isIncident(v1A,A)"
 condition[2] = "isIncident(v1A,B)"
 condition[3] = "isIncident(v1A,C)" 
 
 condition[4] = "isIncident(v2A,A)"
 condition[5] = "isIncident(v2A,B)"
 condition[6] = "isIncident(v2A,C)" 
 
 condition[7] = "isIncident(v3A,A)"
 condition[8] = "isIncident(v3A,B)"
 condition[9] = "isIncident(v3A,C)" 
//nuolten loput oltava 3xH:ssa. 
 condition[10] = "isIncident(v1B,H)"
 condition[11] = "isIncident(v2B,H)"
 condition[12] = "isIncident(v3B,H)"
</Problem>

//alkavat: 
//   V1-C & V2-B & V3-A : condition[3] AND condition[5] AND condition[7]
//OR V1-C & V2-A & V3-B : condition[3] AND condition[4] AND condition[8]
//OR V1-A 6 V2-C 6 V3-B : condition[1] AND condition[6] AND condition[8]
//OR V1-B & V2-C & V3-A : condition[2] AND condition[6] AND condition[7]
//OR V1-B & V2-A & V3-C : condition[2] AND condition[4] AND condition[9]
//OR V1-A & V2-B & V3-C : condition[1] AND condition[5] AND condition[9]
//JA kaikki loppuu H:n  : condition[10] AND condition[11] AND condition[12]
<Answer 1>
 key = "((condition[3] AND condition[5] AND condition[7]) OR (condition[3] AND condition[4] AND condition[8]) OR (condition[1] AND condition[6] AND condition[8]) OR (condition[2] AND condition[6] AND condition[7]) OR (condition[2] AND condition[4] AND condition[9]) OR (condition[1] AND condition[5] AND condition[9])) AND (condition[10] AND condition[11] AND condition[12])"
 comment[1] = " OIKEIN!"
</Answer 1>

<Answer 2>
 key = "1"
 comment[1] = " Tämä vastaus ei ole oikein. /n Relaatio on osittainen järjestys kun se on /n refleksiivinen, antisymmetrinen ja transitiivinen./n Tässä tehtävässä tärkeä on transitiivisuus. /n Relaatio on transitiivinen, jos kaikille /n x, y ja z pätee: Jos xRy ja yRz, niin xRz. /n Yritä uudelleen."
</Answer 2>