{
  "patterns": [
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop variable \"=\"))",
    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
    "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"insert\") (args (args \"[]\")))))",
    "(clause (head (compound (functor \"insert\") (args variable (args \"[]\")))))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (h variable))))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"del\") (args variable)))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))))",
    "(clause (binop \"=\" (list (t variable))))",
    "(clause (binop \"=\" (list (h variable))))",
    "(clause (binop variable \"=\"))",
    "(clause (head (compound (functor \"insert\") (args variable))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args variable))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
    "(clause (compound (functor \"insert\") (args variable (args (args (list (h variable)))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t variable)))) (args (list (t (list (t (list (t variable))))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (h variable))))))))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))))))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (list (t (list (t \"[]\")))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t (list (t \"[]\")))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable) (t \"[]\")))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))",
    "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")))))))",
    "(clause (compound (functor \"insert\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t \"[]\")))))))",
    "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (list (t \"[]\")))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (h variable))))))))))))",
    "(clause (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (h variable))))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t (list (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (h variable) (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t (list (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t \"[]\"))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t (list (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (t \"[]\"))))))))))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t \"[]\"))))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"insert\") (args (args variable (args variable))))))",
    "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))",
    "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (t \"[]\"))))))))",
    "(clause (head (compound (functor \"insertF\") (args variable))) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (t variable))))))",
    "(clause (head (compound (functor \"insert\") (args \"[]\"))))",
    "(clause (head (compound (functor \"insertL\") (args variable (args (args (list (h variable))))))))",
    "(clause (head (compound (functor \"insertL\") (args variable (args \"[]\")))))",
    "(clause (head (compound (functor \"insert\") (args \"[]\" (args (args variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"insertL\") (args (args \"[]\")))))",
    "(clause (head (compound (functor \"insertL\") (args (args (args variable))))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
    "(clause (head (compound (functor \"insert\") (args \"[]\" (args variable)))))",
    "(clause (head (compound (functor \"insertL\") (args (args \"[]\" (args (list (h variable))))))))",
    "(clause (head (compound (functor \"insertL\") (args variable))) (compound (functor \"insertL\") (args variable)))",
    "(clause (head (compound (functor \"insertL\") (args (args variable)))) (binop variable \"=\"))",
    "(clause (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" variable))",
    "(clause (compound (functor \"insertL\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
    "(clause (compound (functor \"insert\") (args (args variable (args (list (t variable)))))))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"insertL\") (args (args variable))))",
    "(clause (binop variable \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t \"[]\"))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (h variable))))))))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t \"[]\"))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t \"[]\"))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t \"[]\"))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t \"[]\"))))))))))",
    "(clause (head (compound (functor \"insertF\") (args (args (args variable))))) (binop variable \"=\"))",
    "(clause (binop \"=\" (list (h variable) (t \"[]\"))))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (list (t variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))",
    "(clause (binop variable \"=\" (list (t \"[]\"))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (t \"[]\"))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))",
    "(clause (binop \"=\" (list (t \"[]\"))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (h variable))))))))))))",
    "(clause (binop variable \"=\") (binop variable \"=\"))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (h variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (h variable))))))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
    "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t variable))))",
    "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"delete\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"delete\") (args variable)))",
    "(clause (compound (functor \"insert\") (args variable)))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))))",
    "(clause (compound (functor \"conc\") (args (args variable))))",
    "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" variable))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))",
    "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
    "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t variable))))))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (list (h variable)))))))",
    "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t variable))))))))",
    "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"insert\") (args (args (args (args variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t variable))))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t variable))))))",
    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))",
    "(clause (compound (functor \"insert\") (args (args \"[]\" (args variable)))))",
    "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args (args (list (h variable))))))",
    "(clause (compound (functor \"insert\") (args (args \"[]\"))))",
    "(clause (compound (functor \"conc\") (args variable)))",
    "(clause (compound (functor \"insert\") (args variable (args \"[]\"))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
    "(clause (compound (functor \"insertF\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
    "(clause (compound (functor \"insert\") (args (args \"[]\" (args (args variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (args variable))))))",
    "(clause (head (compound (functor \"insert\") (args variable (args (args variable))))))",
    "(clause (compound (functor \"append\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"insert\") (args (args (args variable)))))",
    "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"insert\") (args (args variable))))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (list (t variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))",
    "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))",
    "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop variable \"=\"))",
    "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))",
    "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"append\") (args (args (args variable)))))",
    "(clause (compound (functor \"insertF\") (args (args variable))))",
    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))",
    "(clause (compound (functor \"insertF\") (args variable)))",
    "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
    "(clause (head (compound (functor \"insertF\") (args (args (args variable))))))",
    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
    "(clause (compound (functor \"insert\") (args (args (list (h variable))))))"
  ],
  "rules": [
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))"
      ],
      "distribution": [
        96,
        0
      ],
      "quality": 0.9809983489905899
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))"
      ],
      "distribution": [
        84,
        0
      ],
      "quality": 0.9779557461869847
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args variable))))))"
      ],
      "distribution": [
        64,
        0
      ],
      "quality": 0.9701372216334027
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))))"
      ],
      "distribution": [
        52,
        0
      ],
      "quality": 0.9623158836715362
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))"
      ],
      "distribution": [
        1,
        78
      ],
      "quality": 0.9585068382186356
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable)))))"
      ],
      "distribution": [
        44,
        0
      ],
      "quality": 0.9546866918174765
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
        "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
      ],
      "distribution": [
        2,
        108
      ],
      "quality": 0.9489425014747489
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))"
      ],
      "distribution": [
        2,
        79
      ],
      "quality": 0.9462265906785803
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))"
      ],
      "distribution": [
        33,
        0
      ],
      "quality": 0.9373562145752073
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))"
      ],
      "distribution": [
        31,
        0
      ],
      "quality": 0.9334733640178655
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))"
      ],
      "distribution": [
        27,
        0
      ],
      "quality": 0.9210026715389256
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))"
      ],
      "distribution": [
        25,
        0
      ],
      "quality": 0.914160398310297
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))"
      ],
      "distribution": [
        38,
        1
      ],
      "quality": 0.9137268661238094
    },
    {
      "class": false,
      "condition": [
        "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))"
      ],
      "distribution": [
        23,
        0
      ],
      "quality": 0.9057307439251511
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))"
      ],
      "distribution": [
        21,
        0
      ],
      "quality": 0.8952422262460376
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))"
      ],
      "distribution": [
        20,
        0
      ],
      "quality": 0.8883865000593553
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))"
      ],
      "distribution": [
        19,
        0
      ],
      "quality": 0.8838682912904711
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))"
      ],
      "distribution": [
        18,
        0
      ],
      "quality": 0.8761554549819403
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))"
      ],
      "distribution": [
        17,
        0
      ],
      "quality": 0.8673982968475626
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))"
      ],
      "distribution": [
        17,
        0
      ],
      "quality": 0.8673982968475626
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
        "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))",
        "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))"
      ],
      "distribution": [
        13,
        111
      ],
      "quality": 0.8622038337735494
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))"
      ],
      "distribution": [
        15,
        0
      ],
      "quality": 0.8444915571428488
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))"
      ],
      "distribution": [
        15,
        0
      ],
      "quality": 0.8444915571428488
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
      ],
      "distribution": [
        17,
        110
      ],
      "quality": 0.8396242375702132
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))"
      ],
      "distribution": [
        14,
        0
      ],
      "quality": 0.8324450355202406
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))"
      ],
      "distribution": [
        13,
        0
      ],
      "quality": 0.8169111707967117
    },
    {
      "class": false,
      "condition": [
        "(clause (binop variable \"=\" (list (t variable))))"
      ],
      "distribution": [
        13,
        0
      ],
      "quality": 0.8169111707967117
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))"
      ],
      "distribution": [
        13,
        0
      ],
      "quality": 0.8169111707967117
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
        "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
      ],
      "distribution": [
        23,
        118
      ],
      "quality": 0.8084559536708993
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))"
      ],
      "distribution": [
        11,
        0
      ],
      "quality": 0.7782285881315864
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
        "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
        "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))"
      ],
      "distribution": [
        2,
        23
      ],
      "quality": 0.7672724265740091
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))"
      ],
      "distribution": [
        10,
        0
      ],
      "quality": 0.7530227654833378
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))"
      ],
      "distribution": [
        10,
        0
      ],
      "quality": 0.7530227654833378
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
        "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
      ],
      "distribution": [
        34,
        114
      ],
      "quality": 0.740004128093178
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
        "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
        "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))"
      ],
      "distribution": [
        40,
        126
      ],
      "quality": 0.7320278311098433
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7148255487494682
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7148255487494682
    },
    {
      "class": false,
      "condition": [
        "(clause (binop variable \"=\") (binop variable \"=\"))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7148255487494682
    },
    {
      "class": false,
      "condition": [
        "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7148255487494682
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))"
      ],
      "distribution": [
        9,
        0
      ],
      "quality": 0.7148255487494682
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
        "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
        "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))"
      ],
      "distribution": [
        7,
        29
      ],
      "quality": 0.6741379300408554
    },
    {
      "class": true,
      "condition": [
        "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))"
      ],
      "distribution": [
        0,
        5
      ],
      "quality": 0.5886120313182593
    }
  ]
}