{
  "patterns": [
    "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"shiftleft\") (args \"[]\"))))",
    "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"shiftleft\") (args (args \"[]\")))))",
    "(clause (head (compound (functor \"shiftleft\") (args \"[]\" (args \"[]\")))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args variable))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args (list (h variable)))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (h variable)))))))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (args variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t variable)))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"shiftleft\") (args variable)))",
    "(clause (head (compound (functor \"shiftleft\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (list (h variable))))",
    "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (binop \"=\" \"[]\"))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
    "(clause (binop variable \"=\" \"[]\"))",
    "(clause (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args \"[]\" (args variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (binop \"=\" (list (t variable))))",
    "(clause (binop variable \"=\"))",
    "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"shiftleft\") (args (args variable))))",
    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t \"[]\"))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable) (t \"[]\"))))))",
    "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))",
    "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))",
    "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"shiftleft\") (args (args (list (h variable)))))))",
    "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
    "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (compound (functor \"conc\") (args variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args variable))))",
    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))",
    "(clause (binop \"=\" (list (h variable))))",
    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t \"[]\")) (args (list (h variable)))))))",
    "(clause (head (compound (functor \"left\") (args (list (t (list (h variable)))) (args (list (h variable)))))))",
    "(clause (head (compound (functor \"left\") (args (list (t (list (t variable))))))) (compound (functor \"left\") (args (list (t variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (args (compound (functor \"conc\") (args (args (args variable)))))))))",
    "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"shiftleft\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"append\") (args variable)))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"append\") (args (args (list (h variable))))))",
    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
    "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args (compound (functor \"conc\") (args variable)))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"left\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"left\") (args (list (h variable))))) (compound (functor \"left\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"left\") (args (list (t variable)))))",
    "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))",
    "(clause (compound (functor \"shiftleft\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t (list (h variable))))))) (binop variable \"=\"))",
    "(clause (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"left\") (args (args (list (t variable)))))) (compound (functor \"left\") (args (args variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args variable)))))",
    "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"conc\") (args variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args \"[]\" (args (list (h variable)))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (compound (functor \"conc\") (args (args (list (h variable))))))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"concat\") (args variable)))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (t (list (h variable)))) (args (list (h variable)))))))",
    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
    "(clause (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"shiftleft\") (args (args (list (h variable)))))) (compound (functor \"left\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (args (list (t variable)))))) (compound (functor \"left\") (args (args (list (t variable))))))",
    "(clause (compound (functor \"shiftleft\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))",
    "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
    "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"shiftleft\") (args (list (t (list (h variable)))))))"
  ],
  "rules": [
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))"
      ],
      "distribution": [
        69,
        0
      ],
      "quality": 0.9735063586852684
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
        "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))"
      ],
      "distribution": [
        4,
        186
      ],
      "quality": 0.9729895641497852
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args (list (h variable)))))))"
      ],
      "distribution": [
        41,
        0
      ],
      "quality": 0.9545110973173283
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))))"
      ],
      "distribution": [
        31,
        0
      ],
      "quality": 0.9383064708954235
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t variable)))))))"
      ],
      "distribution": [
        29,
        0
      ],
      "quality": 0.9337500809431362
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))"
      ],
      "distribution": [
        13,
        187
      ],
      "quality": 0.9297722589938553
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (args variable)))))"
      ],
      "distribution": [
        27,
        0
      ],
      "quality": 0.928131935844377
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (list (h variable))))"
      ],
      "distribution": [
        20,
        0
      ],
      "quality": 0.8999602495440122
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args variable))))"
      ],
      "distribution": [
        19,
        0
      ],
      "quality": 0.8945160184994223
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t (list (h variable)))))))))"
      ],
      "distribution": [
        18,
        0
      ],
      "quality": 0.8885033852926123
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"conc\") (args (args (args variable)))))"
      ],
      "distribution": [
        16,
        0
      ],
      "quality": 0.8735634581359323
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args variable)))))"
      ],
      "distribution": [
        15,
        0
      ],
      "quality": 0.8658360225106579
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"shiftleft\") (args (args variable))))"
      ],
      "distribution": [
        12,
        0
      ],
      "quality": 0.8274301222040094
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))"
      ],
      "distribution": [
        10,
        0
      ],
      "quality": 0.7906938494946442
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))"
      ],
      "distribution": [
        10,
        0
      ],
      "quality": 0.7906938494946442
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
        "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))"
      ],
      "distribution": [
        1,
        18
      ],
      "quality": 0.7836264816857417
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (args (list (h variable)))))))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7651868458596011
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (compound (functor \"conc\") (args variable))))"
      ],
      "distribution": [
        8,
        0
      ],
      "quality": 0.7376026176672326
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=\" (list (h variable))))"
      ],
      "distribution": [
        8,
        0
      ],
      "quality": 0.7376026176672326
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))"
      ],
      "distribution": [
        8,
        0
      ],
      "quality": 0.7376026176672326
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args variable))))"
      ],
      "distribution": [
        8,
        0
      ],
      "quality": 0.7376026176672326
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))"
      ],
      "distribution": [
        7,
        0
      ],
      "quality": 0.6946627662225194
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
      ],
      "distribution": [
        113,
        208
      ],
      "quality": 0.6418259859921002
    }
  ]
}