summaryrefslogtreecommitdiff
path: root/prolog/problems/sorting/sins_3
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/sorting/sins_3
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/sorting/sins_3')
-rw-r--r--prolog/problems/sorting/sins_3/bugs.json900
1 files changed, 900 insertions, 0 deletions
diff --git a/prolog/problems/sorting/sins_3/bugs.json b/prolog/problems/sorting/sins_3/bugs.json
new file mode 100644
index 0000000..4be67b9
--- /dev/null
+++ b/prolog/problems/sorting/sins_3/bugs.json
@@ -0,0 +1,900 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=<\" variable))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=<\"))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=<\" variable))",
+ "(clause (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (binop \">\" variable))",
+ "(clause (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop variable \"<\"))",
+ "(clause (binop variable \">=\"))",
+ "(clause (binop \"<\" variable))",
+ "(clause (binop variable \">=\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop \">=\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (t (list (h variable))))))))))",
+ "(clause (binop variable \"=<\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \">=\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \">\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \">=\"))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"<\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"<\"))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (binop \"<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \"<\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \">\" variable))",
+ "(clause (binop variable \"<\") (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \">\"))",
+ "(clause (binop variable \">=\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"<\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable) (t \"[]\")))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \"<\"))",
+ "(clause (compound (functor \"sins\") (args (args (list (h variable))))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (t (list (t variable))))))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"<\" variable) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))",
+ "(clause (binop variable \">\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (binop variable \">=\") (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=<\" variable) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \">\"))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop variable \">\") (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (list (h variable)) (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (binop \"=\" (list (t (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"sins\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop variable \">=\"))",
+ "(clause (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (binop \"<\" variable) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=<\" variable) (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \">=\"))",
+ "(clause (head (compound (functor \"sins\") (args \"[]\"))))",
+ "(clause (binop variable \"is\" (binop \"-\" \"1\")))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))) (args (list (t (list (t (list (t variable))))))))))))",
+ "(clause (binop \"is\" (binop \"-\" \"1\")))",
+ "(clause (head (compound (functor \"sins\") (args (args variable (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))))",
+ "(clause (binop \">\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t (list (h variable))))))))))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"append\") (args (list (t (list (h variable)))))))",
+ "(clause (binop \"is\" (binop variable \"-\" \"1\")))",
+ "(clause (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t \"[]\")) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t variable))))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" variable))",
+ "(clause (binop variable \"==\"))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (binop \"=\" (list (t (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (binop variable \"=\"))",
+ "(clause (binop \">\" variable) (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (binop \">\" variable) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \">=\" variable))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \">=\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \"<\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"is\" (binop variable \"-\")))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t \"[]\")) (args variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"is\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop variable \"=\"))",
+ "(clause (binop \"<\" variable) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (binop variable \">\") (binop variable \">\"))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \">\"))",
+ "(clause (binop variable \"<\") (binop variable \">=\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"sins\") (args \"[]\" (args \"[]\")))))",
+ "(clause (binop \">\" variable) (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args \"[]\" (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (binop variable \"is\"))",
+ "(clause (compound (functor \"sins2\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))",
+ "(clause (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (binop variable \">=\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"<\"))",
+ "(clause (compound (functor \"append\") (args (args variable))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"sins\") (args variable (args (args (list (t (list (h variable)))))))))",
+ "(clause (binop variable \">=\") (binop variable \"<\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"sins\") (args (args (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t (list (h variable))))))))))) (binop \"<\" variable))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"==\" variable))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t (list (t variable))))))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"is\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \"<\"))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \"<\"))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (compound (functor \"append\") (args (args variable))))",
+ "(clause (binop variable \"=<\") (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (binop variable \"=<\") (binop variable \"=<\"))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop variable \"<\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (list (t variable))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \">\" variable))",
+ "(clause (compound (functor \"conc\") (args (list (t (list (t (list (h variable)))))))))",
+ "(clause (binop variable \"is\"))",
+ "(clause (binop \"==\" \"1\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (args (list (t (list (t variable)))))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"append\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \"<\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"append\") (args (args variable))))",
+ "(clause (binop variable \"==\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"==\" \"1\"))",
+ "(clause (binop variable \">\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \">=\"))",
+ "(clause (binop \"<\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args variable (args (args variable)))))",
+ "(clause (binop \">\" variable) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \">\" variable))",
+ "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))",
+ "(clause (compound (functor \"sins\") (args (args variable (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"sins2\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=<\" variable) (compound (functor \"append\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (binop variable \"=<\") (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"append\") (args (list (h variable)))))",
+ "(clause (binop \">=\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \">=\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (binop \"=\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sins2\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"=<\") (compound (functor \"sins\") (args (args (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t (list (t (list (h (binop \"=\" \"[]\")))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop variable \">\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"sins\") (args variable (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop (list (h variable)) \"=\"))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (compound (functor \"conc\") (args (list (t (list (t (list (h variable)))))))))",
+ "(clause (compound (functor \"sins\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (binop (list (t variable)) \"=\"))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"sins\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 100,
+ 0
+ ],
+ "quality": 0.9808876432758806
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args variable))))))"
+ ],
+ "distribution": [
+ 65,
+ 0
+ ],
+ "quality": 0.9677851622133488
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 94,
+ 1
+ ],
+ "quality": 0.965156282594389
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable))))"
+ ],
+ "distribution": [
+ 59,
+ 0
+ ],
+ "quality": 0.9635570811337941
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (h variable)))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 57,
+ 0
+ ],
+ "quality": 0.9620571503100492
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=<\") (compound (functor \"sins\") (args variable)))"
+ ],
+ "distribution": [
+ 56,
+ 0
+ ],
+ "quality": 0.9612483586107097
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 69,
+ 1
+ ],
+ "quality": 0.9492448843969059
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 44,
+ 0
+ ],
+ "quality": 0.9472892138049042
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=<\") (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 41,
+ 0
+ ],
+ "quality": 0.9423634075261883
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 38,
+ 0
+ ],
+ "quality": 0.9362438391543242
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args \"[]\"))))))"
+ ],
+ "distribution": [
+ 38,
+ 0
+ ],
+ "quality": 0.9362438391543242
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (t (list (h variable))))))))))"
+ ],
+ "distribution": [
+ 51,
+ 1
+ ],
+ "quality": 0.9266082478740626
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args \"[]\"))))))"
+ ],
+ "distribution": [
+ 46,
+ 1
+ ],
+ "quality": 0.9152002140639004
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args variable))))))",
+ "(clause (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 42,
+ 0
+ ],
+ "quality": 0.9087943314582194
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\" (args variable))))))"
+ ],
+ "distribution": [
+ 115,
+ 8
+ ],
+ "quality": 0.9028855457375982
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (compound (functor \"sins\") (args variable)))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.8989020000391386
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args variable)) (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.8989020000391386
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"<\") (compound (functor \"sins\") (args variable)))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.8989020000391386
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"sins\") (args (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 26,
+ 0
+ ],
+ "quality": 0.8932052595715085
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 23,
+ 0
+ ],
+ "quality": 0.8738339200055651
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t (list (t variable)))))))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.855298262622929
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"sins\") (args variable)) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.855298262622929
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"sins\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.855298262622929
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \">\") (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8450662166976287
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 3,
+ 44
+ ],
+ "quality": 0.8335487352816061
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8298329739707182
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8298329739707182
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 3,
+ 43
+ ],
+ "quality": 0.8294744267227235
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))"
+ ],
+ "distribution": [
+ 8,
+ 45
+ ],
+ "quality": 0.7455981044389828
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 2,
+ 24
+ ],
+ "quality": 0.7441031979469139
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)) (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 8,
+ 44
+ ],
+ "quality": 0.7400662138722005
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 5,
+ 28
+ ],
+ "quality": 0.7341998361017273
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 4,
+ 29
+ ],
+ "quality": 0.7303542401887497
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))"
+ ],
+ "distribution": [
+ 3,
+ 26
+ ],
+ "quality": 0.7110741956551745
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 3,
+ 26
+ ],
+ "quality": 0.7110741956551745
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))"
+ ],
+ "distribution": [
+ 8,
+ 30
+ ],
+ "quality": 0.7098895699381707
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 5,
+ 31
+ ],
+ "quality": 0.7060575242929531
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args variable))))) (compound (functor \"is_sorted\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 7,
+ 29
+ ],
+ "quality": 0.696226701732783
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=<\" variable))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (t variable)))))) (compound (functor \"sins\") (args (args variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 6,
+ 31
+ ],
+ "quality": 0.6818629466509938
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=<\"))"
+ ],
+ "distribution": [
+ 3,
+ 21
+ ],
+ "quality": 0.6634301112541018
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (head (compound (functor \"sins\") (args variable))) (binop variable \"=<\"))",
+ "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sins\") (args (args \"[]\")))))"
+ ],
+ "distribution": [
+ 10,
+ 36
+ ],
+ "quality": 0.6488769570244319
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop variable \">\") (compound (functor \"sins\") (args variable)))",
+ "(clause (compound (functor \"sins\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 7,
+ 25
+ ],
+ "quality": 0.6030083742620038
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 1,
+ 10
+ ],
+ "quality": 0.5822077796881613
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t (list (h variable))))))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 26,
+ 45
+ ],
+ "quality": 0.554086293717492
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sins\") (args (args (list (h variable)))))) (binop \"=<\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args variable (args (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 26,
+ 47
+ ],
+ "quality": 0.5431899910006248
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (t variable))))))) (compound (functor \"sins\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop \">\" variable))",
+ "(clause (head (compound (functor \"sins\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))",
+ "(clause (head (compound (functor \"sins\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 26,
+ 45
+ ],
+ "quality": 0.540320563981338
+ }
+ ]
+} \ No newline at end of file