diff --git a/examples/dft/and.dft b/examples/dft/and.dft
new file mode 100644
index 000000000..2b06cbe95
--- /dev/null
+++ b/examples/dft/and.dft
@@ -0,0 +1,4 @@
+toplevel "A";
+"A" and "B" "C";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/and_param.dft b/examples/dft/and_param.dft
new file mode 100644
index 000000000..8c95a0f2a
--- /dev/null
+++ b/examples/dft/and_param.dft
@@ -0,0 +1,5 @@
+param x;
+toplevel "A";
+"A" and "B" "C";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=x dorm=0.3;
diff --git a/examples/dft/or.dft b/examples/dft/or.dft
new file mode 100644
index 000000000..b1003da11
--- /dev/null
+++ b/examples/dft/or.dft
@@ -0,0 +1,4 @@
+toplevel "A";
+"A" or "B" "C";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/pand.dft b/examples/dft/pand.dft
new file mode 100644
index 000000000..d752517b4
--- /dev/null
+++ b/examples/dft/pand.dft
@@ -0,0 +1,4 @@
+toplevel "A";
+"A" pand "B" "C";
+"B" lambda=0.4 dorm=0.3;
+"C" lambda=0.2 dorm=0.3;
diff --git a/examples/dft/spare.dft b/examples/dft/spare.dft
new file mode 100644
index 000000000..4c5d44ff4
--- /dev/null
+++ b/examples/dft/spare.dft
@@ -0,0 +1,5 @@
+toplevel "A";
+"A" wsp "I" "M";
+"I" lambda=0.5 dorm=0.3;
+"M" lambda=0.5 dorm=0.3;
+
diff --git a/examples/dft/spare2.dft b/examples/dft/spare2.dft
new file mode 100644
index 000000000..21b40cf73
--- /dev/null
+++ b/examples/dft/spare2.dft
@@ -0,0 +1,8 @@
+toplevel "A";
+"A" or "B" "C";
+"B" wsp "I" "J";
+"C" wsp "M" "J";
+"I" lambda=0.5 dorm=0.3;
+"J" lambda=0.5 dorm=0.3;
+"M" lambda=0.5 dorm=0.3;
+
diff --git a/examples/dft/spare3.dft b/examples/dft/spare3.dft
new file mode 100644
index 000000000..ba0ac01d4
--- /dev/null
+++ b/examples/dft/spare3.dft
@@ -0,0 +1,10 @@
+toplevel "A";
+"A" or "B" "C" "D";
+"B" wsp "I" "M";
+"C" wsp "J" "M";
+"D" wsp "K" "M";
+"I" lambda=0.5 dorm=0.3;
+"J" lambda=0.5 dorm=0.3;
+"K" lambda=0.5 dorm=0.3;
+"M" lambda=0.5 dorm=0.3;
+
diff --git a/examples/dft/spare4.dft b/examples/dft/spare4.dft
new file mode 100644
index 000000000..a217c6e43
--- /dev/null
+++ b/examples/dft/spare4.dft
@@ -0,0 +1,9 @@
+toplevel "A";
+"A" and "B" "C";
+"B" wsp "I" "J" "K";
+"C" wsp "M" "J";
+"I" lambda=0.5 dorm=0.3;
+"J" lambda=0.5 dorm=0.3;
+"K" lambda=0.5 dorm=0.3;
+"M" lambda=0.5 dorm=0.3;
+
diff --git a/examples/dft/tripple_and1.dft b/examples/dft/tripple_and1.dft
new file mode 100644
index 000000000..b6f1c04b2
--- /dev/null
+++ b/examples/dft/tripple_and1.dft
@@ -0,0 +1,8 @@
+toplevel "A";
+"A" and "B" "C";
+"B" and "BE1" "BE2";
+"C" and "BE3" "BE4";
+"BE1" lambda=0.5 dorm=0.3;
+"BE2" lambda=0.5 dorm=0.3;
+"BE3" lambda=0.5 dorm=0.3;
+"BE4" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/tripple_and2.dft b/examples/dft/tripple_and2.dft
new file mode 100644
index 000000000..0f9d0e491
--- /dev/null
+++ b/examples/dft/tripple_and2.dft
@@ -0,0 +1,6 @@
+toplevel "A";
+"A" and "B" "C";
+"B" and "BE1" "BE2";
+"BE1" lambda=0.5 dorm=0.3;
+"BE2" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/voting.dft b/examples/dft/voting.dft
new file mode 100644
index 000000000..18a54a7fa
--- /dev/null
+++ b/examples/dft/voting.dft
@@ -0,0 +1,5 @@
+toplevel "A";
+"A" vot2 "B" "C" "D";
+"B" lambda=0.5 dorm=0.3;
+"C" lambda=0.5 dorm=0.3;
+"D" lambda=0.5 dorm=0.3;