{
  "patterns": [
    "(clause (head (compound (functor \"is_subset\") (args \"[]\"))))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))))",
    "(clause (head (compound (functor \"is_subset\") (args \"[]\" (args variable)))))",
    "(clause (head (compound (functor \"is_subset\") (args (list (t variable))))) (compound (functor \"is_subset\") (args variable)))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_subset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_superset\") (args variable)))",
    "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_subset\") (args (args variable))))",
    "(clause (compound (functor \"is_subset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))",
    "(clause (head (compound (functor \"is_subset\") (args (args \"[]\")))))",
    "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))))",
    "(clause (head (compound (functor \"is_subset\") (args variable (args variable)))))",
    "(clause (head (compound (functor \"is_subset\") (args \"[]\" (args \"[]\")))))",
    "(clause (head (compound (functor \"is_subset\") (args (args (list (t variable)))))) (compound (functor \"is_subset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_subset\") (args variable))))",
    "(clause (head (compound (functor \"is_subset\") (args variable))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"is_subset\") (args (list (t variable))))))",
    "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"intersect\") (args variable)))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))",
    "(clause (compound (functor \"is_subset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))",
    "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_subset\") (args variable)))",
    "(clause (head (compound (functor \"is_subset\") (args (list (h variable)) (args (list (h variable)))))))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))",
    "(clause (head (compound (functor \"subset\") (args (list (t variable))))) (compound (functor \"subset\") (args variable)))",
    "(clause (head (compound (functor \"is_subset\") (args variable))) (binop \"=\" variable))",
    "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_subset\") (args (args variable))))",
    "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"intersect\") (args (args (args variable)))))",
    "(clause (compound (functor \"memb\") (args (args variable))))",
    "(clause (head (compound (functor \"subset\") (args \"[]\"))))",
    "(clause (compound (functor \"memb\") (args variable)))",
    "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
    "(clause (compound (functor \"intersect\") (args variable (args (args variable)))))",
    "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))",
    "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop variable \"=\"))"
  ],
  "rules": [
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args (args variable))))"
      ],
      "distribution": [
        4,
        87
      ],
      "quality": 0.9353690906013448
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_superset\") (args variable)))"
      ],
      "distribution": [
        5,
        88
      ],
      "quality": 0.9252174908144657
    },
    {
      "class": true,
      "condition": [
        "(clause (compound (functor \"is_subset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))"
      ],
      "distribution": [
        0,
        17
      ],
      "quality": 0.9014337839122601
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_subset\") (args variable))))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7915259318308275
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))))",
        "(clause (head (compound (functor \"is_subset\") (args \"[]\" (args \"[]\")))))"
      ],
      "distribution": [
        8,
        0
      ],
      "quality": 0.730651028509441
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_subset\") (args (list (h variable)) (args (list (h variable)))))))"
      ],
      "distribution": [
        6,
        0
      ],
      "quality": 0.7083403657710513
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop variable \"=\"))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6591651249080313
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args variable)))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6591651249080313
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"is_subset\") (args variable))) (binop \"=\" variable))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6591651249080313
    }
  ]
}