class D3 { inputs = (); outputs = (D3); node_size = (108 58); HR_OOBN_CheckConsistency = "1"; HR_Instantiated_in = "\"unnamed41\", \"unnamed41\", \"unnamed41\", \"unnamed41\"\"crime\"\"crime\"\"crime\"\"crime\""; HR_Desc = ""; HR_OOBN_FitExpand = "1"; HR_Zoom_ZoomFactor = "100"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Color_Interface = "21"; HR_Color_Instance = "0"; HR_Color_Utility = "36"; HR_Color_Decision = "34"; HR_Color_ContinuousChance = "48"; HR_Color_DiscreteChance = "0"; HR_Monitor_InitSD = "2"; HR_Monitor_InitStates = "5"; HR_Monitor_OpenGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_AutoUpdGraph = "0"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_Approximate = "0"; HR_Compile_Compress = "0"; HR_Compile_TriangMethod = "0"; HR_Propagate_AutoNormal = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_Auto = "1"; HR_Font_Italic = "0"; HR_Font_Weight = "700"; HR_Font_Size = "-19"; HR_Font_Name = "Arial"; HR_Grid_GridShow = "0"; HR_Grid_GridSnap = "1"; HR_Grid_Y = "10"; HR_Grid_X = "10"; node D3 { label = ""; position = (210 150); states = ("A" "B" "x"); HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_Desc = ""; } potential (D3) { data = ( 0.002 0.215 0.783 ); } } % class D3 class query { inputs = (CisS sgt ogt); outputs = (crgt); node_size = (108 58); HR_OOBN_CheckConsistency = "1"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Groups_IDs = "1"; HR_Group_1_Color = "51"; HR_Group_1_Name = "observed"; HR_Instantiated_in = ", \"unnamed31\"\"crime\""; HR_Node_Label_Style = "0"; HR_Desc = ""; HR_OOBN_FitExpand = "1"; HR_Zoom_ZoomFactor = "100"; HR_Color_Interface = "21"; HR_Color_Instance = "0"; HR_Color_Utility = "36"; HR_Color_Decision = "34"; HR_Color_ContinuousChance = "48"; HR_Color_DiscreteChance = "0"; HR_Monitor_InitSD = "2"; HR_Monitor_InitStates = "5"; HR_Monitor_OpenGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_AutoUpdGraph = "0"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_Approximate = "0"; HR_Compile_Compress = "0"; HR_Compile_TriangMethod = "0"; HR_Propagate_AutoNormal = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_Auto = "1"; HR_Font_Italic = "0"; HR_Font_Weight = "700"; HR_Font_Size = "-19"; HR_Font_Name = "Arial"; HR_Grid_GridShow = "0"; HR_Grid_GridSnap = "1"; HR_Grid_Y = "10"; HR_Grid_X = "10"; node crgt { label = ""; position = (250 290); states = ("A" "AB" "Ax" "B" "Bx" "x"); subtype = label; HR_Group = "1"; HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_Desc = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; } node ogt { label = ""; position = (350 160); states = ("A" "AB" "Ax" "B" "Bx" "x"); HR_NodeSize = "(118, 59)"; HR_LinkMode_crgt = "0"; HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_Desc = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; } node sgt { label = ""; position = (160 160); states = ("A" "AB" "Ax" "B" "Bx" "x"); HR_NodeSize = "(118, 59)"; HR_LinkMode_crgt = "0"; HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_Desc = ""; HR_State_3 = ""; HR_State_4 = ""; HR_State_5 = ""; } node CisS { label = "S guilty?"; position = (530 200); states = ("false" "true"); subtype = boolean; HR_LinkMode_crgt = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; HR_LinkMode_cpg = "0"; HR_LinkMode_cmg = "0"; HR_NodeSize = "(118, 59)"; } potential (crgt | ogt sgt CisS) { model_nodes = (); model_data = ( if (CisS == true, sgt, ogt) ); } potential (ogt) { data = ( 1 1 1 1 1 1 ); } potential (sgt) { data = ( 1 1 1 1 1 1 ); } potential (CisS) { data = ( 1 1 ); } } % class query class gt { inputs = (pg mg); outputs = (gt); node_size = (108 58); HR_OOBN_CheckConsistency = "1"; HR_Instantiated_in = "\"unnamed31\", \"unnamed31\"\"crime\"\"crime\""; HR_Node_Label_Style = "0"; HR_Desc = ""; HR_OOBN_FitExpand = "1"; HR_Zoom_ZoomFactor = "100"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Color_Interface = "21"; HR_Color_Instance = "0"; HR_Color_Utility = "36"; HR_Color_Decision = "34"; HR_Color_ContinuousChance = "48"; HR_Color_DiscreteChance = "0"; HR_Monitor_InitSD = "2"; HR_Monitor_InitStates = "5"; HR_Monitor_OpenGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_AutoUpdGraph = "0"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_Approximate = "0"; HR_Compile_Compress = "0"; HR_Compile_TriangMethod = "0"; HR_Propagate_AutoNormal = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_Auto = "1"; HR_Font_Italic = "0"; HR_Font_Weight = "700"; HR_Font_Size = "-19"; HR_Font_Name = "Arial"; HR_Grid_GridShow = "0"; HR_Grid_GridSnap = "1"; HR_Grid_Y = "10"; HR_Grid_X = "10"; node gt { label = ""; position = (290 240); states = ("A" "AB" "Ax" "B" "Bx" "x"); HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_Desc = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; } node mg { label = ""; position = (350 100); states = ("A" "B" "x"); HR_NodeSize = "(118, 59)"; HR_LinkMode_gt = "0"; HR_Desc = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; } node pg { label = ""; position = (200 100); states = ("A" "B" "x"); HR_NodeSize = "(118, 59)"; HR_LinkMode_gt = "0"; HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_Desc = ""; } potential (gt | mg pg) { data = ((( 1 0 0 0 0 0 ) % mg=A pg=A ( 0 1 0 0 0 0 ) % mg=A pg=B ( 0 0 1 0 0 0 )) % mg=A pg=x (( 0 1 0 0 0 0 ) % mg=B pg=A ( 0 0 0 1 0 0 ) % mg=B pg=B ( 0 0 0 0 1 0 )) % mg=B pg=x (( 0 0 1 0 0 0 ) % mg=x pg=A ( 0 0 0 0 1 0 ) % mg=x pg=B ( 0 0 0 0 0 1 ))); % mg=x pg=x } potential (mg) { data = ( 1 1 1 ); } potential (pg) { data = ( 1 1 1 ); } } % class gt class relation { inputs = (); outputs = (P1 P2 P4 P3 P6 P5 P7 P8); node_size = (108 58); HR_OOBN_CheckConsistency = "1"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Groups_IDs = "1"; HR_Group_1_Color = "60"; HR_Group_1_Name = "input"; HR_Instantiated_in = "\"D13D3D5D7\""; HR_Desc = ""; HR_OOBN_FitExpand = "1"; HR_Zoom_ZoomFactor = "100"; HR_Color_Interface = "21"; HR_Color_Instance = "0"; HR_Color_Utility = "36"; HR_Color_Decision = "34"; HR_Color_ContinuousChance = "48"; HR_Color_DiscreteChance = "0"; HR_Monitor_InitSD = "2"; HR_Monitor_InitStates = "5"; HR_Monitor_OpenGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_AutoUpdGraph = "0"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_Approximate = "0"; HR_Compile_Compress = "0"; HR_Compile_TriangMethod = "0"; HR_Propagate_AutoNormal = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_Auto = "1"; HR_Font_Italic = "0"; HR_Font_Weight = "700"; HR_Font_Size = "-19"; HR_Font_Name = "Arial"; HR_Grid_GridShow = "0"; HR_Grid_GridSnap = "1"; HR_Grid_Y = "10"; HR_Grid_X = "10"; node P8 { label = ""; position = (790 140); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_Desc = ""; HR_State_6 = ""; HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; } node P7 { label = ""; position = (890 230); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_NodeSize = "(107, 58)"; HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_State_3 = ""; HR_State_4 = ""; HR_State_5 = ""; HR_State_6 = ""; HR_Desc = ""; } node P5 { label = ""; position = (610 240); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_Desc = ""; HR_State_6 = ""; HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; } node P6 { label = ""; position = (770 230); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_NodeSize = "(107, 58)"; HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_State_3 = ""; HR_State_4 = ""; HR_State_5 = ""; HR_State_6 = ""; HR_Desc = ""; } node P3 { label = ""; position = (350 260); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_Desc = ""; HR_State_6 = ""; HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; } node P4 { label = ""; position = (480 240); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_NodeSize = "(107, 58)"; HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_State_3 = ""; HR_State_4 = ""; HR_State_5 = ""; HR_State_6 = ""; HR_Desc = ""; } node P2 { label = ""; position = (190 260); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_Desc = ""; HR_State_6 = ""; HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; } node Relation { label = ""; position = (330 130); states = ("r0" "r1" "r2" "r3" "r4"); HR_LinkMode_P8 = "0"; HR_LinkMode_P7 = "0"; HR_LinkMode_P5 = "0"; HR_LinkMode_P6 = "0"; HR_LinkMode_P3 = "0"; HR_LinkMode_P4 = "0"; HR_LinkMode_P2 = "0"; HR_LinkMode_P1 = "0"; HR_Desc = ""; HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_State_3 = ""; HR_State_4 = ""; } node P1 { label = ""; position = (60 260); states = ("0" "1" "2" "3" "4" "5" "6"); subtype = number; state_values = (0 1 2 3 4 5 6); HR_NodeSize = "(107, 58)"; HR_State_0 = ""; HR_State_1 = ""; HR_State_2 = ""; HR_State_3 = ""; HR_State_4 = ""; HR_State_5 = ""; HR_State_6 = ""; HR_Desc = ""; } potential (P8 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } potential (P7 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } potential (P5 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } potential (P6 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } potential (P3 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } potential (P4 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } potential (P2 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } potential (Relation) { data = ( 0.9 0.025 0.025 0.025 0.025 ); } potential (P1 | Relation) { data = (( 1 0 0 0 0 0 0 ) % Relation=r0 ( 0 0.5 0 0 0.5 0 0 ) % Relation=r1 ( 0 0.5 0 0.5 0 0 0 ) % Relation=r2 ( 0.5 0 0.5 0 0 0 0 ) % Relation=r3 ( 0.5 0.5 0 0 0 0 0 )); % Relation=r4 } } % class relation class D13 { inputs = (); outputs = (D13); node_size = (108 58); HR_OOBN_CheckConsistency = "1"; HR_Instantiated_in = ""; HR_Desc = ""; HR_OOBN_FitExpand = "1"; HR_Zoom_ZoomFactor = "100"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Color_Interface = "21"; HR_Color_Instance = "0"; HR_Color_Utility = "36"; HR_Color_Decision = "34"; HR_Color_ContinuousChance = "48"; HR_Color_DiscreteChance = "0"; HR_Monitor_InitSD = "2"; HR_Monitor_InitStates = "5"; HR_Monitor_OpenGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_AutoUpdGraph = "0"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_Approximate = "0"; HR_Compile_Compress = "0"; HR_Compile_TriangMethod = "0"; HR_Propagate_AutoNormal = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_Auto = "1"; HR_Font_Italic = "0"; HR_Font_Weight = "700"; HR_Font_Size = "-19"; HR_Font_Name = "Arial"; HR_Grid_GridShow = "0"; HR_Grid_GridSnap = "1"; HR_Grid_Y = "10"; HR_Grid_X = "10"; node D13 { label = ""; position = (150 100); states = ("A" "B" "x"); HR_Desc = ""; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; } potential (D13) { data = ( 0.075 0.048 0.877 ); } } % class D13 class UAF { inputs = (M pool pool1 pool2 pool3); outputs = (g4 g3 g2 g1); node_size = (108 58); HR_ToolBar_CDVT = "0"; HR_OOBN_CheckConsistency = "1"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Groups_IDs = "1,2,3,4,5,6,7"; HR_Group_7_Color = "12"; HR_Group_7_Name = "bernouilli"; HR_Group_6_Color = "0"; HR_Group_6_Name = "unobs"; HR_Group_5_Color = "35"; HR_Group_5_Name = "4allele marker"; HR_Group_4_Color = "23"; HR_Group_4_Name = "observed area"; HR_Group_3_Color = "60"; HR_Group_3_Name = "amount"; HR_Group_2_Color = "31"; HR_Group_2_Name = "Target Node"; HR_Group_1_Color = "35"; HR_Group_1_Name = "Observation Node"; HR_Instantiated_in = "\"crime\", \"crime_UGF\", \"marker1\", \"markers2_ibd\""; HR_Node_Label_Style = "0"; HR_Grid_X = "10"; HR_Grid_Y = "10"; HR_Grid_GridSnap = "1"; HR_Grid_GridShow = "0"; HR_Font_Name = "Arial"; HR_Font_Size = "-19"; HR_Font_Weight = "700"; HR_Font_Italic = "0"; HR_Propagate_Auto = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_AutoNormal = "1"; HR_Compile_TriangMethod = "0"; HR_Compile_Compress = "0"; HR_Compile_Approximate = "0"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Monitor_AutoUpdGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_OpenGraph = "0"; HR_Monitor_InitStates = "5"; HR_Monitor_InitSD = "2"; HR_Color_DiscreteChance = "23"; HR_Color_ContinuousChance = "48"; HR_Color_Decision = "34"; HR_Color_Utility = "36"; HR_Color_Instance = "0"; HR_Color_Interface = "21"; HR_Zoom_ZoomFactor = "62"; HR_OOBN_FitExpand = "1"; HR_Desc = ""; node temp42 { label = "temp42\n"; position = (430 310); states = ("A" "B" "x"); subtype = label; HR_LinkMode_temp43 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; HR_Desc = "Founder gene node, drawn randomly from population"; HR_LinkMode_f12_1_1 = "0"; HR_Group = "6"; } node temp32 { label = "temp32"; position = (260 310); states = ("A" "B" "x"); subtype = label; HR_LinkMode_g3 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(107, 58)"; HR_LinkMode_f3 = "0"; HR_Group = "6"; } node temp43 { label = "temp43\n"; position = (530 310); states = ("A" "B" "x"); subtype = label; HR_LinkMode_g4 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(107, 58)"; HR_LinkMode_f4 = "0"; HR_Group = "6"; } node g1 { label = "g1 "; position = (55 384); states = ("A" "B" "x"); subtype = label; HR_LinkMode_temp42 = "0"; HR_LinkMode_temp32 = "0"; HR_LinkMode_g2 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(107, 58)"; HR_LinkMode_f2 = "0"; HR_LinkMode_f12 = "0"; HR_LinkMode_f12_1 = "0"; HR_Group = "6"; } node g2 { label = "g2"; position = (185 384); states = ("A" "B" "x"); subtype = label; HR_LinkMode_temp42 = "0"; HR_LinkMode_temp32 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(107, 58)"; HR_LinkMode_f12 = "0"; HR_LinkMode_f12_1 = "0"; HR_Group = "6"; } node g3 { label = "g3"; position = (345 384); states = ("A" "B" "x"); subtype = label; HR_LinkMode_temp43 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(107, 58)"; HR_LinkMode_f12_1_1 = "0"; HR_Group = "6"; } node g4 { label = "g4\n"; position = (596 384); states = ("A" "B" "x"); subtype = label; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(107, 58)"; HR_Group = "6"; } node pool3 { label = "pool"; position = (590 450); states = ("A" "B" "x"); HR_LinkMode_g4 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(118, 59)"; HR_LinkMode_f4 = "0"; HR_Group = "6"; } node pool2 { label = "pool"; position = (340 446); states = ("A" "B" "x"); HR_LinkMode_g3 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(118, 59)"; HR_LinkMode_f3 = "0"; HR_Group = "6"; } node pool1 { label = " pool"; position = (190 446); states = ("A" "B" "x"); HR_LinkMode_g2 = "0"; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(118, 59)"; HR_LinkMode_f2 = "0"; HR_Group = "6"; } node pool { label = "pool"; position = (56 446); states = ("A" "B" "x"); HR_LinkMode_g1 = "0"; HR_State_2 = ""; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = "Founder gene node, drawn randomly from population"; HR_NodeSize = "(118, 59)"; HR_LinkMode_f1_1 = "0"; HR_Group = "6"; } node d43 { label = "d43"; position = (530 260); states = ("0" "1"); subtype = number; state_values = (0 1); HR_LinkMode_temp43 = "0"; HR_Group = "7"; HR_LinkMode_f12_1_1 = "0"; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; HR_Desc = ""; } node d42 { label = "d42"; position = (430 260); states = ("0" "1"); subtype = number; state_values = (0 1); HR_LinkMode_temp42 = "0"; HR_Group = "7"; HR_LinkMode_f12_1 = "0"; HR_Desc = ""; HR_NodeSize = "(107, 58)"; HR_State_0 = ""; HR_State_1 = ""; } node M { label = ""; position = (345 118); states = ("0" "9" "99" "999" "9999" "99999"); subtype = number; state_values = (0 10 100 1000 10000 100000); HR_LinkMode_c4 = "0"; HR_LinkMode_c3 = "0"; HR_LinkMode_c2 = "0"; HR_Group = "4"; HR_LinkMode_C3 = "0"; HR_LinkMode_C2 = "0"; HR_LinkMode_C1 = "0"; HR_State_5 = ""; HR_State_4 = ""; HR_State_3 = ""; HR_State_2 = ""; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(118, 59)"; } node c4 { label = "c4"; position = (596 200); states = ("0" "1"); subtype = number; state_values = (0 1); HR_LinkMode_g4 = "0"; HR_Group = "7"; HR_LinkMode_f4 = "0"; HR_NodeSize = "(107, 58)"; HR_State_1 = ""; HR_State_0 = ""; HR_Desc = ""; } node c3 { label = "c3\n"; position = (345 200); states = ("0" "1"); subtype = number; state_values = (0 1); HR_LinkMode_g3 = "0"; HR_Group = "7"; HR_LinkMode_f3 = "0"; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; HR_Desc = ""; } node c2 { label = "c2\n"; position = (185 200); states = ("0" "1"); subtype = number; state_values = (0 1); HR_LinkMode_g2 = "0"; HR_Group = "7"; HR_LinkMode_f2 = "0"; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; HR_Desc = ""; } node d32 { label = "d32"; position = (260 260); states = ("0" "1"); subtype = number; state_values = (0 1); HR_LinkMode_temp32 = "0"; HR_Group = "7"; HR_LinkMode_f12 = "0"; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(107, 58)"; HR_Desc = ""; } potential (temp42 | g1 g2 d42) { model_nodes = (); model_data = ( if (d42 == 0, g1, g2) ); } potential (temp32 | g1 g2 d32) { model_nodes = (); model_data = ( if (d32 == 0, g1, g2) ); } potential (temp43 | g3 temp42 d43) { model_nodes = (); model_data = ( if (d43 == 0, g3, temp42) ); } potential (g1 | pool) { model_nodes = (); model_data = ( pool ); } potential (g2 | g1 c2 pool1) { model_nodes = (); model_data = ( if (c2 == 0, pool1, g1) ); } potential (g3 | temp32 c3 pool2) { model_nodes = (); model_data = ( if (c3 == 0, pool2, temp32) ); } potential (g4 | temp43 c4 pool3) { model_nodes = (); model_data = ( if (c4 == 0, pool3, temp43) ); } potential (pool3) { data = ( 1 1 1 ); } potential (pool2) { data = ( 1 1 1 ); } potential (pool1) { data = ( 1 1 1 ); } potential (pool) { data = ( 1 1 1 ); } potential (d43) { data = ( 1 2 ); } potential (d42) { data = ( 0.5 0.5 ); } potential (M) { data = ( 1 1 1 1 1 1 ); } potential (c4 | M) { model_nodes = (); model_data = ( Binomial (1, 3 / (M + 3)) ); } potential (c3 | M) { model_nodes = (); model_data = ( Binomial (1, 2 / (M + 2)) ); } potential (c2 | M) { model_nodes = (); model_data = ( Binomial (1, 1 / (M + 1)) ); } potential (d32) { data = ( 0.5 0.5 ); } } % class UAF class crime { inputs = (); outputs = (); node_size = (118 58); HR_Group_6_Description = ""; HR_Group_6_Color = "15"; HR_Group_6_Name = "target"; HR_Group_5_Description = ""; HR_Group_5_Color = "23"; HR_Group_5_Name = "M"; HR_Group_4_Color = "51"; HR_Group_4_Name = "observed area"; HR_ToolBar_CDVT = "0"; HR_OOBN_CheckConsistency = "1"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Groups_IDs = "4,5,6"; HR_Group_3_Color = "51"; HR_Group_3_Name = "observed"; HR_Group_2_Color = "31"; HR_Group_2_Name = "target"; HR_Group_1_Color = "60"; HR_Group_1_Name = "common node"; HR_Grid_X = "10"; HR_Grid_Y = "10"; HR_Grid_GridSnap = "1"; HR_Grid_GridShow = "0"; HR_Font_Name = "Arial"; HR_Font_Size = "-19"; HR_Font_Weight = "700"; HR_Font_Italic = "0"; HR_Propagate_Auto = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_AutoNormal = "1"; HR_Compile_TriangMethod = "0"; HR_Compile_Compress = "0"; HR_Compile_Approximate = "0"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Monitor_AutoUpdGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_OpenGraph = "0"; HR_Monitor_InitStates = "5"; HR_Monitor_InitSD = "2"; HR_Color_DiscreteChance = "0"; HR_Color_ContinuousChance = "48"; HR_Color_Decision = "34"; HR_Color_Utility = "36"; HR_Color_Instance = "0"; HR_Color_Interface = "21"; HR_Zoom_ZoomFactor = "82"; HR_OOBN_FitExpand = "1"; HR_Desc = ""; HR_Node_Label_Style = "0"; node M { label = ""; position = (279 205); states = ("0" "9" "99" "999" "9999" "99999"); subtype = number; state_values = (0 10 100 1000 10000 100000); HR_LinkMode_M = "0"; HR_NodeSize = "(120, 65)"; HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_State_2 = ""; HR_State_3 = ""; HR_State_4 = ""; HR_State_5 = ""; HR_LinkMode_C1 = "0"; HR_LinkMode_C2 = "0"; HR_LinkMode_C3 = "0"; HR_LinkMode_c2 = "0"; HR_LinkMode_c3 = "0"; HR_LinkMode_c4 = "0"; HR_Group = "5"; } instance UAF : UAF (M = M, pool = D3_1_D3, pool1 = D3_2_D3, pool2 = D3_3_D3, pool3 = D3_4_D3; UAF_g4 = g4, UAF_g3 = g3, UAF_g2 = g2, UAF_g1 = g1) { label = ""; position = (464 201); HR_Output_Order = "UAF_g1\tUAF_g2\tUAF_g3\tUAF_g4\t"; HR_isCollapsed = "true"; HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_NodeSize = "(107, 58)"; HR_Group = "0"; HR_Desc = ""; } instance D3_4 : D3 (; D3_4_D3 = D3) { label = ""; position = (558 82); HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_NodeSize = "(107, 58)"; HR_Group = "0"; HR_Desc = ""; } instance D3_3 : D3 (; D3_3_D3 = D3) { label = ""; position = (509 82); HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_NodeSize = "(107, 58)"; HR_Group = "0"; HR_Desc = ""; } instance D3_2 : D3 (; D3_2_D3 = D3) { label = ""; position = (452 82); HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_NodeSize = "(107, 58)"; HR_Group = "0"; HR_Desc = ""; } instance D3_1 : D3 (; D3_1_D3 = D3) { label = ""; position = (394 82); HR_isCollapsed = "true"; HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_NodeSize = "(107, 58)"; HR_Group = "0"; HR_Desc = ""; } instance trace : query (CisS = CisS, sgt = sgt_gt, ogt = ogt_gt; trace_crgt = crgt) { label = ""; position = (490 478); HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_Group = "4"; HR_Desc = ""; HR_NodeSize = "(107, 58)"; } instance sgt : gt (pg = UAF_g1, mg = UAF_g2; sgt_gt = gt) { label = ""; position = (390 340); HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_isCollapsed = "true"; HR_Group = "4"; HR_Desc = ""; HR_NodeSize = "(107, 58)"; } instance ogt : gt (pg = UAF_g3, mg = UAF_g4; ogt_gt = gt) { label = ""; position = (542 340); HR_InterfaceNode_placement = "horizontal"; HR_InterfaceNode_size = "118,59"; HR_Group = "0"; HR_isCollapsed = "true"; HR_Desc = ""; HR_NodeSize = "(107, 58)"; } node CisS { label = "S guilty?"; position = (270 480); states = ("false" "true"); subtype = boolean; HR_LinkMode_CisS = "0"; HR_Group = "6"; HR_State_1 = ""; HR_State_0 = ""; HR_NodeSize = "(120, 65)"; HR_LinkMode_cmg = "0"; HR_LinkMode_cpg = "0"; HR_Desc = ""; } potential (M) { data = ( 1 1 1 1 1 1 ); } potential (CisS) { data = ( 1 1 ); } } % class crime