{
  "patterns": [
    "(clause (head (compound (functor \"firstMinus\") (args (args variable)))) (binop variable \"=\"))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (t variable))))) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (t variable)) (args (list (t variable)))))))",
    "(clause (head (compound (functor \"firstMinus\") (args variable (args variable)))))",
    "(clause (binop variable \"is\") (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"firstMinus\") (args (args (list (h variable)))))) (binop variable \"is\"))",
    "(clause (binop variable \"=\"))",
    "(clause (head (compound (functor \"firstMinus\") (args \"[]\"))))",
    "(clause (head (compound (functor \"firstMinus\") (args \"[]\" (args \"[]\")))))",
    "(clause (head (compound (functor \"firstMinus\") (args (args \"[]\")))))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (unop - variable)))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable)) (args (list (h (unop - variable))))))))",
    "(clause (binop \"=\" (list (t variable))))",
    "(clause (binop \"=\" (list (h variable))))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop variable \"*\")))",
    "(clause (binop variable \"is\" (binop \"*\" (unop - \"1\"))))",
    "(clause (binop \"is\" (binop \"*\" (unop - \"1\"))))",
    "(clause (binop \"is\" (binop variable \"*\" (unop - \"1\"))))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable)) (args (list (h variable)))))))",
    "(clause (binop \"=\" variable))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h (unop - variable)))))",
    "(clause (binop \"is\" (binop \"0\" \"-\")))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop \"-\" variable)))",
    "(clause (binop variable \"is\" (binop \"0\" \"-\")))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" variable))",
    "(clause (head (compound (functor \"firstMinus\") (args (args (list (h variable)))))) (binop variable \"=\"))",
    "(clause (binop \"is\" (binop \"0\" \"-\" variable)))",
    "(clause (binop \"is\" (binop (unop - \"1\") \"*\" variable)))",
    "(clause (binop \"is\" (binop (unop - \"1\") \"*\")))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop \"*\" variable)))",
    "(clause (binop variable \"is\" (binop (unop - \"1\") \"*\")))",
    "(clause (binop variable \"is\"))",
    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" variable))",
    "(clause (binop variable \">\"))",
    "(clause (binop \">\" \"0\"))",
    "(clause (binop variable \">\" \"0\"))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \">\"))",
    "(clause (head (compound (functor \"firstMinus\") (args variable))) (binop \"=\" variable))",
    "(clause (head (compound (functor \"firstMinus\") (args variable))) (binop variable \"=\"))",
    "(clause (binop \"is\" (unop - variable)))",
    "(clause (binop \"is\" (binop variable \"-\" \"1\")))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (unop - variable)))",
    "(clause (binop variable \"is\" (binop \"-\" \"1\")))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"is\"))",
    "(clause (binop \"is\" (binop \"-\" \"1\")))",
    "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))",
    "(clause (binop variable \"is\") (compound (functor \"neg\") (args variable)))",
    "(clause (binop variable \"is\" (binop \"+\" \"1\")))",
    "(clause (binop variable \"=\") (binop variable \"=\"))",
    "(clause (binop \"is\" (binop variable \"+\" \"1\")))",
    "(clause (binop \"is\" variable))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop variable \"-\")))",
    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
    "(clause (compound (functor \"firstMinus\") (args (args variable))))",
    "(clause (binop variable \"=<\" \"0\"))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"=<\"))",
    "(clause (compound (functor \"firstMinus\") (args (list (h (unop - variable))))))",
    "(clause (binop \"=<\" \"0\"))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (t variable))))) (compound (functor \"firstMinus\") (args (list (t variable)))))",
    "(clause (binop \"=\" (list (h variable))) (binop variable \"is\"))",
    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"=\"))",
    "(clause (binop \"is\" (binop \"+\" \"1\")))",
    "(clause (head (compound (functor \"firstMinus\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))"
  ],
  "rules": [
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args variable (args variable)))))",
        "(clause (head (compound (functor \"firstMinus\") (args (args (list (h variable)))))) (binop variable \"is\"))"
      ],
      "distribution": [
        0,
        21
      ],
      "quality": 0.8951021122646302
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args variable (args variable)))))"
      ],
      "distribution": [
        8,
        64
      ],
      "quality": 0.856697093946942
    },
    {
      "class": true,
      "condition": [
        "(clause (binop \"=\" (list (t variable))))",
        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h (unop - variable)))))"
      ],
      "distribution": [
        0,
        14
      ],
      "quality": 0.8317707483775141
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args (list (t variable)) (args (list (t variable)))))))",
        "(clause (binop variable \"is\"))"
      ],
      "distribution": [
        0,
        11
      ],
      "quality": 0.7754163994415489
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args (list (t variable)) (args (list (t variable)))))))",
        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" variable))"
      ],
      "distribution": [
        0,
        11
      ],
      "quality": 0.7754163994415489
    },
    {
      "class": true,
      "condition": [
        "(clause (binop \"=\" (list (t variable))))"
      ],
      "distribution": [
        5,
        29
      ],
      "quality": 0.7702393242146663
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"is\"))"
      ],
      "distribution": [
        6,
        0
      ],
      "quality": 0.6980409395171902
    },
    {
      "class": true,
      "condition": [
        "(clause (binop variable \"is\"))"
      ],
      "distribution": [
        2,
        12
      ],
      "quality": 0.6778064820992294
    },
    {
      "class": true,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h (unop - variable)))))"
      ],
      "distribution": [
        3,
        15
      ],
      "quality": 0.6679863338790486
    },
    {
      "class": false,
      "condition": [
        "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6456595409711998
    },
    {
      "class": false,
      "condition": [
        "(clause (binop variable \">\"))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6456595409711998
    },
    {
      "class": false,
      "condition": [
        "(clause (binop variable \"=\") (binop variable \"=\"))"
      ],
      "distribution": [
        5,
        0
      ],
      "quality": 0.6456595409711998
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))"
      ],
      "distribution": [
        4,
        0
      ],
      "quality": 0.5830975923071112
    },
    {
      "class": false,
      "condition": [
        "(clause (head (compound (functor \"firstMinus\") (args (list (t variable))))) (compound (functor \"firstMinus\") (args (list (t variable)))))"
      ],
      "distribution": [
        4,
        0
      ],
      "quality": 0.5830975923071112
    }
  ]
}