%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- not ground preserving Gamma_0: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) Gamma_1: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) Gamma_2: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) Gamma_3: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) Gamma_4: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 Gamma_5: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 Gamma_6: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) Gamma_7: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) Gamma_8: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) Gamma_9: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 Gamma_10: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 Gamma_11: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) Gamma_12: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_13: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_14: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_15: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_16: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_17: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_18: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_19: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_20: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) Gamma_21: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] Gamma_22: (right-split) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] Gamma_23: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: [from_loc(skc46,skf15(skc46,skf19(skc46,X0)),skf19(skc46,X0))], ~( of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_24: (right-split) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_25: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: [from_loc(skc46,skf15(skc46,skf12(skc46,X0)),skf12(skc46,X0))], ~( of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_26: (right-split) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_27: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: [patient(skc46,skf15(skc46,skf19(skc46,X0)),skf19(skc46,X0))], ~( of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_28: (right-split) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_29: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 25: [patient(skc46,skf15(skc46,skf12(skc46,X0)),skf12(skc46,X0))], ~( of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_30: (right-split) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 25: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) Gamma_31: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 25: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 26: [six(skc46,skc47)], ssSkC0 Gamma_32: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 25: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 26: [six(skc46,skc47)], ssSkC0 27: [group(skc46,skc47)], ssSkC0 Gamma_33: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 25: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 26: [six(skc46,skc47)], ssSkC0 27: [group(skc46,skc47)], ssSkC0 28: [actual_world(skc4)] Gamma_34: (extend-no-conflict) 0: [of(X0,skf19(X0,X1),X1)], ssSkP1( X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 25: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 26: [six(skc46,skc47)], ssSkC0 27: [group(skc46,skc47)], ssSkC0 28: [actual_world(skc4)] 29: [actual_world(skc46)] 0: [of(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 1: [member(X0,skf19(X0,X1),X1)], ssSkP1(X1,X0) 2: [member(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 3: [of(X0,skf12(X0,X1),X1)], ssSkP0(X1,X0) 4: ~(member(skc46,skf19(skc46,skc47),skc47)), [shot(skc46,skf19(skc46,skc47))], ssSkC0 5: ~(member(skc46,skf12(skc46,skc47),skc47)), [shot(skc46,skf12(skc46,skc47))], ssSkC0 6: [cannon(X0,skf19(X0,X1))], ssSkP1(X2,X0) 7: [man(X0,skf14(X0,X1))], ssSkP0(X2,X0) 8: [cannon(X0,skf12(X0,X1))], ssSkP0(X2,X0) 9: [male(skc46,skc47)], ssSkC0 10: [ssSkP1(skc47,skc46)], ssSkC0 11: [agent(skc46,skf15(skc46,X0),skf16(skc46,X0))], ~(of(skc46,skf19(skc46,skc47),skc47)), ~( member(skc46,skf19(skc46,skc47),skc47)), ~(cannon(skc46,skf19(skc46,skc47))), ~( ssSkP1(skc47,skc46)) 12: [from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 13: [from_loc(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 14: [patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))], ~( of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), ~( cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 15: [patient(skc46,skf15(skc46,skf12(skc46,skc47)),skf12(skc46,skc47))], ~( of(skc46,skf12(skc46,skc47),skc47)), ~(member(skc46,skf12(skc46,skc47),skc47)), ~( cannon(skc46,skf12(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 16: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [event( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 17: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [present( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 18: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [nonreflexive( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 19: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [fire( skc46,skf15(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 20: ~(of(skc46,skf19(skc46,skc47),skc47)), ~(member(skc46,skf19(skc46,skc47),skc47)), [man( skc46,skf16(skc46,X0))], ~(cannon(skc46,skf19(skc46,skc47))), ~(ssSkP1(skc47,skc46)) 21: top(X0) != skc47 | ~(agent(skc46,skf15(skc46,skf19(skc46,skc47)),skf16(skc46,skf19(skc46,skc47)))), ~( from_loc(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( patient(skc46,skf15(skc46,skf19(skc46,skc47)),skf19(skc46,skc47))), ~( event(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(present(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( nonreflexive(skc46,skf15(skc46,skf19(skc46,skc47)))), ~(fire(skc46,skf15(skc46,skf19(skc46,skc47)))), ~( man(skc46,skf16(skc46,skf19(skc46,skc47)))), [ssSkP1(X0,skc46)] 22: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 23: top(X0) != skc47 & top(X0) != skc47 | [from_loc(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 24: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf19(skc46,X0)), skf19(skc46,X0))], ~(of(skc46,skf19(skc46,X0),X0)), ~(member(skc46,skf19(skc46,X0),X0)), ~( cannon(skc46,skf19(skc46,X0))), ~(ssSkP1(X0,skc46)) 25: top(X0) != skc47 & top(X0) != skc47 | [patient(skc46,skf15(skc46,skf12(skc46,X0)), skf12(skc46,X0))], ~(of(skc46,skf12(skc46,X0),X0)), ~(member(skc46,skf12(skc46,X0),X0)), ~( cannon(skc46,skf12(skc46,X0))), ~(ssSkP1(X0,skc46)) 26: [six(skc46,skc47)], ssSkC0 27: [group(skc46,skc47)], ssSkC0 28: [actual_world(skc4)] 29: [actual_world(skc46)] SZS status Satisfiable