Prolog: add bugs files for the first six groups

1 files changed, 547 insertions, 0 deletions

diff --git a/prolog/problems/family_relations/cousin_2/bugs.json b/prolog/problems/family_relations/cousin_2/bugs.json
new file mode 100644
index 0000000..cf1bafe
--- /dev/null
+++ b/prolog/problems/family_relations/cousin_2/bugs.json
@@ -0,0 +1,547 @@
+{
+  "patterns": [
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args (args variable))))",
+    "(clause (compound (functor \"sister\") (args variable)))",
+    "(clause (compound (functor \"sister\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (binop \"\\==\" variable))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\==\"))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (binop variable \"\\==\"))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (binop \"\\==\" variable))",
+    "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\==\"))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"grandparent\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"grandparent\") (args (args variable))))",
+    "(clause (compound (functor \"grandparent\") (args variable)) (compound (functor \"grandparent\") (args variable)))",
+    "(clause (compound (functor \"brother\") (args variable)))",
+    "(clause (compound (functor \"brother\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (binop \"\\==\" variable))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (binop variable \"\\==\"))",
+    "(clause (compound (functor \"grandparent\") (args variable)) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"brother\") (args variable)) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\=\"))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))",
+    "(clause (compound (functor \"sister\") (args variable)) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\=\"))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (binop variable \"\\=\"))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (binop \"\\=\" variable))",
+    "(clause (compound (functor \"brother\") (args (args variable))) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args variable)) (binop \"\\=\" variable))",
+    "(clause (compound (functor \"sister\") (args (args variable))) (compound (functor \"parent\") (args variable)))",
+    "(clause (binop variable \"\\==\") (compound (functor \"parent\") (args (args variable))))",
+    "(clause (binop \"\\==\" variable) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args variable)))",
+    "(clause (head (binop variable \"\\==\")))",
+    "(clause (head (binop \"\\==\" variable)))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"aunt\") (args (args variable))))",
+    "(clause (compound (functor \"aunt\") (args variable)) (compound (functor \"parent\") (args variable)))",
+    "(clause (binop variable \"\\==\") (compound (functor \"parent\") (args variable)))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"aunt\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sibling\") (args variable)))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (binop variable \"\\=\"))",
+    "(clause (binop \"\\==\" variable) (compound (functor \"sister\") (args (args variable))))",
+    "(clause (binop variable \"\\==\") (compound (functor \"sister\") (args variable)))",
+    "(clause (head (compound (functor \"sibling\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"sibling\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (binop \"\\=\" variable))",
+    "(clause (binop variable \"\\==\"))",
+    "(clause (compound (functor \"aunt\") (args variable)))",
+    "(clause (binop \"\\==\" variable))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"sister\") (args (args variable))) (compound (functor \"brother\") (args (args variable))))",
+    "(clause (compound (functor \"aunt\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"male\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"aunt\") (args variable)))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))))",
+    "(clause (head (compound (functor \"parent\") (args variable))))",
+    "(clause (head (compound (functor \"parent\") (args (args variable)))))",
+    "(clause (binop \"\\==\" variable) (compound (functor \"brother\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"sister\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sibling\") (args (args variable))))",
+    "(clause (binop \"\\==\" variable) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"sister\") (args variable)))",
+    "(clause (binop variable \"\\==\") (compound (functor \"brother\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"brother\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"brother\") (args (args variable))))",
+    "(clause (compound (functor \"grandparent\") (args variable)))",
+    "(clause (compound (functor \"male\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"sister\") (args (args variable))) (binop \"\\==\" variable))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"uncle\") (args (args variable))))",
+    "(clause (compound (functor \"sibling\") (args (args variable))) (compound (functor \"parent\") (args variable)))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"brother\") (args variable)))",
+    "(clause (compound (functor \"sister\") (args variable)) (compound (functor \"brother\") (args variable)))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (binop (compound (functor \"parent\") (args (args variable))) \"\\==\"))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (binop \"\\==\" (compound (functor \"parent\") (args (args variable)))))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (binop (compound (functor \"parent\") (args (args variable))) \"\\==\"))",
+    "(clause (head (compound (functor \"rel\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (compound (functor \"parent\") (args variable)))",
+    "(clause (binop \"\\==\" variable) (binop \"\\==\" variable))",
+    "(clause (compound (functor \"brother\") (args (args variable))) (binop \"\\==\" variable))",
+    "(clause (compound (functor \"grandparent\") (args (args variable))) (binop \"\\==\" (compound (functor \"parent\") (args (args variable)))))",
+    "(clause (compound (functor \"male\") (args variable)) (binop variable \"\\==\"))",
+    "(clause (head (compound (functor \"uncle\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"brother\") (args (args variable))))",
+    "(clause (compound (functor \"brother\") (args variable)) (binop variable \"\\==\"))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"sister\") (args (args variable))))",
+    "(clause (compound (functor \"brother\") (args (args variable))) (compound (functor \"sister\") (args (args variable))))",
+    "(clause (compound (functor \"sister\") (args variable)) (binop variable \"\\==\"))",
+    "(clause (compound (functor \"sister\") (args variable)) (binop \"\\=\" variable))",
+    "(clause (compound (functor \"grandparent\") (args variable)) (binop variable \"==\"))",
+    "(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (binop \"\\==\" variable))",
+    "(clause (compound (functor \"brother\") (args variable)) (binop \"\\=\" variable))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (binop variable \"\\=\"))",
+    "(clause (head (compound (functor \"cousin\") (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"rel\") (args variable)))",
+    "(clause (binop (compound (functor \"parent\") (args (args variable))) \"\\==\") (binop variable \"\\==\"))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"uncle\") (args variable)))",
+    "(clause (binop \"\\==\" (compound (functor \"parent\") (args (args variable)))) (binop \"\\==\" variable))",
+    "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"rel\") (args (args variable))))",
+    "(clause (compound (functor \"grandparent\") (args variable)) (binop \"==\" variable))",
+    "(clause (binop variable \"\\==\") (compound (functor \"sister\") (args (args variable))))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"sister\") (args variable)))",
+    "(clause (head (compound (functor \"uncle\") (args variable))) (compound (functor \"brother\") (args variable)))",
+    "(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args variable)))",
+    "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"mother\") (args (args variable))))"
+  ],
+  "rules": [
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        133,
+        6
+      ],
+      "quality": 0.94016212482336
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        29,
+        0
+      ],
+      "quality": 0.933779474141905
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"grandparent\") (args (args variable))))"
+      ],
+      "distribution": [
+        131,
+        9
+      ],
+      "quality": 0.9176017146530752
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"grandparent\") (args (args variable))))"
+      ],
+      "distribution": [
+        122,
+        9
+      ],
+      "quality": 0.9115239358917779
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop \"\\==\" variable))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        1,
+        46
+      ],
+      "quality": 0.9076289132901347
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args (args variable))))"
+      ],
+      "distribution": [
+        32,
+        1
+      ],
+      "quality": 0.9018227532951513
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args variable)))",
+        "(clause (compound (functor \"sister\") (args variable)))"
+      ],
+      "distribution": [
+        3,
+        61
+      ],
+      "quality": 0.8974982076912563
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop \"\\==\" variable))"
+      ],
+      "distribution": [
+        1,
+        40
+      ],
+      "quality": 0.8923400808585659
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args variable)))",
+        "(clause (compound (functor \"sister\") (args variable)))",
+        "(clause (compound (functor \"sister\") (args (args variable))))"
+      ],
+      "distribution": [
+        5,
+        69
+      ],
+      "quality": 0.8778775682779553
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args (args variable))))",
+        "(clause (compound (functor \"sister\") (args (args variable))))"
+      ],
+      "distribution": [
+        6,
+        73
+      ],
+      "quality": 0.8765880199817603
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args (args variable))))",
+        "(clause (compound (functor \"brother\") (args (args variable))))"
+      ],
+      "distribution": [
+        4,
+        53
+      ],
+      "quality": 0.8692566844984977
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args variable)))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args variable)))",
+        "(clause (compound (functor \"brother\") (args variable)))"
+      ],
+      "distribution": [
+        5,
+        59
+      ],
+      "quality": 0.8673836719098068
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        14,
+        0
+      ],
+      "quality": 0.8498355518209159
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"sister\") (args (args variable))) (compound (functor \"brother\") (args (args variable))))"
+      ],
+      "distribution": [
+        14,
+        0
+      ],
+      "quality": 0.8498355518209159
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop variable \"\\==\"))"
+      ],
+      "distribution": [
+        14,
+        0
+      ],
+      "quality": 0.8498355518209159
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop \"\\==\" variable))",
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))"
+      ],
+      "distribution": [
+        5,
+        51
+      ],
+      "quality": 0.8470067221446368
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\==\"))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        3,
+        41
+      ],
+      "quality": 0.8454701631582257
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"male\") (args variable)))"
+      ],
+      "distribution": [
+        13,
+        0
+      ],
+      "quality": 0.8369844665046267
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (binop variable \"\\==\")))"
+      ],
+      "distribution": [
+        13,
+        0
+      ],
+      "quality": 0.8369844665046267
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args variable)))"
+      ],
+      "distribution": [
+        19,
+        117
+      ],
+      "quality": 0.8367214651159391
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args variable)))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args (args variable))))"
+      ],
+      "distribution": [
+        20,
+        118
+      ],
+      "quality": 0.8317204395318585
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (binop \"\\==\" variable))",
+        "(clause (compound (functor \"parent\") (args (args variable))))"
+      ],
+      "distribution": [
+        17,
+        0
+      ],
+      "quality": 0.8245830644763305
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))))"
+      ],
+      "distribution": [
+        12,
+        0
+      ],
+      "quality": 0.8207906119330671
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args (args variable))))"
+      ],
+      "distribution": [
+        26,
+        134
+      ],
+      "quality": 0.814618215172423
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args variable)))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args variable)))"
+      ],
+      "distribution": [
+        27,
+        136
+      ],
+      "quality": 0.8145742550525583
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"sister\") (args variable)))"
+      ],
+      "distribution": [
+        11,
+        0
+      ],
+      "quality": 0.801889173359944
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"brother\") (args variable)))"
+      ],
+      "distribution": [
+        8,
+        0
+      ],
+      "quality": 0.7274216707800343
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"sister\") (args variable)))",
+        "(clause (compound (functor \"sister\") (args variable)) (compound (functor \"parent\") (args variable)))",
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args (args variable))))"
+      ],
+      "distribution": [
+        1,
+        15
+      ],
+      "quality": 0.7117650610669528
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\=\"))",
+        "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))"
+      ],
+      "distribution": [
+        2,
+        18
+      ],
+      "quality": 0.7085607880281732
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop \"\\=\" variable))",
+        "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))"
+      ],
+      "distribution": [
+        2,
+        18
+      ],
+      "quality": 0.7085607880281732
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\=\"))"
+      ],
+      "distribution": [
+        4,
+        19
+      ],
+      "quality": 0.6686625243584223
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args (args variable))))"
+      ],
+      "distribution": [
+        63,
+        138
+      ],
+      "quality": 0.6674026842607351
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"brother\") (args (args variable))) (compound (functor \"parent\") (args variable)))",
+        "(clause (compound (functor \"sister\") (args (args variable))) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        6,
+        20
+      ],
+      "quality": 0.6144839912537575
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"brother\") (args variable)))",
+        "(clause (compound (functor \"brother\") (args (args variable))))"
+      ],
+      "distribution": [
+        39,
+        63
+      ],
+      "quality": 0.5661405653076401
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"cousin\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (compound (functor \"parent\") (args variable)) (binop \"\\==\" variable))"
+      ],
+      "distribution": [
+        65,
+        65
+      ],
+      "quality": 0.4334631379481499
+    }
+  ]
+}
\ No newline at end of file