# Configuration file for no problem in particular that we've worked with
# Originally for the (2,2) caching problem, but then modified to show more range of the parser
# Good file

PD
{
  "RV": ["W1","W2","Z1","Z2","X11","X12","X21","X22"],
  "AL": ["R","M"],
  "O": "2R + 1.1M + 3H(W1,Z1|Z2,X11) + H(W2) + 4H(W1,W2|Z1) + 5H(W1|W2,Z1)",
  "D": [
    {"dependent":["Z1","Z2"],"given":["W1","W2"]},
    {"dependent":["X11","X12","X21","X22"],"given":["W1","W2"]},
    {"dependent":["W1"],"given":["Z1","X11"]},
    {"dependent":["W1"],"given":["Z2","X11"]},
    {"dependent":["W1"],"given":["Z1","X12"]},
    {"dependent":["W2"],"given":["Z2","X12"]},
    {"dependent":["W2"],"given":["Z1","X21"]},
    {"dependent":["W1"],"given":["Z2","X21"]},
    {"dependent":["W2"],"given":["Z1","X22"]},
    {"dependent":["W2"],"given":["Z2","X22"]} ],
  "I": [
    {"given":[],"independent":["W1","W2"]},
    {"given":["W2"],"independent":["W1","Z1"]},
    {"given":["W2","X11"],"independent":["W1","Z1","Z2"]},
    {"given":["W1","W2","Z1","Z2","X22"],"independent":["X12","X21"]} ],
  "BC": [
    "H(W1) = 1",
    "H(X11) + 2H(W1,W2) - R <= 0",
    "H(X21) - R <= 0",
    "H(Z1) - M <= 0" ],
  "BP": [],
  "S": [
    ["W1","W2","Z1","Z2","X11","X12","X21","X22"],
    ["W2","W1","Z1","Z2","X22","X21","X12","X11"],
    ["W1","W2","Z2","Z1","X11","X21","X12","X22"],
    ["W2","W1","Z2","Z1","X22","X12","X21","X11"] ]
}

