Prolog { founder(X) :- \+(father(_,X)), \+(mother(_,X)). father(uwe,kristian). father(uwe,annette). father(willhelm,uwe). father(alfred,marianne). father(kristian,linus). father(kristian,mette). father(herbert,nadine). mother(marianne,kristian). mother(marianne,annette). mother(anneliese,uwe). mother(pauline,marianne). mother(margot,nadine). mother(nadine,linus). mother(nadine,mette). } Logical Predicate father/2 { bounds = (209, 77, 70, 70) } Logical Predicate founder/1 { bounds = (146, 0, 70, 70) } Logical Predicate mother/2 { bounds = (88, 80, 70, 70) } Discrete Bayesian Predicate mchrom/1 { domain = (a, b, null) combining rule = id bounds = (2, 196, 70, 70) } Discrete Bayesian Predicate pchrom/1 { domain = (a, b, null) combining rule = id bounds = (299, 204, 70, 70) } Discrete Bayesian Predicate bloodtype/1 { domain = (a, b, ab, null) combining rule = id bounds = (144, 345, 70, 70) } Potential (mchrom(Person)|founder(Person)) { bounds = (18, 26, 40, 40) clauseBounds = { (71,9,70,70) (29,111,70,70) (0,9,55,30) } { 0.3 0.3 0.4 } } Potential (pchrom(Person)|founder(Person)) { bounds = (314, 29, 40, 40) clauseBounds = { (115,14,70,70) (20,111,70,70) (1,10,55,30) } { 0.3 0.3 0.4 } } Potential (mchrom(Person)|mother(Mother,Person),pchrom(Mother),mchrom(Mother)) { bounds = (133, 169, 40, 40) clauseBounds = { (213,172,70,70) (37,174,70,70) (175,49,70,70) (261,49,70,70) (111,134,55,30) (138,0,55,30) } { 0.9 0.05 0.05 0.49 0.49 0.02 0.49 0.02 0.49 0.49 0.49 0.02 0.05 0.9 0.05 0.02 0.49 0.49 0.49 0.02 0.49 0.02 0.49 0.49 0.05 0.05 0.9 } } Potential (pchrom(Person)|father(Father,Person),pchrom(Father),mchrom(Father)) { bounds = (202, 169, 40, 40) clauseBounds = { (240,155,70,70) (88,161,70,70) (170,46,70,70) (277,43,70,70) (138,114,55,30) (120,1,55,30) } { 0.9 0.05 0.05 0.49 0.49 0.02 0.49 0.02 0.49 0.49 0.49 0.02 0.05 0.9 0.05 0.02 0.49 0.49 0.49 0.02 0.49 0.02 0.49 0.49 0.05 0.05 0.9 } } Potential (bloodtype(Person)|pchrom(Person),mchrom(Person)) { bounds = (158, 275, 40, 40) clauseBounds = { (142,122,70,70) (88,27,70,70) (180,28,70,70) (15,116,55,30) } { 0.9 0.03 0.03 0.04 0.03 0.03 0.9 0.04 0.9 0.04 0.03 0.03 0.03 0.03 0.9 0.04 0.04 0.9 0.03 0.03 0.02 0.9 0.04 0.04 0.9 0.03 0.03 0.04 0.03 0.9 0.03 0.04 0.03 0.03 0.04 0.9 } }