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