Prolog: add bugs files for the first six groups

1 files changed, 527 insertions, 0 deletions

diff --git a/prolog/problems/lists_advanced/sublist_2/bugs.json b/prolog/problems/lists_advanced/sublist_2/bugs.json
new file mode 100644
index 0000000..acce3a7
--- /dev/null
+++ b/prolog/problems/lists_advanced/sublist_2/bugs.json
@@ -0,0 +1,527 @@
+{
+  "patterns": [
+    "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"sublist\") (args (args \"[]\")))))",
+    "(clause (head (compound (functor \"sublist\") (args \"[]\"))))",
+    "(clause (head (compound (functor \"sublist\") (args \"[]\" (args \"[]\")))))",
+    "(clause (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))",
+    "(clause (binop variable \"=\"))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (binop \"=\" (list (h variable))))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))))",
+    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (binop \"=\" (list (t variable))))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args (list (h variable)))))))",
+    "(clause (binop \"=\" (list (t variable))) (compound (functor \"sublist\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args (list (t variable)))))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))))",
+    "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"sublist\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args variable (args \"[]\")))))",
+    "(clause (head (compound (functor \"sublist\") (args (args (list (t variable)))))) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (binop variable \"=\") (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (compound (functor \"sublist\") (args (args variable))) (binop \"=\" variable))",
+    "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+    "(clause (compound (functor \"conc\") (args (args (args (list (t variable)))))))",
+    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" variable))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" variable))",
+    "(clause (binop \"=\" \"[]\"))",
+    "(clause (binop variable \"=\" \"[]\"))",
+    "(clause (compound (functor \"sublist\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args variable (args variable)))))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+    "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args variable)))",
+    "(clause (binop \"=\" variable))",
+    "(clause (compound (functor \"conc\") (args (list (h variable)))))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args (list (t variable))))))",
+    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sublist\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (binop variable \"=\"))",
+    "(clause (compound (functor \"conc\") (args (args (args (list (t variable)))))) (compound (functor \"sublist\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+    "(clause (binop variable \"=\") (compound (functor \"sublist\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (compound (functor \"conc\") (args (args \"[]\"))))",
+    "(clause (compound (functor \"sublist\") (args (args variable))) (binop \"=\" (list (t variable))))",
+    "(clause (compound (functor \"conc\") (args variable (args \"[]\"))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args \"[]\" (args variable)))))",
+    "(clause (binop variable \"=\") (binop variable \"=\"))",
+    "(clause (binop \"=\" (list (t variable))) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"sublist\") (args (list (h variable)))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (list (t variable)))))",
+    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (binop variable \"=\") (binop \"=\" variable))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"\\=\"))",
+    "(clause (binop \"=\" (list (h variable) (t \"[]\"))))",
+    "(clause (compound (functor \"conc\") (args (args variable (args variable)))))",
+    "(clause (binop variable \"=\" (list (t \"[]\"))))",
+    "(clause (binop \"=\" (list (t \"[]\"))))",
+    "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"sublist\") (args \"[]\" (args variable)))))",
+    "(clause (binop variable \"\\=\" \"[]\"))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (unop \\+ (binop variable \"=\")))",
+    "(clause (binop \"\\=\" \"[]\"))",
+    "(clause (binop \"=\" (list (t (list (t variable))))))",
+    "(clause (unop \\+ (binop \"=\" \"[]\")))",
+    "(clause (unop \\+ (binop variable \"=\" \"[]\")))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (compound (functor \"sublist\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (binop variable \"=\")))",
+    "(clause (head (binop \"=\" variable)))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"sublist\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args variable)))))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args (list (h variable)))))",
+    "(clause (compound (functor \"sublist\") (args (args variable))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop \"=\" variable))",
+    "(clause (binop variable \"\\=\"))",
+    "(clause (binop \"=\" (list (h variable))) (compound (functor \"sublist\") (args (args variable))))",
+    "(clause (compound (functor \"sublist\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable)) (args variable)))))",
+    "(clause (binop \"=\" (list (t (list (t variable))))) (binop \"=\" (list (t variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"is\"))",
+    "(clause (compound (functor \"conc\") (args (list (t variable)))))",
+    "(clause (compound (functor \"sublist\") (args variable (args variable))))",
+    "(clause (compound (functor \"conc\") (args (args (list (h variable) (t variable))))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t (list (t variable))))))) (compound (functor \"sublist\") (args variable)))",
+    "(clause (binop \"\\==\" \"[]\"))",
+    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args \"[]\")))))",
+    "(clause (binop variable \"\\==\" \"[]\"))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"append\") (args (args (args variable)))))",
+    "(clause (compound (functor \"conc\") (args variable (args (args variable)))))",
+    "(clause (compound (functor \"conc\") (args variable (args (list (t variable))))))",
+    "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"fsub\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable)) (args (list (t variable)))))))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"\\=\"))",
+    "(clause (compound (functor \"conc\") (args \"[]\" (args variable))))",
+    "(clause (compound (functor \"sublist\") (args (args variable))) (unop \\+ (binop variable \"=\")))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args variable)))",
+    "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+    "(clause (compound (functor \"conc\") (args \"[]\" (args (args variable)))))",
+    "(clause (compound (functor \"conc\") (args (list (h variable)) (args variable))))",
+    "(clause (head (compound (functor \"fsub\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+    "(clause (compound (functor \"conc\") (args \"[]\")))",
+    "(clause (binop (list (h variable)) \"=\"))",
+    "(clause (head (compound (functor \"subl\") (args (args (list (t variable)))))) (compound (functor \"subl\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"subl\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+    "(clause (binop \"=\" (list (t variable))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"subl\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"subl\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"subl\") (args (args variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (t \"[]\"))))))",
+    "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (list (h variable)))))",
+    "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"sublist\") (args (args (list (t variable)))))) (compound (functor \"sublist\") (args variable)))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable) (t \"[]\"))))))",
+    "(clause (head (compound (functor \"subl\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"sublist\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"subl\") (args (args \"[]\" (args variable))))))",
+    "(clause (head (compound (functor \"subl\") (args variable (args \"[]\")))))",
+    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+    "(clause (head (compound (functor \"subl\") (args (args (args variable))))) (compound (functor \"subl\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop variable \"=<\"))",
+    "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))",
+    "(clause (compound (functor \"conc\") (args (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+    "(clause (head (compound (functor \"subl\") (args variable))) (compound (functor \"subl\") (args variable)))",
+    "(clause (compound (functor \"subl\") (args variable (args variable))))",
+    "(clause (head (compound (functor \"subl\") (args (args \"[]\")))))"
+  ],
+  "rules": [
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        96,
+        0
+      ],
+      "quality": 0.9822117568233223
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))))"
+      ],
+      "distribution": [
+        59,
+        0
+      ],
+      "quality": 0.9678944049149696
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (args (list (t variable)))))) (compound (functor \"sublist\") (args (args variable))))"
+      ],
+      "distribution": [
+        45,
+        0
+      ],
+      "quality": 0.95558425679854
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        45,
+        0
+      ],
+      "quality": 0.95558425679854
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args (list (h variable)))))))",
+        "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))"
+      ],
+      "distribution": [
+        77,
+        1
+      ],
+      "quality": 0.9469515797981775
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop \"=\" (list (h variable))))"
+      ],
+      "distribution": [
+        58,
+        1
+      ],
+      "quality": 0.9427119683066102
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args (list (h variable)))))))"
+      ],
+      "distribution": [
+        105,
+        4
+      ],
+      "quality": 0.9380206385193013
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" variable))"
+      ],
+      "distribution": [
+        33,
+        0
+      ],
+      "quality": 0.9338975659148043
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args \"[]\" (args \"[]\")))))",
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))"
+      ],
+      "distribution": [
+        122,
+        5
+      ],
+      "quality": 0.9291150449571097
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))",
+        "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))"
+      ],
+      "distribution": [
+        60,
+        1
+      ],
+      "quality": 0.9260809884815985
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        47,
+        1
+      ],
+      "quality": 0.9259029131445955
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+        "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+        "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))"
+      ],
+      "distribution": [
+        2,
+        73
+      ],
+      "quality": 0.9258076118083884
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args \"[]\" (args \"[]\")))))",
+        "(clause (binop \"=\" (list (t variable))) (compound (functor \"sublist\") (args variable)))"
+      ],
+      "distribution": [
+        73,
+        2
+      ],
+      "quality": 0.9220920542429745
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))"
+      ],
+      "distribution": [
+        156,
+        10
+      ],
+      "quality": 0.9195686065251332
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args variable))))"
+      ],
+      "distribution": [
+        28,
+        0
+      ],
+      "quality": 0.9180369800120464
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+        "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        6,
+        104
+      ],
+      "quality": 0.9159805216406367
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args variable)))"
+      ],
+      "distribution": [
+        24,
+        0
+      ],
+      "quality": 0.9003487095519815
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args (list (h variable)))))"
+      ],
+      "distribution": [
+        22,
+        0
+      ],
+      "quality": 0.8891079363889672
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args variable)))"
+      ],
+      "distribution": [
+        22,
+        0
+      ],
+      "quality": 0.8891079363889672
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))"
+      ],
+      "distribution": [
+        21,
+        0
+      ],
+      "quality": 0.8822628861424969
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sublist\") (args (args variable))))"
+      ],
+      "distribution": [
+        21,
+        0
+      ],
+      "quality": 0.8822628861424969
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))"
+      ],
+      "distribution": [
+        21,
+        0
+      ],
+      "quality": 0.8822628861424969
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args (args (args (list (t variable)))))) (compound (functor \"sublist\") (args variable)))"
+      ],
+      "distribution": [
+        20,
+        0
+      ],
+      "quality": 0.8748108331097285
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (binop variable \"=\"))"
+      ],
+      "distribution": [
+        19,
+        0
+      ],
+      "quality": 0.8663218629482545
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args (args variable))))"
+      ],
+      "distribution": [
+        18,
+        0
+      ],
+      "quality": 0.854134114032757
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))"
+      ],
+      "distribution": [
+        18,
+        0
+      ],
+      "quality": 0.854134114032757
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+        "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        25,
+        109
+      ],
+      "quality": 0.7903132859329443
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+        "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))",
+        "(clause (compound (functor \"conc\") (args (args variable))))"
+      ],
+      "distribution": [
+        1,
+        15
+      ],
+      "quality": 0.7218208238692915
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+        "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args (args variable)))))",
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))"
+      ],
+      "distribution": [
+        4,
+        22
+      ],
+      "quality": 0.7003614662287178
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+        "(clause (binop \"\\==\" \"[]\"))"
+      ],
+      "distribution": [
+        0,
+        5
+      ],
+      "quality": 0.47276259970016454
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"fsub\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        0,
+        3
+      ],
+      "quality": 0.39632794402854515
+    }
+  ]
+}
\ No newline at end of file