diff --git a/packages/CLPBN/examples/complex.fg b/packages/CLPBN/examples/complex.fg
new file mode 100644
index 000000000..30f076ba4
--- /dev/null
+++ b/packages/CLPBN/examples/complex.fg
@@ -0,0 +1,137 @@
+10
+
+2
+0 1
+2 2
+4
+0 1.02
+1 0.87
+2 0.88
+3 0.45
+
+4
+1 2 3 4
+2 2 3 3
+36
+0 0.11
+1 1.11
+2 0.41
+3 0.12
+4 0.1
+5 0.17
+6 1.21
+7 1.1
+8 0.11
+9 0.41
+10 0.8
+11 0.71
+12 0.14
+13 0.24
+14 0.54
+15 1.4
+16 0.23
+17 0.24
+18 0.65
+19 0.05
+20 0.32
+21 0.12
+22 0.99
+23 0.69
+24 0.29
+25 1.29
+26 0.15
+27 1.24
+28 0.42
+29 0.124
+30 0.67
+31 0.078
+32 0.14
+33 0.55
+34 0.45
+35 0.1
+
+3
+2 5 6
+2 2 3
+12
+0 0.15
+1 0.55
+2 2.21
+3 5.71
+4 0.44
+5 0.14
+6 0.5
+7 1.75
+8 1.29
+9 3.29
+10 0.36
+11 1.56
+
+2
+7 2
+4 2
+8
+0 0.11
+1 0.59
+2 0.15
+3 0.124
+4 0.41
+5 2.11
+6 1.06
+7 0.929
+
+1
+3
+3
+3
+0 0.1
+1 0.58
+2 0.74
+
+1
+4
+3
+3
+0 3.2
+1 0.28
+2 1.24
+
+2
+8 4
+2 3
+6
+0 0.19
+1 3.1
+2 0.49
+3 1.5
+4 2.1
+5 2.8
+
+1
+5
+2
+2
+0 0.74
+1 0.14
+
+1
+6
+3
+3
+0 0.032
+1 0.028
+2 0.24
+
+2
+9 7
+2 4
+8
+0 0.61
+1 0.61
+2 1.4
+3 0.24
+4 0.09
+5 0.19
+6 1.4
+7 0.6
+
diff --git a/packages/CLPBN/examples/complex.pfl b/packages/CLPBN/examples/complex.pfl
new file mode 100644
index 000000000..14a78a4c5
--- /dev/null
+++ b/packages/CLPBN/examples/complex.pfl
@@ -0,0 +1,79 @@
+:- use_module(library(pfl)).
+
+%:- set_solver(ve).
+%:- set_solver(hve).
+%:- set_solver(jt).
+%:- set_solver(bdd).
+%:- set_solver(bp).
+%:- set_solver(cbp).
+%:- set_solver(gibbs).
+%:- set_solver(lve).
+%:- set_solver(lkc).
+%:- set_solver(lbp).
+
+/*
+
+ v01     v02
+   \     /
+    \   /
+     \ /
+     v03  v04  v05
+     / \   |   / \
+    /   \  |  /   \
+   /     \ | /     \
+ v06      v07      v08
+  |        |       
+  |        |
+  |        |
+ v09      v10
+
+*/
+
+markov v01::[a,b] ; table1 ; [].
+
+markov v02::[a,b,c] ; table2 ; [].
+
+markov v03::[a,b], v01, v02 ; table3 ; [].
+
+markov v04::[a,b,c] ; table4 ; [].
+
+markov v05::[a,b,c] ; table5 ; [].
+
+markov v06::[a,b,c,d], v03 ; table6 ; [].
+
+markov v07::[a,b], v03, v04, v05 ; table7 ; [].
+
+markov v08::[a,b], v05 ; table8 ; [].
+
+markov v09::[a,b], v06 ; table9 ; [].
+
+markov v10::[a,b], v07 ; table10 ; [].
+
+table1([ 0.74, 0.14 ]).
+
+table2([ 0.032, 0.028, 0.24 ]).
+
+table3([
+  0.15, 0.44, 1.29, 2.21, 0.5, 0.36,
+  0.55, 0.14, 3.29, 5.71, 1.75, 1.56
+]).
+
+table4([ 0.1, 0.58, 0.74 ]).
+
+table5([ 3.2, 0.28, 1.24 ]).
+
+table6([ 0.11, 0.41, 0.59, 2.11, 0.15, 1.06, 0.124, 0.929 ]).
+
+table7([
+  0.11, 0.14, 0.29, 0.1, 0.23, 0.42, 0.11, 0.32, 0.14,
+  0.41, 0.54, 0.15, 1.21, 0.65, 0.67, 0.8, 0.99, 0.45,
+  1.11, 0.24, 1.29, 0.17, 0.24, 0.124, 0.41, 0.12, 0.55,
+  0.12, 1.4, 1.24, 1.1, 0.05, 0.078, 0.71, 0.69, 0.1
+]).
+
+table8([ 0.19, 0.49, 2.1, 3.1, 1.5, 2.8 ]).
+
+table9([ 0.61, 1.4, 0.09, 1.4, 0.61, 0.24, 0.19, 0.6 ]).
+
+table10([ 1.02, 0.88, 0.87, 0.45 ]).
+