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

------ Parsing...successful


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SZS status Satisfiable