{"species": [{"id": "howls(X1),~dog(X1)", "structure": "howls(X1) | ~dog(X1)"}, {"id": "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)", "structure": "~cat(X1) | ~has(X2,X1) | ~has(X2,X3) | ~mice(X3)"}, {"id": "~has(X1,X2),~howls(X2),~lightsleep(X1)", "structure": "~has(X1,X2) | ~howls(X2) | ~lightsleep(X1)"}, {"id": "has(john,s)", "structure": "has(john,s)"}, {"id": "cat(s),dog(s)", "structure": "cat(s) | dog(s)"}, {"id": "lightsleep(john)", "structure": "lightsleep(john)"}, {"id": "has(john,m)", "structure": "has(john,m)"}, {"id": "mice(m)", "structure": "mice(m)"}, {"id": "~dog(X1),~has(X2,X1),~lightsleep(X2)", "structure": "~dog(X1) | ~has(X2,X1) | ~lightsleep(X2)"}, {"id": "cat(s),howls(s)", "structure": "cat(s) | howls(s)"}, {"id": "~cat(s),~has(john,X1),~mice(X1)", "structure": "~cat(s) | ~has(john,X1) | ~mice(X1)"}, {"id": "~cat(X1),~has(john,X1),~mice(s)", "structure": "~cat(X1) | ~has(john,X1) | ~mice(s)"}, {"id": "~cat(s),~mice(s)", "structure": "~cat(s) | ~mice(s)"}, {"id": "dog(s),~has(X1,X2),~has(X1,s),~mice(X2)", "structure": "dog(s) | ~has(X1,X2) | ~has(X1,s) | ~mice(X2)"}, {"id": "dog(s),~has(X1,s),~mice(s)", "structure": "dog(s) | ~has(X1,s) | ~mice(s)"}, {"id": "~cat(m),~has(john,X1),~mice(X1)", "structure": "~cat(m) | ~has(john,X1) | ~mice(X1)"}, {"id": "~cat(X1),~has(john,X1),~mice(m)", "structure": "~cat(X1) | ~has(john,X1) | ~mice(m)"}, {"id": "~cat(m),~mice(m)", "structure": "~cat(m) | ~mice(m)"}, {"id": "~cat(X1),~has(X2,X1),~has(X2,m)", "structure": "~cat(X1) | ~has(X2,X1) | ~has(X2,m)"}, {"id": "~cat(m),~has(X1,m)", "structure": "~cat(m) | ~has(X1,m)"}, {"id": "~howls(s),~lightsleep(john)", "structure": "~howls(s) | ~lightsleep(john)"}, {"id": "~has(john,X1),~howls(X1)", "structure": "~has(john,X1) | ~howls(X1)"}, {"id": "~howls(m),~lightsleep(john)", "structure": "~howls(m) | ~lightsleep(john)"}, {"id": "~dog(s),~lightsleep(john)", "structure": "~dog(s) | ~lightsleep(john)"}, {"id": "cat(s),~has(X1,s),~lightsleep(X1)", "structure": "cat(s) | ~has(X1,s) | ~lightsleep(X1)"}, {"id": "~dog(X1),~has(john,X1)", "structure": "~dog(X1) | ~has(john,X1)"}, {"id": "~dog(m),~lightsleep(john)", "structure": "~dog(m) | ~lightsleep(john)"}, {"id": "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)", "structure": "~has(X1,X2) | ~has(X1,s) | ~has(X3,s) | ~lightsleep(X3) | ~mice(X2)"}, {"id": "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)", "structure": "~has(X1,s) | ~has(X2,s) | ~lightsleep(X1) | ~mice(s)"}, {"id": "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)", "structure": "howls(s) | ~has(X1,X2) | ~has(X1,s) | ~mice(X2)"}, {"id": "howls(s),~has(X1,s),~mice(s)", "structure": "howls(s) | ~has(X1,s) | ~mice(s)"}, {"id": "howls(s),~has(john,X1),~mice(X1)", "structure": "howls(s) | ~has(john,X1) | ~mice(X1)"}, {"id": "howls(s),~has(john,s),~mice(s)", "structure": "howls(s) | ~has(john,s) | ~mice(s)"}, {"id": "howls(s),~mice(s)", "structure": "howls(s) | ~mice(s)"}, {"id": "howls(s),~has(john,s),~mice(m)", "structure": "howls(s) | ~has(john,s) | ~mice(m)"}, {"id": "howls(s),~has(X1,m),~has(X1,s)", "structure": "howls(s) | ~has(X1,m) | ~has(X1,s)"}, {"id": "cat(s),~lightsleep(john)", "structure": "cat(s) | ~lightsleep(john)"}, {"id": "cat(s),~has(john,s)", "structure": "cat(s) | ~has(john,s)"}, {"id": "dog(s),~has(john,X1),~mice(X1)", "structure": "dog(s) | ~has(john,X1) | ~mice(X1)"}, {"id": "~cat(s),~mice(m)", "structure": "~cat(s) | ~mice(m)"}, {"id": "~cat(s),~has(john,m)", "structure": "~cat(s) | ~has(john,m)"}, {"id": "dog(s),~has(john,s),~mice(s)", "structure": "dog(s) | ~has(john,s) | ~mice(s)"}, {"id": "~cat(m),~mice(s)", "structure": "~cat(m) | ~mice(s)"}, {"id": "dog(s),~mice(s)", "structure": "dog(s) | ~mice(s)"}, {"id": "dog(s),~has(john,s),~mice(m)", "structure": "dog(s) | ~has(john,s) | ~mice(m)"}, {"id": "dog(s),~has(X1,m),~has(X1,s)", "structure": "dog(s) | ~has(X1,m) | ~has(X1,s)"}, {"id": "~cat(m),~has(john,m)", "structure": "~cat(m) | ~has(john,m)"}, {"id": "~cat(X1),~has(john,X1)", "structure": "~cat(X1) | ~has(john,X1)"}, {"id": "~cat(m)", "structure": "~cat(m)"}, {"id": "~howls(s)", "structure": "~howls(s)"}, {"id": "~howls(m)", "structure": "~howls(m)"}, {"id": "~dog(s)", "structure": "~dog(s)"}, {"id": "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)", "structure": "~has(X1,X2) | ~has(X1,s) | ~lightsleep(john) | ~mice(X2)"}, {"id": "~has(X1,s),~lightsleep(john),~mice(s)", "structure": "~has(X1,s) | ~lightsleep(john) | ~mice(s)"}, {"id": "~has(john,X1),~lightsleep(john),~mice(X1)", "structure": "~has(john,X1) | ~lightsleep(john) | ~mice(X1)"}, {"id": "~has(john,s),~lightsleep(john),~mice(s)", "structure": "~has(john,s) | ~lightsleep(john) | ~mice(s)"}, {"id": "~lightsleep(john),~mice(s)", "structure": "~lightsleep(john) | ~mice(s)"}, {"id": "~has(john,s),~lightsleep(john),~mice(m)", "structure": "~has(john,s) | ~lightsleep(john) | ~mice(m)"}, {"id": "~has(X1,m),~has(X1,s),~lightsleep(john)", "structure": "~has(X1,m) | ~has(X1,s) | ~lightsleep(john)"}, {"id": "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)", "structure": "~has(X1,s) | ~has(john,X2) | ~lightsleep(X1) | ~mice(X2)"}, {"id": "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)", "structure": "~has(X1,s) | ~has(john,s) | ~lightsleep(X1) | ~mice(s)"}, {"id": "~has(X1,s),~lightsleep(X1),~mice(s)", "structure": "~has(X1,s) | ~lightsleep(X1) | ~mice(s)"}, {"id": "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)", "structure": "~has(X1,s) | ~has(john,s) | ~lightsleep(X1) | ~mice(m)"}, {"id": "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)", "structure": "~has(X1,m) | ~has(X1,s) | ~has(X2,s) | ~lightsleep(X2)"}, {"id": "~has(X1,s),~lightsleep(X1),~mice(m)", "structure": "~has(X1,s) | ~lightsleep(X1) | ~mice(m)"}, {"id": "~has(X1,s),~has(john,m),~lightsleep(X1)", "structure": "~has(X1,s) | ~has(john,m) | ~lightsleep(X1)"}, {"id": "~has(X1,s),~has(john,s),~lightsleep(X1)", "structure": "~has(X1,s) | ~has(john,s) | ~lightsleep(X1)"}, {"id": "~dog(m)", "structure": "~dog(m)"}, {"id": "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)", "structure": "~has(X1,X2) | ~has(X1,s) | ~has(john,s) | ~mice(X2)"}, {"id": "~has(X1,s),~has(john,s),~mice(s)", "structure": "~has(X1,s) | ~has(john,s) | ~mice(s)"}, {"id": "~has(john,X1),~has(john,s),~mice(X1)", "structure": "~has(john,X1) | ~has(john,s) | ~mice(X1)"}, {"id": "~has(john,s),~mice(s)", "structure": "~has(john,s) | ~mice(s)"}, {"id": "~has(john,s),~mice(m)", "structure": "~has(john,s) | ~mice(m)"}, {"id": "~has(X1,m),~has(X1,s),~has(john,s)", "structure": "~has(X1,m) | ~has(X1,s) | ~has(john,s)"}, {"id": "~has(X1,m),~has(X1,s),~lightsleep(X1)", "structure": "~has(X1,m) | ~has(X1,s) | ~lightsleep(X1)"}, {"id": "~has(X1,X2),~has(X1,s),~mice(X2)", "structure": "~has(X1,X2) | ~has(X1,s) | ~mice(X2)"}, {"id": "~has(X1,s),~mice(s)", "structure": "~has(X1,s) | ~mice(s)"}, {"id": "howls(s),~mice(m)", "structure": "howls(s) | ~mice(m)"}, {"id": "howls(s),~has(john,m)", "structure": "howls(s) | ~has(john,m)"}, {"id": "~has(john,X1),~mice(X1)", "structure": "~has(john,X1) | ~mice(X1)"}, {"id": "~mice(s)", "structure": "~mice(s)"}, {"id": "howls(s),~has(john,s)", "structure": "howls(s) | ~has(john,s)"}, {"id": "~has(X1,m),~has(X1,s)", "structure": "~has(X1,m) | ~has(X1,s)"}, {"id": "cat(s)", "structure": "cat(s)"}, {"id": "~lightsleep(john),~mice(m)", "structure": "~lightsleep(john) | ~mice(m)"}, {"id": "~has(john,m),~lightsleep(john)", "structure": "~has(john,m) | ~lightsleep(john)"}, {"id": "~has(john,s),~lightsleep(john)", "structure": "~has(john,s) | ~lightsleep(john)"}, {"id": "~has(john,m),~has(john,s)", "structure": "~has(john,m) | ~has(john,s)"}, {"id": "~has(john,s)", "structure": "~has(john,s)"}, {"id": "dog(s),~mice(m)", "structure": "dog(s) | ~mice(m)"}, {"id": "dog(s),~has(john,m)", "structure": "dog(s) | ~has(john,m)"}, {"id": "~cat(s)", "structure": "~cat(s)"}, {"id": "dog(s),~has(john,s)", "structure": "dog(s) | ~has(john,s)"}, {"id": "~mice(m)", "structure": "~mice(m)"}, {"id": "~has(john,m)", "structure": "~has(john,m)"}, {"id": "~has(X1,s),~lightsleep(X1)", "structure": "~has(X1,s) | ~lightsleep(X1)"}, {"id": "~lightsleep(john)", "structure": "~lightsleep(john)"}, {"id": "howls(s)", "structure": "howls(s)"}, {"id": "[]", "structure": "[]"}, {"id": "dog(s)", "structure": "dog(s)"}], "reactions": [{"reactants": {"howls(X1),~dog(X1)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(X1),~dog(X1)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "howls(X1),~dog(X1)": 1}, "products": {"cat(s),dog(s)": 1, "howls(X1),~dog(X1)": 1, "cat(s),howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "dog(s),~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(m),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"mice(m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"mice(m)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~cat(m),~has(X1,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~howls(s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(john,X1),~howls(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"has(john,m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~howls(m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"has(john,s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~dog(s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"cat(s),dog(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "cat(s),~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"lightsleep(john)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~dog(X1),~has(john,X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"has(john,m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~dog(m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "howls(s),~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"cat(s),howls(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "cat(s),~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "howls(s),~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "howls(s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(s),~mice(s)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(s),~mice(s)": 1, "howls(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "howls(s),~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "howls(s),~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"cat(s),howls(s)": 1, "~howls(s),~lightsleep(john)": 1, "cat(s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"cat(s),howls(s)": 1, "~has(john,X1),~howls(X1)": 1, "cat(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"has(john,s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~cat(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "dog(s),~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"has(john,m)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~cat(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"mice(m)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~cat(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "~cat(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "dog(s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "~cat(m),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(s),~mice(s)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(s),~mice(s)": 1, "dog(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,s)": 1, "dog(s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,s)": 1, "dog(s),~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,s)": 1, "dog(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,m)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "has(john,m)": 1, "dog(s),~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "mice(m)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "mice(m)": 1, "dog(s),~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,s),~mice(s)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(X1,s),~mice(s)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,s),~mice(s)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(X1,s),~mice(s)": 1, "has(john,s)": 1, "dog(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1}, "products": {"has(john,s)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1, "~cat(m),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1}, "products": {"has(john,m)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1, "~cat(m),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1}, "products": {"mice(m)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1, "~cat(m),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~cat(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "dog(s),~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~cat(m),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"mice(m)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~cat(X1),~has(john,X1)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~cat(m),~mice(m)": 1}, "products": {"mice(m)": 1, "~cat(m),~mice(m)": 1, "~cat(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~cat(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "dog(s),~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~cat(m),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~cat(X1),~has(john,X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~cat(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(m),~has(X1,m)": 1}, "products": {"has(john,m)": 1, "~cat(m),~has(X1,m)": 1, "~cat(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(X1),~dog(X1)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(X1),~dog(X1)": 1, "~howls(s),~lightsleep(john)": 1, "~dog(s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~howls(s),~lightsleep(john)": 1, "~howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(X1),~dog(X1)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(X1),~dog(X1)": 1, "~has(john,X1),~howls(X1)": 1, "~dog(X1),~has(john,X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"has(john,s)": 1, "~has(john,X1),~howls(X1)": 1, "~howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"has(john,m)": 1, "~has(john,X1),~howls(X1)": 1, "~howls(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(X1),~dog(X1)": 1, "~howls(m),~lightsleep(john)": 1}, "products": {"howls(X1),~dog(X1)": 1, "~howls(m),~lightsleep(john)": 1, "~dog(m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~howls(m),~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~howls(m),~lightsleep(john)": 1, "~howls(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"cat(s),dog(s)": 1, "~dog(s),~lightsleep(john)": 1, "cat(s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~dog(s),~lightsleep(john)": 1, "~dog(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s),~lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s),~lightsleep(john)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(s),~lightsleep(john)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(s),~lightsleep(john)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(s),~lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(s)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~mice(s)": 1, "~dog(s),~lightsleep(john)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(s),~lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(s),~lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "has(john,s)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "has(john,s)": 1, "cat(s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "lightsleep(john)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "lightsleep(john)": 1, "cat(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~mice(s)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~mice(s)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~mice(m)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~mice(m)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~has(john,m)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s),~has(john,m)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(X1),~has(john,X1)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"has(john,s)": 1, "~dog(X1),~has(john,X1)": 1, "~dog(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"cat(s),dog(s)": 1, "~dog(X1),~has(john,X1)": 1, "cat(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"has(john,m)": 1, "~dog(X1),~has(john,X1)": 1, "~dog(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(john,X1)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(X1),~has(john,X1)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(X1),~has(john,X1)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~mice(s)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(X1),~has(john,X1)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~dog(m),~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~dog(m),~lightsleep(john)": 1, "~dog(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "products": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(s),~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,m)": 1, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "howls(s),~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "mice(m)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "mice(m)": 1, "howls(s),~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s),~lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s),~lightsleep(john)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(john,X1),~howls(X1)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(john,X1),~howls(X1)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~howls(s)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,s),~mice(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(X1,s),~mice(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(X1,s),~mice(s)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(X1,s),~mice(s)": 1, "howls(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,s),~mice(s)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(X1,s),~mice(s)": 1, "~howls(s),~lightsleep(john)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,s),~mice(s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(X1,s),~mice(s)": 1, "~has(john,X1),~howls(X1)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,s),~mice(s)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(X1,s),~mice(s)": 1, "~howls(s)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,X1),~mice(X1)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(john,X1),~mice(X1)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(john,X1),~mice(X1)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(john,X1),~mice(X1)": 1, "howls(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "howls(s),~has(john,X1),~mice(X1)": 1}, "products": {"has(john,m)": 1, "howls(s),~has(john,X1),~mice(X1)": 1, "howls(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,X1),~mice(X1)": 1, "mice(m)": 1}, "products": {"howls(s),~has(john,X1),~mice(X1)": 1, "mice(m)": 1, "howls(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,X1),~mice(X1)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(john,X1),~mice(X1)": 1, "~howls(s),~lightsleep(john)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,X1),~mice(X1)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(john,X1),~mice(X1)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,X1),~mice(X1)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(john,X1),~mice(X1)": 1, "~howls(s)": 1, "~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(john,s),~mice(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(john,s),~mice(s)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(john,s),~mice(s)": 1, "howls(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(s)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(john,s),~mice(s)": 1, "~howls(s),~lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(john,s),~mice(s)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(s)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(john,s),~mice(s)": 1, "~howls(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~mice(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(s)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~mice(s)": 1, "~howls(s),~lightsleep(john)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~mice(s)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(s)": 1, "~howls(s)": 1}, "products": {"howls(s),~mice(s)": 1, "~howls(s)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(john,s),~mice(m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(john,s),~mice(m)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(john,s),~mice(m)": 1, "howls(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(m)": 1, "mice(m)": 1}, "products": {"howls(s),~has(john,s),~mice(m)": 1, "mice(m)": 1, "howls(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(m)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(john,s),~mice(m)": 1, "~howls(s),~lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(m)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(john,s),~mice(m)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s),~mice(m)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(john,s),~mice(m)": 1, "~howls(s)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(X1,m),~has(X1,s)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(X1,m),~has(X1,s)": 1, "howls(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "howls(s),~has(X1,m),~has(X1,s)": 1}, "products": {"has(john,m)": 1, "howls(s),~has(X1,m),~has(X1,s)": 1, "howls(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~howls(s),~lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~has(john,X1),~howls(X1)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(X1,m),~has(X1,s)": 1, "~howls(s)": 1, "~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "lightsleep(john)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "lightsleep(john)": 1, "cat(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(s),~mice(s)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(s),~mice(s)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(s),~mice(m)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(s),~mice(m)": 1, "~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(s),~has(john,m)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(s),~has(john,m)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(X1),~has(john,X1)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "has(john,s)": 1}, "products": {"cat(s),~has(john,s)": 1, "has(john,s)": 1, "cat(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(s),~mice(s)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(s),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(s),~mice(m)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(s),~mice(m)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(s),~has(john,m)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(s),~has(john,m)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(X1),~has(john,X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "has(john,s)": 1, "dog(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "has(john,m)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "has(john,m)": 1, "dog(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "mice(m)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "mice(m)": 1, "dog(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(s),~mice(m)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(s),~mice(m)": 1, "dog(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~cat(s),~mice(m)": 1}, "products": {"mice(m)": 1, "~cat(s),~mice(m)": 1, "~cat(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(s),~mice(m)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(s),~mice(m)": 1, "howls(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(s),~has(john,m)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(s),~has(john,m)": 1, "dog(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(s),~has(john,m)": 1}, "products": {"has(john,m)": 1, "~cat(s),~has(john,m)": 1, "~cat(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(s),~has(john,m)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(s),~has(john,m)": 1, "howls(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(s)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(john,s),~mice(s)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(s)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(john,s),~mice(s)": 1, "has(john,s)": 1, "dog(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(s)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~mice(s)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~mice(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(m)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(john,s),~mice(m)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(m)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(john,s),~mice(m)": 1, "has(john,s)": 1, "dog(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(m)": 1, "mice(m)": 1}, "products": {"dog(s),~has(john,s),~mice(m)": 1, "mice(m)": 1, "dog(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,m),~has(X1,s)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(X1,m),~has(X1,s)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,m),~has(X1,s)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(X1,m),~has(X1,s)": 1, "has(john,s)": 1, "dog(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,m),~has(X1,s)": 1, "has(john,m)": 1}, "products": {"dog(s),~has(X1,m),~has(X1,s)": 1, "has(john,m)": 1, "dog(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(m),~has(john,m)": 1}, "products": {"has(john,m)": 1, "~cat(m),~has(john,m)": 1, "~cat(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"has(john,s)": 1, "~cat(X1),~has(john,X1)": 1, "~cat(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(X1),~has(john,X1)": 1, "dog(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"has(john,m)": 1, "~cat(X1),~has(john,X1)": 1, "~cat(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(X1),~has(john,X1)": 1, "howls(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(X1),~dog(X1)": 1, "~howls(s)": 1}, "products": {"howls(X1),~dog(X1)": 1, "~howls(s)": 1, "~dog(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~howls(s)": 1}, "products": {"cat(s),howls(s)": 1, "~howls(s)": 1, "cat(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(X1),~dog(X1)": 1, "~howls(m)": 1}, "products": {"howls(X1),~dog(X1)": 1, "~howls(m)": 1, "~dog(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~dog(s)": 1}, "products": {"cat(s),dog(s)": 1, "~dog(s)": 1, "cat(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~dog(s)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(X1,s),~mice(s)": 1, "~dog(s)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(john,X1),~mice(X1)": 1, "~dog(s)": 1, "~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(john,s),~mice(s)": 1, "~dog(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(s)": 1, "~dog(s)": 1}, "products": {"dog(s),~mice(s)": 1, "~dog(s)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(john,s),~mice(m)": 1, "~dog(s)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(X1,m),~has(X1,s)": 1, "~dog(s)": 1, "~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(m)": 1, "~dog(s)": 1}, "products": {"dog(s),~mice(m)": 1, "~dog(s)": 1, "~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,m)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(john,m)": 1, "~dog(s)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s)": 1, "~dog(s)": 1}, "products": {"dog(s),~has(john,s)": 1, "~dog(s)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1}, "products": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(john),~mice(s)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "products": {"has(john,s)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "products": {"lightsleep(john)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1, "~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "products": {"has(john,m)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1, "~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "products": {"mice(m)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "products": {"lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~lightsleep(john),~mice(s)": 1}, "products": {"lightsleep(john)": 1, "~lightsleep(john),~mice(s)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "products": {"has(john,s)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1, "~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "products": {"lightsleep(john)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "products": {"mice(m)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1, "~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "products": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1, "~has(john,X1),~lightsleep(john),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1}, "products": {"mice(m)": 1, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1, "~has(john,s),~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1, "~lightsleep(john),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(X1),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1, "~has(john,s),~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1, "~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "products": {"mice(m)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1}, "products": {"mice(m)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1, "~has(X1,m),~has(X1,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1, "~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "products": {"mice(m)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "products": {"has(john,m)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1}, "products": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~has(john,s),~mice(s)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "products": {"has(john,s)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "products": {"has(john,s)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1, "~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "products": {"has(john,s)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "products": {"has(john,m)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1}, "products": {"mice(m)": 1, "~has(john,X1),~has(john,s),~mice(X1)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,s),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(john,s),~mice(s)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,s),~mice(m)": 1}, "products": {"has(john,s)": 1, "~has(john,s),~mice(m)": 1, "~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(john,s),~mice(m)": 1}, "products": {"mice(m)": 1, "~has(john,s),~mice(m)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1, "~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1}, "products": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~has(john,s)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 1}, "products": {"has(john,m)": 1, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,s)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"has(john,m)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "products": {"mice(m)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1, "~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~mice(s)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~mice(s)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~mice(m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(m)": 1, "mice(m)": 1}, "products": {"howls(s),~mice(m)": 1, "mice(m)": 1, "howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(m)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~mice(m)": 1, "~howls(s),~lightsleep(john)": 1, "~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(m)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~mice(m)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~mice(m)": 1, "~howls(s)": 1}, "products": {"howls(s),~mice(m)": 1, "~howls(s)": 1, "~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(john,m)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "howls(s),~has(john,m)": 1}, "products": {"has(john,m)": 1, "howls(s),~has(john,m)": 1, "howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,m)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(john,m)": 1, "~howls(s),~lightsleep(john)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,m)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(john,m)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,m)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(john,m)": 1, "~howls(s)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,X1),~mice(X1)": 1}, "products": {"has(john,s)": 1, "~has(john,X1),~mice(X1)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(john,X1),~mice(X1)": 1}, "products": {"has(john,m)": 1, "~has(john,X1),~mice(X1)": 1, "~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~has(john,X1),~mice(X1)": 1}, "products": {"mice(m)": 1, "~has(john,X1),~mice(X1)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s),~has(john,s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "howls(s),~has(john,s)": 1}, "products": {"has(john,s)": 1, "howls(s),~has(john,s)": 1, "howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s),~has(john,s)": 1, "~howls(s),~lightsleep(john)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s),~has(john,s)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s),~has(john,s)": 1, "~howls(s)": 1}, "products": {"howls(s),~has(john,s)": 1, "~howls(s)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,m),~has(X1,s)": 1}, "products": {"has(john,s)": 1, "~has(X1,m),~has(X1,s)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(X1,m),~has(X1,s)": 1}, "products": {"has(john,m)": 1, "~has(X1,m),~has(X1,s)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,X2),~has(X1,s),~mice(X2)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1}, "products": {"cat(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 1, "~has(X1,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1}, "products": {"cat(s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~has(john,X1),~mice(X1)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1}, "products": {"cat(s)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "~has(john,s),~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(s),~mice(s)": 1}, "products": {"cat(s)": 1, "~cat(s),~mice(s)": 1, "~mice(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1}, "products": {"cat(s)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1}, "products": {"cat(s)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~has(X1,m),~has(X1,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(s),~mice(m)": 1}, "products": {"cat(s)": 1, "~cat(s),~mice(m)": 1, "~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(s),~has(john,m)": 1}, "products": {"cat(s)": 1, "~cat(s),~has(john,m)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(X1),~has(john,X1)": 1}, "products": {"cat(s)": 1, "~cat(X1),~has(john,X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s)": 1, "~cat(s)": 1}, "products": {"cat(s)": 1, "~cat(s)": 1, "[]": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~lightsleep(john),~mice(m)": 1}, "products": {"lightsleep(john)": 1, "~lightsleep(john),~mice(m)": 1, "~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~lightsleep(john),~mice(m)": 1}, "products": {"mice(m)": 1, "~lightsleep(john),~mice(m)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(john,m),~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~has(john,m),~lightsleep(john)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(john,m),~lightsleep(john)": 1}, "products": {"has(john,m)": 1, "~has(john,m),~lightsleep(john)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,s),~lightsleep(john)": 1}, "products": {"has(john,s)": 1, "~has(john,s),~lightsleep(john)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(john,s),~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~has(john,s),~lightsleep(john)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,m),~has(john,s)": 1}, "products": {"has(john,s)": 1, "~has(john,m),~has(john,s)": 1, "~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(john,m),~has(john,s)": 1}, "products": {"has(john,m)": 1, "~has(john,m),~has(john,s)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(john,s)": 1}, "products": {"has(john,s)": 1, "~has(john,s)": 1, "[]": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(m)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~mice(m)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(m)": 1, "mice(m)": 1}, "products": {"dog(s),~mice(m)": 1, "mice(m)": 1, "dog(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~mice(m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~lightsleep(X1),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(m)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~mice(m)": 1, "~dog(s),~lightsleep(john)": 1, "~lightsleep(john),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~mice(m)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~mice(m)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,s),~mice(m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,m)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(john,m)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(john,m)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,m)": 1, "has(john,m)": 1}, "products": {"dog(s),~has(john,m)": 1, "has(john,m)": 1, "dog(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(john,m)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~has(john,m),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,m)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(john,m)": 1, "~dog(s),~lightsleep(john)": 1, "~has(john,m),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,m)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(john,m)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,m),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),dog(s)": 1, "~cat(s)": 1}, "products": {"cat(s),dog(s)": 1, "~cat(s)": 1, "dog(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),howls(s)": 1, "~cat(s)": 1}, "products": {"cat(s),howls(s)": 1, "~cat(s)": 1, "howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s)": 1}, "products": {"cat(s),~has(X1,s),~lightsleep(X1)": 1, "~cat(s)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~lightsleep(john)": 1, "~cat(s)": 1}, "products": {"cat(s),~lightsleep(john)": 1, "~cat(s)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"cat(s),~has(john,s)": 1, "~cat(s)": 1}, "products": {"cat(s),~has(john,s)": 1, "~cat(s)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s),~has(john,s)": 1, "howls(X1),~dog(X1)": 1, "howls(s),~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s)": 1, "has(john,s)": 1}, "products": {"dog(s),~has(john,s)": 1, "has(john,s)": 1, "dog(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s),~has(john,s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~has(john,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s),~has(john,s)": 1, "~dog(s),~lightsleep(john)": 1, "~has(john,s),~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s),~has(john,s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s),~has(john,s)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"mice(m)": 1, "~mice(m)": 1}, "products": {"mice(m)": 1, "~mice(m)": 1, "[]": 1}, "rate": null, "count": null}, {"reactants": {"has(john,m)": 1, "~has(john,m)": 1}, "products": {"has(john,m)": 1, "~has(john,m)": 1, "[]": 1}, "rate": null, "count": null}, {"reactants": {"has(john,s)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "products": {"has(john,s)": 1, "~has(X1,s),~lightsleep(X1)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "products": {"lightsleep(john)": 1, "~has(X1,s),~lightsleep(X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"lightsleep(john)": 1, "~lightsleep(john)": 1}, "products": {"lightsleep(john)": 1, "~lightsleep(john)": 1, "[]": 1}, "rate": null, "count": null}, {"reactants": {"howls(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1}, "products": {"howls(s)": 1, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s)": 1, "~howls(s),~lightsleep(john)": 1}, "products": {"howls(s)": 1, "~howls(s),~lightsleep(john)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s)": 1, "~has(john,X1),~howls(X1)": 1}, "products": {"howls(s)": 1, "~has(john,X1),~howls(X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"howls(s)": 1, "~howls(s)": 1}, "products": {"howls(s)": 1, "~howls(s)": 1, "[]": 1}, "rate": null, "count": null}, {"reactants": {"dog(s)": 1, "howls(X1),~dog(X1)": 1}, "products": {"dog(s)": 1, "howls(X1),~dog(X1)": 1, "howls(s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1}, "products": {"dog(s)": 1, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "~has(X1,s),~lightsleep(X1)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s)": 1, "~dog(s),~lightsleep(john)": 1}, "products": {"dog(s)": 1, "~dog(s),~lightsleep(john)": 1, "~lightsleep(john)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s)": 1, "~dog(X1),~has(john,X1)": 1}, "products": {"dog(s)": 1, "~dog(X1),~has(john,X1)": 1, "~has(john,s)": 1}, "rate": null, "count": null}, {"reactants": {"dog(s)": 1, "~dog(s)": 1}, "products": {"dog(s)": 1, "~dog(s)": 1, "[]": 1}, "rate": null, "count": null}], "status": "complete", "initial_state": null, "inflow": null, "outflow": null, "extras": {"axioms": ["howls(X1),~dog(X1)", "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)", "~has(X1,X2),~howls(X2),~lightsleep(X1)", "has(john,s)", "cat(s),dog(s)"], "goal": ["lightsleep(john)", "has(john,m)", "mice(m)"], "analysis": {"target": "[]", "proved": true, "proof": [{"reactants": ["cat(s),dog(s)", "howls(X1),~dog(X1)"], "product": "cat(s),howls(s)"}, {"reactants": ["has(john,s)", "~has(X1,X2),~howls(X2),~lightsleep(X1)"], "product": "~howls(s),~lightsleep(john)"}, {"reactants": ["cat(s),howls(s)", "~howls(s),~lightsleep(john)"], "product": "cat(s),~lightsleep(john)"}, {"reactants": ["cat(s),~lightsleep(john)", "lightsleep(john)"], "product": "cat(s)"}, {"reactants": ["has(john,s)", "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)"], "product": "~cat(s),~has(john,X1),~mice(X1)"}, {"reactants": ["has(john,m)", "~cat(s),~has(john,X1),~mice(X1)"], "product": "~cat(s),~mice(m)"}, {"reactants": ["mice(m)", "~cat(s),~mice(m)"], "product": "~cat(s)"}, {"reactants": ["cat(s)", "~cat(s)"], "product": "[]"}], "proof_length": 8, "longest_clause_in_proof": 3, "target_level": 4, "levels": {"howls(X1),~dog(X1)": 0, "~cat(X1),~has(X2,X1),~has(X2,X3),~mice(X3)": 0, "~has(X1,X2),~howls(X2),~lightsleep(X1)": 0, "has(john,s)": 0, "cat(s),dog(s)": 0, "lightsleep(john)": 0, "has(john,m)": 0, "mice(m)": 0, "~dog(X1),~has(X2,X1),~lightsleep(X2)": 1, "cat(s),howls(s)": 1, "~cat(s),~has(john,X1),~mice(X1)": 1, "~cat(X1),~has(john,X1),~mice(s)": 1, "~cat(s),~mice(s)": 1, "dog(s),~has(X1,X2),~has(X1,s),~mice(X2)": 1, "dog(s),~has(X1,s),~mice(s)": 1, "~cat(m),~has(john,X1),~mice(X1)": 1, "~cat(X1),~has(john,X1),~mice(m)": 1, "~cat(m),~mice(m)": 1, "~cat(X1),~has(X2,X1),~has(X2,m)": 1, "~cat(m),~has(X1,m)": 1, "~howls(s),~lightsleep(john)": 1, "~has(john,X1),~howls(X1)": 1, "~howls(m),~lightsleep(john)": 1, "~dog(s),~lightsleep(john)": 2, "cat(s),~has(X1,s),~lightsleep(X1)": 2, "~dog(X1),~has(john,X1)": 2, "~dog(m),~lightsleep(john)": 2, "~has(X1,X2),~has(X1,s),~has(X3,s),~lightsleep(X3),~mice(X2)": 2, "~has(X1,s),~has(X2,s),~lightsleep(X1),~mice(s)": 2, "howls(s),~has(X1,X2),~has(X1,s),~mice(X2)": 2, "howls(s),~has(X1,s),~mice(s)": 2, "howls(s),~has(john,X1),~mice(X1)": 2, "howls(s),~has(john,s),~mice(s)": 2, "howls(s),~mice(s)": 2, "howls(s),~has(john,s),~mice(m)": 2, "howls(s),~has(X1,m),~has(X1,s)": 2, "cat(s),~lightsleep(john)": 2, "cat(s),~has(john,s)": 2, "dog(s),~has(john,X1),~mice(X1)": 2, "~cat(s),~mice(m)": 2, "~cat(s),~has(john,m)": 2, "dog(s),~has(john,s),~mice(s)": 2, "~cat(m),~mice(s)": 2, "dog(s),~mice(s)": 2, "dog(s),~has(john,s),~mice(m)": 2, "dog(s),~has(X1,m),~has(X1,s)": 2, "~cat(m),~has(john,m)": 2, "~cat(X1),~has(john,X1)": 2, "~cat(m)": 2, "~howls(s)": 2, "~howls(m)": 2, "~dog(s)": 3, "~has(X1,X2),~has(X1,s),~lightsleep(john),~mice(X2)": 3, "~has(X1,s),~lightsleep(john),~mice(s)": 3, "~has(john,X1),~lightsleep(john),~mice(X1)": 3, "~has(john,s),~lightsleep(john),~mice(s)": 3, "~lightsleep(john),~mice(s)": 3, "~has(john,s),~lightsleep(john),~mice(m)": 3, "~has(X1,m),~has(X1,s),~lightsleep(john)": 3, "~has(X1,s),~has(john,X2),~lightsleep(X1),~mice(X2)": 3, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(s)": 3, "~has(X1,s),~lightsleep(X1),~mice(s)": 3, "~has(X1,s),~has(john,s),~lightsleep(X1),~mice(m)": 3, "~has(X1,m),~has(X1,s),~has(X2,s),~lightsleep(X2)": 3, "~has(X1,s),~lightsleep(X1),~mice(m)": 3, "~has(X1,s),~has(john,m),~lightsleep(X1)": 3, "~has(X1,s),~has(john,s),~lightsleep(X1)": 3, "~dog(m)": 3, "~has(X1,X2),~has(X1,s),~has(john,s),~mice(X2)": 3, "~has(X1,s),~has(john,s),~mice(s)": 3, "~has(john,X1),~has(john,s),~mice(X1)": 3, "~has(john,s),~mice(s)": 3, "~has(john,s),~mice(m)": 3, "~has(X1,m),~has(X1,s),~has(john,s)": 3, "~has(X1,m),~has(X1,s),~lightsleep(X1)": 3, "~has(X1,X2),~has(X1,s),~mice(X2)": 3, "~has(X1,s),~mice(s)": 3, "howls(s),~mice(m)": 3, "howls(s),~has(john,m)": 3, "~has(john,X1),~mice(X1)": 3, "~mice(s)": 3, "howls(s),~has(john,s)": 3, "~has(X1,m),~has(X1,s)": 3, "cat(s)": 3, "~lightsleep(john),~mice(m)": 3, "~has(john,m),~lightsleep(john)": 3, "~has(john,s),~lightsleep(john)": 3, "~has(john,m),~has(john,s)": 3, "~has(john,s)": 3, "dog(s),~mice(m)": 3, "dog(s),~has(john,m)": 3, "~cat(s)": 3, "dog(s),~has(john,s)": 3, "~mice(m)": 4, "~has(john,m)": 4, "~has(X1,s),~lightsleep(X1)": 4, "~lightsleep(john)": 4, "howls(s)": 4, "[]": 4, "dog(s)": 4}}}, "chemistry": "proof-ac", "params": {"method": "closure", "problem": "gini-1995", "clauses": "", "goal": "", "target": "[]", "strategy": "unrestricted", "factoring": true, "max_length": 0, "max_species": 2000, "replacement": "educt", "multiplicity": 20, "max_collisions": 20000, "elastic_inflow": true, "inflow_rate": 0.0}, "seed": 1}