1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
{
"patterns": [
"(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))",
"(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
"(clause (head (compound (functor \"brother\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
"(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))",
"(clause (head (compound (functor \"brother\") (args variable))) (binop variable \"\\==\"))",
"(clause (head (compound (functor \"brother\") (args (args variable)))) (binop \"\\==\" variable))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\==\"))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))",
"(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"male\") (args variable)))",
"(clause (compound (functor \"male\") (args variable)) (binop variable \"\\==\"))",
"(clause (compound (functor \"male\") (args variable)) (compound (functor \"parent\") (args (args variable))))",
"(clause (head (compound (functor \"brother\") (args (args variable)))) (binop \"\\=\" variable))",
"(clause (head (compound (functor \"brother\") (args variable))) (binop variable \"\\=\"))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\=\"))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))",
"(clause (compound (functor \"male\") (args variable)) (binop variable \"\\=\"))",
"(clause (binop variable \"\\==\") (compound (functor \"male\") (args variable)))",
"(clause (binop variable \"\\=\") (compound (functor \"male\") (args variable)))",
"(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args (args variable))))",
"(clause (binop variable \"\\=\") (compound (functor \"parent\") (args (args variable))))",
"(clause (head (compound (functor \"brother\") (args (args variable)))) (compound (functor \"not\") (args (binop \"=\" variable))))",
"(clause (head (compound (functor \"brother\") (args variable))) (binop \"\\=\" variable))",
"(clause (head (compound (functor \"brother\") (args (args variable)))) (binop variable \"\\=\"))",
"(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"not\") (args (binop variable \"=\"))))"
],
"rules": [
{
"class": true,
"condition": [
"(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))"
],
"distribution": [
0,
102
],
"quality": 0.9873786600439431
},
{
"class": true,
"condition": [
"(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))",
"(clause (head (compound (functor \"brother\") (args (args variable)))) (binop \"\\=\" variable))"
],
"distribution": [
0,
39
],
"quality": 0.9574307072764063
},
{
"class": true,
"condition": [
"(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))",
"(clause (compound (functor \"male\") (args variable)) (binop variable \"\\=\"))"
],
"distribution": [
0,
34
],
"quality": 0.9526649947812729
},
{
"class": true,
"condition": [
"(clause (head (compound (functor \"brother\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))"
],
"distribution": [
4,
102
],
"quality": 0.9462163947101927
},
{
"class": true,
"condition": [
"(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))",
"(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))"
],
"distribution": [
1,
43
],
"quality": 0.9357128569764824
},
{
"class": true,
"condition": [
"(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))",
"(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))",
"(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"male\") (args variable)))"
],
"distribution": [
9,
80
],
"quality": 0.8661764695637234
},
{
"class": false,
"condition": [
"(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args (args variable))))"
],
"distribution": [
9,
0
],
"quality": 0.7899147086754702
}
]
}
|
