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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)

Gamma_1: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)

Gamma_2: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)

Gamma_3: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]

Gamma_4: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0

Gamma_5: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0

Gamma_6: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0

Gamma_7: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))

Gamma_8: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))

Gamma_9: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))

Gamma_10: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))

Gamma_11: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))

Gamma_12: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))

Gamma_13: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]

Gamma_14: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]

Gamma_15: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]

Gamma_16: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]

Gamma_17: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]

Gamma_18: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]

Gamma_19: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))

Gamma_20: (right-split)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))

Gamma_21: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(
member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))

Gamma_22: (right-split)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))

Gamma_23: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(
member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))

Gamma_24: (right-split)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))

Gamma_25: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),skf26(X0,skc58,X1))], ~(
member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))

Gamma_26: (right-split)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))

Gamma_27: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),skf16(X0,skc58,X1))], ~(
member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))

Gamma_28: (right-split)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: top(X0) != skc59 & top(X0) != skc59 | [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),
skf16(X0,skc58,X1))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))

Gamma_29: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: top(X0) != skc59 & top(X0) != skc59 | [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),
skf16(X0,skc58,X1))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))
  24: [male(skc58,skc60)], ssSkC0

Gamma_30: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: top(X0) != skc59 & top(X0) != skc59 | [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),
skf16(X0,skc58,X1))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))
  24: [male(skc58,skc60)], ssSkC0
  25: [group(skc58,skc59)], ssSkC0

Gamma_31: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: top(X0) != skc59 & top(X0) != skc59 | [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),
skf16(X0,skc58,X1))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))
  24: [male(skc58,skc60)], ssSkC0
  25: [group(skc58,skc59)], ssSkC0
  26: [six(skc58,skc59)], ssSkC0

Gamma_32: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: top(X0) != skc59 & top(X0) != skc59 | [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),
skf16(X0,skc58,X1))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))
  24: [male(skc58,skc60)], ssSkC0
  25: [group(skc58,skc59)], ssSkC0
  26: [six(skc58,skc59)], ssSkC0
  27: [actual_world(skc6)]

Gamma_33: (extend-no-conflict)
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: top(X0) != skc59 & top(X0) != skc59 | [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),
skf16(X0,skc58,X1))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))
  24: [male(skc58,skc60)], ssSkC0
  25: [group(skc58,skc59)], ssSkC0
  26: [six(skc58,skc59)], ssSkC0
  27: [actual_world(skc6)]
  28: [actual_world(skc58)]
  0: [member(X0,skf26(X1,X0,X2),X2)], ssSkP1(X1,X2,X0)
  1: [of(X0,skf19(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf16(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [cannon(X2,skf19(X2,X3,X4))]
  4: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), [shot(skc58,skf26(X0,skc58,skc59))], ssSkC0
  5: ~(member(skc58,skf16(skc59,skc58,X0),skc59)), [shot(skc58,skf16(skc59,skc58,X0))], ssSkC0
  6: [ssSkP1(skc60,skc59,skc58)], ssSkC0
  7: [agent(skc58,skf20(skc58,X0,X1),skf21(skc58,X1,X0))], ~(member(skc58,skf26(X2,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  8: [from_loc(skc58,skf20(skc58,skf26(X0,skc58,skc59),skc60),skf22(skc58,skc60,skf26(X0,skc58,skc59)))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  9: [from_loc(skc58,skf20(skc58,skf16(skc59,skc58,X0),skc60),skf22(skc58,skc60,skf16(skc59,skc58,X0)))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  10: [patient(skc58,skf20(skc58,skf26(X0,skc58,skc59),X1),skf26(X0,skc58,skc59))], ~(
member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  11: [patient(skc58,skf20(skc58,skf16(skc59,skc58,X0),X1),skf16(skc59,skc58,X0))], ~(
member(skc58,skf16(skc59,skc58,X0),skc59)), ~(ssSkP1(skc60,skc59,skc58))
  12: [of(skc58,skf22(skc58,skc60,X0),skc60)], ~(member(skc58,skf26(X1,skc58,skc59),skc59)), ~(
ssSkP1(skc60,skc59,skc58))
  13: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [man(
skc58,skf21(skc58,X1,X2))]
  14: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [fire(
skc58,skf20(skc58,X1,X2))]
  15: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [nonreflexive(
skc58,skf20(skc58,X1,X2))]
  16: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [present(
skc58,skf20(skc58,X1,X2))]
  17: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [event(
skc58,skf20(skc58,X1,X2))]
  18: ~(member(skc58,skf26(X0,skc58,skc59),skc59)), ~(ssSkP1(skc60,skc59,skc58)), [cannon(
skc58,skf22(skc58,X1,X2))]
  19: top(X0) != skc59 | ~(agent(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
from_loc(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf22(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
patient(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60),skf26(skc60,skc58,skc59))), ~(
of(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59)),skc60)), [ssSkP1(
skc60,X0,skc58)], ~(man(skc58,skf21(skc58,skc60,skf26(skc60,skc58,skc59)))), ~(
fire(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(nonreflexive(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
present(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(event(skc58,skf20(skc58,skf26(skc60,skc58,skc59),skc60))), ~(
cannon(skc58,skf22(skc58,skc60,skf26(skc60,skc58,skc59))))
  20: top(X1) != skc59 & top(X1) != skc59 | [from_loc(skc58,skf20(skc58,skf26(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf26(X0,skc58,X1)))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(
ssSkP1(skc60,X1,skc58))
  21: top(X0) != skc59 & top(X0) != skc59 | [from_loc(skc58,skf20(skc58,skf16(X0,skc58,X1),skc60),
skf22(skc58,skc60,skf16(X0,skc58,X1)))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(
ssSkP1(skc60,X0,skc58))
  22: top(X1) != skc59 & top(X1) != skc59 | [patient(skc58,skf20(skc58,skf26(X0,skc58,X1),X2),
skf26(X0,skc58,X1))], ~(member(skc58,skf26(X0,skc58,X1),X1)), ~(ssSkP1(skc60,X1,skc58))
  23: top(X0) != skc59 & top(X0) != skc59 | [patient(skc58,skf20(skc58,skf16(X0,skc58,X1),X2),
skf16(X0,skc58,X1))], ~(member(skc58,skf16(X0,skc58,X1),X0)), ~(ssSkP1(skc60,X0,skc58))
  24: [male(skc58,skc60)], ssSkC0
  25: [group(skc58,skc59)], ssSkC0
  26: [six(skc58,skc59)], ssSkC0
  27: [actual_world(skc6)]
  28: [actual_world(skc58)]

SZS status Satisfiable