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

------ Parsing...successful


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

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

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

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

Gamma_3: (extend-no-conflict)
  0: [member(X0,skf25(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf16(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf14(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [man(X2,skf18(X2,X3,X4))]

Gamma_4: (extend-no-conflict)
  0: [member(X0,skf25(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf16(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf14(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [man(X2,skf18(X2,X3,X4))]
  4: ssSkP0(X0,X1,X2), [cannon(X2,skf16(X2,X3,X4))]

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

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

Gamma_7: (extend-no-conflict)
  0: [member(X0,skf25(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf16(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf14(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [man(X2,skf18(X2,X3,X4))]
  4: ssSkP0(X0,X1,X2), [cannon(X2,skf16(X2,X3,X4))]
  5: ~(member(skc59,skf25(X0,skc59,skc60),skc60)), [shot(skc59,skf25(X0,skc59,skc60))], ssSkC0
  6: ~(member(skc59,skf14(skc60,skc59,X0),skc60)), [shot(skc59,skf14(skc60,skc59,X0))], ssSkC0
  7: [ssSkP1(skc61,skc60,skc59)], ssSkC0

Gamma_8: (extend-no-conflict)
  0: [member(X0,skf25(X1,X0,X2),X2)], ssSkP1(
X1,X2,X0)
  1: [of(X0,skf16(X0,X1,X2),X1)], ssSkP0(X3,X1,X0)
  2: [member(X0,skf14(X1,X0,X2),X1)], ssSkP0(X1,X3,X0)
  3: ssSkP0(X0,X1,X2), [man(X2,skf18(X2,X3,X4))]
  4: ssSkP0(X0,X1,X2), [cannon(X2,skf16(X2,X3,X4))]
  5: ~(member(skc59,skf25(X0,skc59,skc60),skc60)), [shot(skc59,skf25(X0,skc59,skc60))], ssSkC0
  6: ~(member(skc59,skf14(skc60,skc59,X0),skc60)), [shot(skc59,skf14(skc60,skc59,X0))], ssSkC0
  7: [ssSkP1(skc61,skc60,skc59)], ssSkC0
  8: [agent(skc59,skf19(skc59,X0,X1),skf20(skc59,X1,X0))], ~(member(skc59,skf25(X2,skc59,skc60),skc60)), ~(
ssSkP1(skc61,skc60,skc59))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SZS status Satisfiable