diff options
Diffstat (limited to 'prolog/problems/sorting/sins_3/bugs.json')
| -rw-r--r-- | prolog/problems/sorting/sins_3/bugs.json | 900 |
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 |