{
  "patterns": [
    "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))",
    "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))",
    "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))) (compound (functor \"is_superset\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))))",
    "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"member\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"intersect\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"member\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args \"[]\")))))",
    "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))",
    "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))",
    "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_subset\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args (args variable)))))",
    "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))",
    "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))",
    "(clause (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args variable (args variable)))))",
    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))))",
    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))",
    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))",
    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))",
    "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))",
    "(clause (compound (functor \"is_superset\") (args variable)))",
    "(clause (compound (functor \"memb\") (args (args variable))))",
    "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))",
    "(clause (unop \\+ (compound (functor \"del\") (args (args (args variable))))))",
    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"member\") (args (args variable))))",
    "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \">\"))",
    "(clause (binop variable \">\" \"0\"))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))",
    "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))",
    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))",
    "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
    "(clause (head (compound (functor \"is_supetset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (binop \">\" \"0\"))",
    "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))"
  ],
  "rules": [
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args (args variable)))))"
      ],
      "distribution": [
        44,
        0
      ],
      "quality": 0.9573148012450367
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))"
      ],
      "distribution": [
        42,
        0
      ],
      "quality": 0.9551840608458025
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))"
      ],
      "distribution": [
        77,
        2
      ],
      "quality": 0.9489556270523528
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
        "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))",
        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))"
      ],
      "distribution": [
        5,
        130
      ],
      "quality": 0.9441676011815278
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))",
        "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))"
      ],
      "distribution": [
        0,
        28
      ],
      "quality": 0.920769681601247
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))"
      ],
      "distribution": [
        9,
        132
      ],
      "quality": 0.9170297657688938
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))"
      ],
      "distribution": [
        11,
        133
      ],
      "quality": 0.9065030379779777
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))"
      ],
      "distribution": [
        0,
        18
      ],
      "quality": 0.894789570952922
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))"
      ],
      "distribution": [
        18,
        0
      ],
      "quality": 0.894467708395349
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
        "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))"
      ],
      "distribution": [
        19,
        165
      ],
      "quality": 0.8824079410499159
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))"
      ],
      "distribution": [
        14,
        0
      ],
      "quality": 0.8650267548667329
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))"
      ],
      "distribution": [
        14,
        0
      ],
      "quality": 0.8650267548667329
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"conc\") (args variable)))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7907865618907618
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))",
        "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))"
      ],
      "distribution": [
        11,
        0
      ],
      "quality": 0.7789503302060591
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))"
      ],
      "distribution": [
        8,
        0
      ],
      "quality": 0.7664689004747853
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))"
      ],
      "distribution": [
        8,
        0
      ],
      "quality": 0.7664689004747853
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))"
      ],
      "distribution": [
        7,
        0
      ],
      "quality": 0.733244004247434
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
      ],
      "distribution": [
        6,
        0
      ],
      "quality": 0.6922614505910474
    },
    {
      "class": true,
      "condition": [
        "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))"
      ],
      "distribution": [
        0,
        5
      ],
      "quality": 0.6497211701430571
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6482582581497028
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6482582581497028
    }
  ]
}