{
  "patterns": [
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
    "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (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 (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
    "(clause (binop \"=<\" 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 \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"<\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (binop variable \"=\"))",
    "(clause (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t \"[]\"))))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable) (t \"[]\"))))))",
    "(clause (head (compound (functor \"is_sorted\") (args variable))) (binop variable \"=\"))",
    "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args variable)))",
    "(clause (binop \"<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))",
    "(clause (binop \"=\" (list (h variable))) (binop variable \"=<\"))",
    "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))",
    "(clause (binop \"<\" variable))",
    "(clause (compound (functor \"is_sorted\") (args (list (h variable)))) (binop \"=<\" variable))",
    "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=<\" variable))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_sorted\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop \">=\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable) (t \"[]\"))))))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t \"[]\"))))))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable) (t (list (t \"[]\"))))))))",
    "(clause (binop \"=<\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"==\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">=\"))",
    "(clause (binop \"==\" (list (h variable))))",
    "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"==\"))",
    "(clause (head (compound (functor \"is_sorted\") (args variable))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \">=\"))",
    "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \">=\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"\\==\"))",
    "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"\\==\"))",
    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))",
    "(clause (binop \"<\" variable) (binop variable \"<\"))",
    "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"<\" variable))",
    "(clause (binop variable \"==\"))",
    "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \"<\"))",
    "(clause (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop \"<\" variable))",
    "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"=\"))",
    "(clause (binop \"=\" \"[]\"))",
    "(clause (binop 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 (binop variable \"|\"))))",
    "(clause (binop variable \"<\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (binop \"|\" variable))))",
    "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=\"))",
    "(clause (binop variable \"==\") (binop \"<\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (binop \"=\" (list (h variable))) (binop \">=\" variable))",
    "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (compound (functor \"min\") (args (args variable))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">\"))",
    "(clause (binop \"is\" (binop \"+\" \"1\")))",
    "(clause (compound (functor \"min\") (args (list (h variable)) (args variable))))",
    "(clause (binop variable \"is\" (binop \"+\" \"1\")))",
    "(clause (binop \"is\" (binop variable \"+\" \"1\")))",
    "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))",
    "(clause (binop variable \"=\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))))",
    "(clause (compound (functor \"tab\") (args \"2\")))",
    "(clause (compound (functor \"min\") (args (list (t variable)))) (compound (functor \"is_sorted\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop \">\" variable))",
    "(clause (binop \">=\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"==\"))",
    "(clause (compound (functor \"conc\") (args (args variable))))",
    "(clause (compound (functor \"conc\") (args (list (h variable)))) (binop \"=<\" variable))",
    "(clause (binop \">=\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \"=<\"))",
    "(clause (binop variable \"==\") (binop \"=<\" variable))",
    "(clause (binop \"=<\" variable) (binop \"=<\" variable))",
    "(clause (binop variable \"=<\") (binop variable \"=<\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop \"=<\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"==\" variable))",
    "(clause (binop variable \">=\") (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"=<\" variable))",
    "(clause (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"printlist\") (args (args (args variable))))) (binop \"is\" (binop variable \"+\")))",
    "(clause (head (compound (functor \"printlist\") (args (args variable)))) (compound (functor \"printlist\") (args (args variable))))",
    "(clause (head (compound (functor \"printlist\") (args (list (h variable))))) (compound (functor \"write\") (args variable)))",
    "(clause (binop \"=<\" variable) (binop variable \"=<\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))",
    "(clause (compound (functor \"is_sorted\") (args variable)))",
    "(clause (head (compound (functor \"printlist\") (args (list (t variable))))) (compound (functor \"printlist\") (args variable)))",
    "(clause (compound (functor \"is_sorted\") (args (list (h variable)))) (binop \"<\" variable))",
    "(clause (binop variable \"is\") (compound (functor \"printlist\") (args (args (args variable)))))",
    "(clause (binop variable \">=\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"min\") (args (list (t variable)))))",
    "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"min\") (args variable)))",
    "(clause (head (compound (functor \"is_sirted\") (args (list (t (list (h variable))))))) (binop \">=\" variable))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (compound (functor \"min\") (args (list (h variable)))))",
    "(clause (compound (functor \"is_sorted\") (args (list (t variable)))))",
    "(clause (binop \">=\" variable) (compound (functor \"is_sorted_prev\") (args (args variable))))",
    "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"<\" variable))",
    "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args (list (t variable)))))",
    "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args variable)))",
    "(clause (binop \"=\" (list (h variable))) (compound (functor \"is_sorted\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \">\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"is_sorted\") (args variable))) (compound (functor \"min\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted_prev\") (args (list (h variable))))) (binop \">=\" variable))",
    "(clause (head (compound (functor \"is_sorted_prev\") (args (list (h variable))))) (compound (functor \"is_sorted_prev\") (args (args variable))))",
    "(clause (head (compound (functor \"is_sorted_prev\") (args (list (t variable))))) (compound (functor \"is_sorted_prev\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"is_sorted\") (args (list (t variable)))))",
    "(clause (compound (functor \"is_sorted\") (args (binop variable \"|\"))) (binop \"=<\" variable))",
    "(clause (binop variable \"=\") (compound (functor \"min\") (args variable)))",
    "(clause (head (compound (functor \"is_sorted_prev\") (args (args variable)))) (binop variable \">=\"))",
    "(clause (binop variable \"=<\"))"
  ],
  "rules": [
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args variable)))"
      ],
      "distribution": [
        128,
        1
      ],
      "quality": 0.9775613587613966
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"<\"))"
      ],
      "distribution": [
        155,
        5
      ],
      "quality": 0.9535087005106103
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
        "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
        "(clause (head (compound (functor \"is_sorted\") (args (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)))))"
      ],
      "distribution": [
        7,
        127
      ],
      "quality": 0.9372780608306315
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
        "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
        "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))"
      ],
      "distribution": [
        6,
        119
      ],
      "quality": 0.9279482952616421
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=<\" variable))"
      ],
      "distribution": [
        23,
        0
      ],
      "quality": 0.898397072632486
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">=\"))"
      ],
      "distribution": [
        20,
        0
      ],
      "quality": 0.8776592983980024
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args variable))))"
      ],
      "distribution": [
        19,
        0
      ],
      "quality": 0.8708864345755352
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))"
      ],
      "distribution": [
        16,
        0
      ],
      "quality": 0.8391288460195767
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))"
      ],
      "distribution": [
        14,
        0
      ],
      "quality": 0.8165427141681832
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
        "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
        "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))"
      ],
      "distribution": [
        37,
        134
      ],
      "quality": 0.7647252790331621
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
        "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))",
        "(clause (head (compound (functor \"is_sorted\") (args (list (t \"[]\"))))))"
      ],
      "distribution": [
        2,
        20
      ],
      "quality": 0.7537186004546292
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
        "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))",
        "(clause (binop \"=\" (list (t variable))))"
      ],
      "distribution": [
        3,
        20
      ],
      "quality": 0.6956803513785101
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))",
        "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))",
        "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))"
      ],
      "distribution": [
        65,
        153
      ],
      "quality": 0.6878219256560004
    }
  ]
}