%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------%

------ Parsing...successful


------ Proving...
use I-
not ground preserving

Gamma_0: (extend-no-conflict)
  0: [rq(X0,esk3_1(X0))], cnotA(X0)

Gamma_1: (extend-no-conflict)
  0: [rq(X0,esk3_1(X0))], cnotA(X0)
  1: [xsd_integer(X0)], xsd_string(X0)

Gamma_2: (extend-no-conflict)
  0: [rq(X0,esk3_1(X0))], cnotA(X0)
  1: [xsd_integer(X0)], xsd_string(X0)
  2: [cowlThing(X0)]

Gamma_3: (extend-no-conflict)
  0: [rq(X0,esk3_1(X0))], cnotA(X0)
  1: [xsd_integer(X0)], xsd_string(X0)
  2: [cowlThing(X0)]
  3: ~(rq(X0,esk3_1(X0))), [cA(X0)], ~(cowlThing(esk3_1(X0)))

Gamma_4: (extend-no-conflict)
  0: [rq(X0,esk3_1(X0))], cnotA(X0)
  1: [xsd_integer(X0)], xsd_string(X0)
  2: [cowlThing(X0)]
  3: ~(rq(X0,esk3_1(X0))), [cA(X0)], ~(cowlThing(esk3_1(X0)))
  4: [rq(X0,esk1_1(X0))], ~(cA(X0))
  0: [rq(X0,esk3_1(X0))], cnotA(X0)
  1: [xsd_integer(X0)], xsd_string(X0)
  2: [cowlThing(X0)]
  3: ~(rq(X0,esk3_1(X0))), [cA(X0)], ~(cowlThing(esk3_1(X0)))
  4: [rq(X0,esk1_1(X0))], ~(cA(X0))

SZS status Satisfiable