summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/cousin_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
commit92c49ac708e04e545da6e7aafe91cac8f223f475 (patch)
treefe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/family_relations/cousin_2
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/family_relations/cousin_2')
-rw-r--r--prolog/problems/family_relations/cousin_2/bugs.json547
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