%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 Gamma_1: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 Gamma_2: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 Gamma_3: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 Gamma_4: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 Gamma_5: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 Gamma_6: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 Gamma_7: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_8: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_9: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_10: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_11: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_12: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_13: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_14: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 Gamma_15: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_16: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_17: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_18: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_19: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_20: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_21: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_22: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_23: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_24: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_25: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 25: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_26: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 25: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 26: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 Gamma_27: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 25: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 26: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 27: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk15_3(esk7_0,esk8_0,esk9_0))], epred1_0 Gamma_28: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 25: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 26: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 27: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk15_3(esk7_0,esk8_0,esk9_0))], epred1_0 28: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0))], epred1_0 Gamma_29: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 25: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 26: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 27: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk15_3(esk7_0,esk8_0,esk9_0))], epred1_0 28: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0))], epred1_0 29: [man(esk7_0,esk13_3(esk7_0,esk8_0,esk9_0))], ~(shot(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0))), ~( male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~(group(esk7_0,esk9_0)), ~( actual_world(esk7_0)), epred1_0 Gamma_30: (extend-no-conflict) 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 25: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 26: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 27: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk15_3(esk7_0,esk8_0,esk9_0))], epred1_0 28: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0))], epred1_0 29: [man(esk7_0,esk13_3(esk7_0,esk8_0,esk9_0))], ~(shot(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0))), ~( male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~(group(esk7_0,esk9_0)), ~( actual_world(esk7_0)), epred1_0 30: [cannon(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0))], ~(shot(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0))), ~( male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~(group(esk7_0,esk9_0)), ~( actual_world(esk7_0)), epred1_0 0: [male(esk7_0,esk8_0)], epred1_0 1: [six(esk7_0,esk9_0)], epred1_0 2: [group(esk7_0,esk9_0)], epred1_0 3: [actual_world(esk7_0)], epred1_0 4: [of(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0),esk8_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 5: [member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)], member(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0),esk9_0), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 6: [member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)], man(esk7_0, esk13_3(esk7_0,esk8_0,esk9_0)), ~(male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~( group(esk7_0,esk9_0)), ~(actual_world(esk7_0)), epred1_0 7: [agent(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 8: [agent(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 9: [from_loc(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 10: [from_loc(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 11: [patient(esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk15_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 12: [patient(esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk16_3(esk7_0,esk8_0,esk9_0))], ~( member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 13: [of(esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 14: [of(esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)),esk8_0)], ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), epred1_0 15: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 16: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [man(esk7_0, esk10_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 17: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 18: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [cannon( esk7_0,esk11_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 19: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 20: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [event( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 21: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 22: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [present( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 23: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 24: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [nonreflexive( esk7_0,esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 25: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk15_3(esk7_0,esk8_0,esk9_0)))], epred1_0 26: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [fire(esk7_0, esk12_1(esk16_3(esk7_0,esk8_0,esk9_0)))], epred1_0 27: ~(member(esk7_0,esk15_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk15_3(esk7_0,esk8_0,esk9_0))], epred1_0 28: ~(member(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0),esk9_0)), [shot(esk7_0, esk16_3(esk7_0,esk8_0,esk9_0))], epred1_0 29: [man(esk7_0,esk13_3(esk7_0,esk8_0,esk9_0))], ~(shot(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0))), ~( male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~(group(esk7_0,esk9_0)), ~( actual_world(esk7_0)), epred1_0 30: [cannon(esk7_0,esk14_3(esk7_0,esk8_0,esk9_0))], ~(shot(esk7_0,esk16_3(esk7_0,esk8_0,esk9_0))), ~( male(esk7_0,esk8_0)), ~(six(esk7_0,esk9_0)), ~(group(esk7_0,esk9_0)), ~( actual_world(esk7_0)), epred1_0 SZS status Satisfiable