TSTP Solution File: NLP063+1 by Otter---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Otter---3.3
% Problem : NLP063+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : otter-tptp-script %s
% Computer : n012.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Wed Jul 27 13:06:39 EDT 2022
% Result : Timeout 299.85s 300.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.11 % Problem : NLP063+1 : TPTP v8.1.0. Released v2.4.0.
% 0.02/0.12 % Command : otter-tptp-script %s
% 0.12/0.33 % Computer : n012.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Wed Jul 27 08:45:20 EDT 2022
% 0.12/0.33 % CPUTime :
% 1.80/2.00 ----- Otter 3.3f, August 2004 -----
% 1.80/2.00 The process was started by sandbox on n012.cluster.edu,
% 1.80/2.00 Wed Jul 27 08:45:20 2022
% 1.80/2.00 The command was "./otter". The process ID is 11720.
% 1.80/2.00
% 1.80/2.00 set(prolog_style_variables).
% 1.80/2.00 set(auto).
% 1.80/2.00 dependent: set(auto1).
% 1.80/2.00 dependent: set(process_input).
% 1.80/2.00 dependent: clear(print_kept).
% 1.80/2.00 dependent: clear(print_new_demod).
% 1.80/2.00 dependent: clear(print_back_demod).
% 1.80/2.00 dependent: clear(print_back_sub).
% 1.80/2.00 dependent: set(control_memory).
% 1.80/2.00 dependent: assign(max_mem, 12000).
% 1.80/2.00 dependent: assign(pick_given_ratio, 4).
% 1.80/2.00 dependent: assign(stats_level, 1).
% 1.80/2.00 dependent: assign(max_seconds, 10800).
% 1.80/2.00 clear(print_given).
% 1.80/2.00
% 1.80/2.00 formula_list(usable).
% 1.80/2.00 -(-(-(((exists U (actual_world(U)& (exists V W (male(U,V)& (all X (member(U,X,W)-> (exists Y Z X1 (man(U,Y)&of(U,Z,V)&cannon(U,Z)&event(U,X1)&agent(U,X1,Y)&patient(U,X1,X)&present(U,X1)&nonreflexive(U,X1)&fire(U,X1)&from_loc(U,X1,Z)))))&six(U,W)&group(U,W)& (all X2 (member(U,X2,W)->shot(U,X2)))))))-> (exists X3 (actual_world(X3)& (exists X4 X5 (male(X3,X4)& (all X6 X7 X8 (man(X3,X6)&of(X3,X7,X4)&cannon(X3,X7)&member(X3,X8,X5)-> (exists X9 (event(X3,X9)&agent(X3,X9,X6)&patient(X3,X9,X8)&present(X3,X9)&nonreflexive(X3,X9)&fire(X3,X9)&from_loc(X3,X9,X7)))))&six(X3,X5)&group(X3,X5)& (all X10 (member(X3,X10,X5)->shot(X3,X10))))))))& ((exists X3 (actual_world(X3)& (exists X4 X5 (male(X3,X4)& (all X6 X7 X8 (man(X3,X6)&of(X3,X7,X4)&cannon(X3,X7)&member(X3,X8,X5)-> (exists X9 (event(X3,X9)&agent(X3,X9,X6)&patient(X3,X9,X8)&present(X3,X9)&nonreflexive(X3,X9)&fire(X3,X9)&from_loc(X3,X9,X7)))))&six(X3,X5)&group(X3,X5)& (all X10 (member(X3,X10,X5)->shot(X3,X10)))))))-> (exists U (actual_world(U)& (exists V W (male(U,V)& (all X (member(U,X,W)-> (exists Y Z X1 (man(U,Y)&of(U,Z,V)&cannon(U,Z)&event(U,X1)&agent(U,X1,Y)&patient(U,X1,X)&present(U,X1)&nonreflexive(U,X1)&fire(U,X1)&from_loc(U,X1,Z)))))&six(U,W)&group(U,W)& (all X2 (member(U,X2,W)->shot(U,X2))))))))))).
% 1.80/2.00 end_of_list.
% 1.80/2.00
% 1.80/2.00 -------> usable clausifies to:
% 1.80/2.00
% 1.80/2.00 list(usable).
% 1.80/2.00 0 [] actual_world($c3)|actual_world($c6).
% 1.80/2.00 0 [] actual_world($c3)|male($c6,$c5).
% 1.80/2.00 0 [] actual_world($c3)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] actual_world($c3)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] actual_world($c3)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] actual_world($c3)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] actual_world($c3)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] actual_world($c3)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] actual_world($c3)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] actual_world($c3)|six($c6,$c4).
% 1.80/2.00 0 [] actual_world($c3)|group($c6,$c4).
% 1.80/2.00 0 [] actual_world($c3)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] actual_world($c3)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] actual_world($c3)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] actual_world($c3)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] actual_world($c3)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] male($c3,$c2)|actual_world($c6).
% 1.80/2.00 0 [] male($c3,$c2)|male($c6,$c5).
% 1.80/2.00 0 [] male($c3,$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] male($c3,$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] male($c3,$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] male($c3,$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] male($c3,$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] male($c3,$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] male($c3,$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] male($c3,$c2)|six($c6,$c4).
% 1.80/2.00 0 [] male($c3,$c2)|group($c6,$c4).
% 1.80/2.00 0 [] male($c3,$c2)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] male($c3,$c2)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] male($c3,$c2)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] male($c3,$c2)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] male($c3,$c2)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|man($c3,$f3(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|of($c3,$f2(X),$c2)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|cannon($c3,$f2(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|event($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|agent($c3,$f1(X),$f3(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|patient($c3,$f1(X),X)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|present($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|nonreflexive($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|fire($c3,$f1(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X,$c1)|from_loc($c3,$f1(X),$f2(X))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] six($c3,$c1)|actual_world($c6).
% 1.80/2.00 0 [] six($c3,$c1)|male($c6,$c5).
% 1.80/2.00 0 [] six($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] six($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] six($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] six($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] six($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] six($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] six($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] six($c3,$c1)|six($c6,$c4).
% 1.80/2.00 0 [] six($c3,$c1)|group($c6,$c4).
% 1.80/2.00 0 [] six($c3,$c1)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] six($c3,$c1)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] six($c3,$c1)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] six($c3,$c1)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] six($c3,$c1)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] group($c3,$c1)|actual_world($c6).
% 1.80/2.00 0 [] group($c3,$c1)|male($c6,$c5).
% 1.80/2.00 0 [] group($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] group($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] group($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] group($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] group($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] group($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] group($c3,$c1)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] group($c3,$c1)|six($c6,$c4).
% 1.80/2.00 0 [] group($c3,$c1)|group($c6,$c4).
% 1.80/2.00 0 [] group($c3,$c1)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] group($c3,$c1)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] group($c3,$c1)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] group($c3,$c1)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] group($c3,$c1)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)|actual_world($c6).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)|male($c6,$c5).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)|six($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)|group($c6,$c4).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -member($c3,X2,$c1)|shot($c3,X2)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|actual_world($c6).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|male($c6,$c5).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|six($c6,$c4).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|group($c6,$c4).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|actual_world($c6).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|male($c6,$c5).
% 1.80/2.00 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|man(X3,$f6(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|of(X3,$f5(X3,X4,X5),X4)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|cannon(X3,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)|member(X3,$f4(X3,X4,X5),X5)| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)|member(X3,$f7(X3,X4,X5),X5)| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|actual_world($c6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|male($c6,$c5).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|event($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|agent($c6,$f8(X6,X7,X8),X6).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|patient($c6,$f8(X6,X7,X8),X8).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|present($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|nonreflexive($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|fire($c6,$f8(X6,X7,X8)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -man($c6,X6)| -of($c6,X7,$c5)| -cannon($c6,X7)| -member($c6,X8,$c4)|from_loc($c6,$f8(X6,X7,X8),X7).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|six($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))|group($c6,$c4).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -member($c6,X10,$c4)|shot($c6,X10).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)|member(U,$f9(U,V,W),W)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)|member(U,$f10(U,V,W),W).
% 1.80/2.01 0 [] -actual_world(X3)| -male(X3,X4)| -event(X3,X9)| -agent(X3,X9,$f6(X3,X4,X5))| -patient(X3,X9,$f4(X3,X4,X5))| -present(X3,X9)| -nonreflexive(X3,X9)| -fire(X3,X9)| -from_loc(X3,X9,$f5(X3,X4,X5))| -six(X3,X5)| -group(X3,X5)| -shot(X3,$f7(X3,X4,X5))| -actual_world(U)| -male(U,V)| -man(U,Y)| -of(U,Z,V)| -cannon(U,Z)| -event(U,X1)| -agent(U,X1,Y)| -patient(U,X1,$f9(U,V,W))| -present(U,X1)| -nonreflexive(U,X1)| -fire(U,X1)| -from_loc(U,X1,Z)| -six(U,W)| -group(U,W)| -shot(U,$f10(U,V,W)).
% 1.80/2.01 end_of_list.
% 1.80/2.01
% 1.80/2.01 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=27.
% 1.80/2.01
% 1.80/2.01 This is a non-Horn set without equality. The strategy will
% 1.80/2.01 be ordered hyper_res, unit deletion, and factoring, with
% 1.80/2.01 satellites in sos and with nuclei in usable.
% 1.80/2.01
% 1.80/2.01 dependent: set(hyper_res).
% 1.80/2.01 dependent: set(factor).
% 1.80/2.01 dependent: set(unit_deletion).
% 1.80/2.01
% 1.80/2.01 ------------> process usable:
% 1.80/2.01 ** KEPT (pick-wt=22): 1 [] actual_world($c3)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|event($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=23): 2 [] actual_world($c3)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|agent($c6,$f8(A,B,C),A).
% 1.80/2.01 ** KEPT (pick-wt=23): 3 [] actual_world($c3)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|patient($c6,$f8(A,B,C),C).
% 1.80/2.01 ** KEPT (pick-wt=22): 4 [] actual_world($c3)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|present($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=22): 5 [] actual_world($c3)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|nonreflexive($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=22): 6 [] actual_world($c3)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|fire($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=23): 7 [] actual_world($c3)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|from_loc($c6,$f8(A,B,C),B).
% 1.80/2.01 ** KEPT (pick-wt=9): 8 [] actual_world($c3)| -member($c6,A,$c4)|shot($c6,A).
% 1.80/2.01 ** KEPT (pick-wt=27): 9 [] actual_world($c3)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f10(A,B,C),C).
% 1.80/2.01 ** KEPT (pick-wt=26): 10 [] actual_world($c3)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f10(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=57): 11 [] actual_world($c3)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)|member(A,$f10(A,B,F),F).
% 1.80/2.01 ** KEPT (pick-wt=56): 12 [] actual_world($c3)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)| -shot(A,$f10(A,B,F)).
% 1.80/2.01 ** KEPT (pick-wt=23): 13 [] male($c3,$c2)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|event($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=24): 14 [] male($c3,$c2)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|agent($c6,$f8(A,B,C),A).
% 1.80/2.01 ** KEPT (pick-wt=24): 15 [] male($c3,$c2)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|patient($c6,$f8(A,B,C),C).
% 1.80/2.01 ** KEPT (pick-wt=23): 16 [] male($c3,$c2)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|present($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=23): 17 [] male($c3,$c2)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|nonreflexive($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=23): 18 [] male($c3,$c2)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|fire($c6,$f8(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=24): 19 [] male($c3,$c2)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|from_loc($c6,$f8(A,B,C),B).
% 1.80/2.01 ** KEPT (pick-wt=10): 20 [] male($c3,$c2)| -member($c6,A,$c4)|shot($c6,A).
% 1.80/2.01 ** KEPT (pick-wt=28): 21 [] male($c3,$c2)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f10(A,B,C),C).
% 1.80/2.01 ** KEPT (pick-wt=27): 22 [] male($c3,$c2)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f10(A,B,C)).
% 1.80/2.01 ** KEPT (pick-wt=58): 23 [] male($c3,$c2)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)|member(A,$f10(A,B,F),F).
% 1.80/2.01 ** KEPT (pick-wt=57): 24 [] male($c3,$c2)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)| -shot(A,$f10(A,B,F)).
% 1.80/2.01 ** KEPT (pick-wt=10): 25 [] -member($c3,A,$c1)|man($c3,$f3(A))|actual_world($c6).
% 1.80/2.01 ** KEPT (pick-wt=11): 26 [] -member($c3,A,$c1)|man($c3,$f3(A))|male($c6,$c5).
% 1.80/2.01 ** KEPT (pick-wt=28): 27 [] -member($c3,A,$c1)|man($c3,$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.01 ** KEPT (pick-wt=29): 28 [] -member($c3,A,$c1)|man($c3,$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.01 ** KEPT (pick-wt=29): 29 [] -member($c3,A,$c1)|man($c3,$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.01 ** KEPT (pick-wt=28): 30 [] -member($c3,A,$c1)|man($c3,$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.01 ** KEPT (pick-wt=28): 31 [] -member($c3,A,$c1)|man($c3,$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.01 ** KEPT (pick-wt=28): 32 [] -member($c3,A,$c1)|man($c3,$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.01 ** KEPT (pick-wt=29): 33 [] -member($c3,A,$c1)|man($c3,$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.01 ** KEPT (pick-wt=11): 34 [] -member($c3,A,$c1)|man($c3,$f3(A))|six($c6,$c4).
% 1.80/2.01 ** KEPT (pick-wt=11): 35 [] -member($c3,A,$c1)|man($c3,$f3(A))|group($c6,$c4).
% 1.80/2.01 ** KEPT (pick-wt=15): 36 [] -member($c3,A,$c1)|man($c3,$f3(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.01 ** KEPT (pick-wt=33): 37 [] -member($c3,A,$c1)|man($c3,$f3(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.01 ** KEPT (pick-wt=32): 38 [] -member($c3,A,$c1)|man($c3,$f3(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.01 ** KEPT (pick-wt=63): 39 [] -member($c3,A,$c1)|man($c3,$f3(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=62): 40 [] -member($c3,A,$c1)|man($c3,$f3(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=11): 41 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=12): 42 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=29): 43 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 44 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=30): 45 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=29): 46 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 47 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 48 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 49 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=12): 50 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=12): 51 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=16): 52 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=34): 53 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=33): 54 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=64): 55 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=63): 56 [] -member($c3,A,$c1)|of($c3,$f2(A),$c2)| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=10): 57 [] -member($c3,A,$c1)|cannon($c3,$f2(A))|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=11): 58 [] -member($c3,A,$c1)|cannon($c3,$f2(A))|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=28): 59 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 60 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=29): 61 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=28): 62 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 63 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 64 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 65 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=11): 66 [] -member($c3,A,$c1)|cannon($c3,$f2(A))|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=11): 67 [] -member($c3,A,$c1)|cannon($c3,$f2(A))|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=15): 68 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=33): 69 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=32): 70 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=63): 71 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=62): 72 [] -member($c3,A,$c1)|cannon($c3,$f2(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=10): 73 [] -member($c3,A,$c1)|event($c3,$f1(A))|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=11): 74 [] -member($c3,A,$c1)|event($c3,$f1(A))|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=28): 75 [] -member($c3,A,$c1)|event($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 76 [] -member($c3,A,$c1)|event($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=29): 77 [] -member($c3,A,$c1)|event($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=28): 78 [] -member($c3,A,$c1)|event($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 79 [] -member($c3,A,$c1)|event($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 80 [] -member($c3,A,$c1)|event($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 81 [] -member($c3,A,$c1)|event($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=11): 82 [] -member($c3,A,$c1)|event($c3,$f1(A))|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=11): 83 [] -member($c3,A,$c1)|event($c3,$f1(A))|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=15): 84 [] -member($c3,A,$c1)|event($c3,$f1(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=33): 85 [] -member($c3,A,$c1)|event($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=32): 86 [] -member($c3,A,$c1)|event($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=63): 87 [] -member($c3,A,$c1)|event($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=62): 88 [] -member($c3,A,$c1)|event($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=12): 89 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=13): 90 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=30): 91 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=31): 92 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=31): 93 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=30): 94 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 95 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 96 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=31): 97 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=13): 98 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=13): 99 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=17): 100 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=35): 101 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=34): 102 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=65): 103 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=64): 104 [] -member($c3,A,$c1)|agent($c3,$f1(A),$f3(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=11): 105 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=12): 106 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=29): 107 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 108 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=30): 109 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=29): 110 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 111 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 112 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 113 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=12): 114 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=12): 115 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=16): 116 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=34): 117 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=33): 118 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=64): 119 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=63): 120 [] -member($c3,A,$c1)|patient($c3,$f1(A),A)| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=10): 121 [] -member($c3,A,$c1)|present($c3,$f1(A))|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=11): 122 [] -member($c3,A,$c1)|present($c3,$f1(A))|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=28): 123 [] -member($c3,A,$c1)|present($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 124 [] -member($c3,A,$c1)|present($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=29): 125 [] -member($c3,A,$c1)|present($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=28): 126 [] -member($c3,A,$c1)|present($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 127 [] -member($c3,A,$c1)|present($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 128 [] -member($c3,A,$c1)|present($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 129 [] -member($c3,A,$c1)|present($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=11): 130 [] -member($c3,A,$c1)|present($c3,$f1(A))|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=11): 131 [] -member($c3,A,$c1)|present($c3,$f1(A))|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=15): 132 [] -member($c3,A,$c1)|present($c3,$f1(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=33): 133 [] -member($c3,A,$c1)|present($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=32): 134 [] -member($c3,A,$c1)|present($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=63): 135 [] -member($c3,A,$c1)|present($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=62): 136 [] -member($c3,A,$c1)|present($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=10): 137 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=11): 138 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=28): 139 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 140 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=29): 141 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=28): 142 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 143 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 144 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 145 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=11): 146 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=11): 147 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=15): 148 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=33): 149 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=32): 150 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=63): 151 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=62): 152 [] -member($c3,A,$c1)|nonreflexive($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=10): 153 [] -member($c3,A,$c1)|fire($c3,$f1(A))|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=11): 154 [] -member($c3,A,$c1)|fire($c3,$f1(A))|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=28): 155 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 156 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=29): 157 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=28): 158 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 159 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=28): 160 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=29): 161 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.02 ** KEPT (pick-wt=11): 162 [] -member($c3,A,$c1)|fire($c3,$f1(A))|six($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=11): 163 [] -member($c3,A,$c1)|fire($c3,$f1(A))|group($c6,$c4).
% 1.80/2.02 ** KEPT (pick-wt=15): 164 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.02 ** KEPT (pick-wt=33): 165 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=32): 166 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=63): 167 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.02 ** KEPT (pick-wt=62): 168 [] -member($c3,A,$c1)|fire($c3,$f1(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.02 ** KEPT (pick-wt=12): 169 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))|actual_world($c6).
% 1.80/2.02 ** KEPT (pick-wt=13): 170 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))|male($c6,$c5).
% 1.80/2.02 ** KEPT (pick-wt=30): 171 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=31): 172 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.02 ** KEPT (pick-wt=31): 173 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.02 ** KEPT (pick-wt=30): 174 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 175 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.02 ** KEPT (pick-wt=30): 176 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.03 ** KEPT (pick-wt=31): 177 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.03 ** KEPT (pick-wt=13): 178 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))|six($c6,$c4).
% 1.80/2.03 ** KEPT (pick-wt=13): 179 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))|group($c6,$c4).
% 1.80/2.03 ** KEPT (pick-wt=17): 180 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.03 ** KEPT (pick-wt=35): 181 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.03 ** KEPT (pick-wt=34): 182 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.03 ** KEPT (pick-wt=65): 183 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.03 ** KEPT (pick-wt=64): 184 [] -member($c3,A,$c1)|from_loc($c3,$f1(A),$f2(A))| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.03 ** KEPT (pick-wt=23): 185 [] six($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|event($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=24): 186 [] six($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|agent($c6,$f8(A,B,C),A).
% 1.80/2.03 ** KEPT (pick-wt=24): 187 [] six($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|patient($c6,$f8(A,B,C),C).
% 1.80/2.03 ** KEPT (pick-wt=23): 188 [] six($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|present($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=23): 189 [] six($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|nonreflexive($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=23): 190 [] six($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|fire($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=24): 191 [] six($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|from_loc($c6,$f8(A,B,C),B).
% 1.80/2.03 ** KEPT (pick-wt=10): 192 [] six($c3,$c1)| -member($c6,A,$c4)|shot($c6,A).
% 1.80/2.03 ** KEPT (pick-wt=28): 193 [] six($c3,$c1)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f10(A,B,C),C).
% 1.80/2.03 ** KEPT (pick-wt=27): 194 [] six($c3,$c1)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f10(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=58): 195 [] six($c3,$c1)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)|member(A,$f10(A,B,F),F).
% 1.80/2.03 ** KEPT (pick-wt=57): 196 [] six($c3,$c1)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)| -shot(A,$f10(A,B,F)).
% 1.80/2.03 ** KEPT (pick-wt=23): 197 [] group($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|event($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=24): 198 [] group($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|agent($c6,$f8(A,B,C),A).
% 1.80/2.03 ** KEPT (pick-wt=24): 199 [] group($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|patient($c6,$f8(A,B,C),C).
% 1.80/2.03 ** KEPT (pick-wt=23): 200 [] group($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|present($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=23): 201 [] group($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|nonreflexive($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=23): 202 [] group($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|fire($c6,$f8(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=24): 203 [] group($c3,$c1)| -man($c6,A)| -of($c6,B,$c5)| -cannon($c6,B)| -member($c6,C,$c4)|from_loc($c6,$f8(A,B,C),B).
% 1.80/2.03 ** KEPT (pick-wt=10): 204 [] group($c3,$c1)| -member($c6,A,$c4)|shot($c6,A).
% 1.80/2.03 ** KEPT (pick-wt=28): 205 [] group($c3,$c1)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f10(A,B,C),C).
% 1.80/2.03 ** KEPT (pick-wt=27): 206 [] group($c3,$c1)| -actual_world(A)| -male(A,B)|member(A,$f9(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f10(A,B,C)).
% 1.80/2.03 ** KEPT (pick-wt=58): 207 [] group($c3,$c1)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)|member(A,$f10(A,B,F),F).
% 1.80/2.03 ** KEPT (pick-wt=57): 208 [] group($c3,$c1)| -actual_world(A)| -male(A,B)| -man(A,C)| -of(A,D,B)| -cannon(A,D)| -event(A,E)| -agent(A,E,C)| -patient(A,E,$f9(A,B,F))| -present(A,E)| -nonreflexive(A,E)| -fire(A,E)| -from_loc(A,E,D)| -six(A,F)| -group(A,F)| -shot(A,$f10(A,B,F)).
% 1.80/2.03 ** KEPT (pick-wt=9): 209 [] -member($c3,A,$c1)|shot($c3,A)|actual_world($c6).
% 1.80/2.03 ** KEPT (pick-wt=10): 210 [] -member($c3,A,$c1)|shot($c3,A)|male($c6,$c5).
% 1.80/2.03 ** KEPT (pick-wt=27): 211 [] -member($c3,A,$c1)|shot($c3,A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|event($c6,$f8(B,C,D)).
% 1.80/2.03 ** KEPT (pick-wt=28): 212 [] -member($c3,A,$c1)|shot($c3,A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|agent($c6,$f8(B,C,D),B).
% 1.80/2.03 ** KEPT (pick-wt=28): 213 [] -member($c3,A,$c1)|shot($c3,A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|patient($c6,$f8(B,C,D),D).
% 1.80/2.03 ** KEPT (pick-wt=27): 214 [] -member($c3,A,$c1)|shot($c3,A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|present($c6,$f8(B,C,D)).
% 1.80/2.03 ** KEPT (pick-wt=27): 215 [] -member($c3,A,$c1)|shot($c3,A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|nonreflexive($c6,$f8(B,C,D)).
% 1.80/2.03 ** KEPT (pick-wt=27): 216 [] -member($c3,A,$c1)|shot($c3,A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|fire($c6,$f8(B,C,D)).
% 1.80/2.03 ** KEPT (pick-wt=28): 217 [] -member($c3,A,$c1)|shot($c3,A)| -man($c6,B)| -of($c6,C,$c5)| -cannon($c6,C)| -member($c6,D,$c4)|from_loc($c6,$f8(B,C,D),C).
% 1.80/2.03 ** KEPT (pick-wt=10): 218 [] -member($c3,A,$c1)|shot($c3,A)|six($c6,$c4).
% 1.80/2.03 ** KEPT (pick-wt=10): 219 [] -member($c3,A,$c1)|shot($c3,A)|group($c6,$c4).
% 1.80/2.03 ** KEPT (pick-wt=14): 220 [] -member($c3,A,$c1)|shot($c3,A)| -member($c6,B,$c4)|shot($c6,B).
% 1.80/2.03 ** KEPT (pick-wt=32): 221 [] -member($c3,A,$c1)|shot($c3,A)| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)|member(B,$f10(B,C,D),D).
% 1.80/2.03 ** KEPT (pick-wt=31): 222 [] -member($c3,A,$c1)|shot($c3,A)| -actual_world(B)| -male(B,C)|member(B,$f9(B,C,D),D)| -six(B,D)| -group(B,D)| -shot(B,$f10(B,C,D)).
% 1.80/2.03 ** KEPT (pick-wt=62): 223 [] -member($c3,A,$c1)|shot($c3,A)| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)|member(B,$f10(B,C,G),G).
% 1.80/2.03 ** KEPT (pick-wt=61): 224 [] -member($c3,A,$c1)|shot($c3,A)| -actual_world(B)| -male(B,C)| -man(B,D)| -of(B,E,C)| -cannon(B,E)| -event(B,F)| -agent(B,F,D)| -patient(B,F,$f9(B,C,G))| -present(B,F)| -nonreflexive(B,F)| -fire(B,F)| -from_loc(B,F,E)| -six(B,G)| -group(B,G)| -shot(B,$f10(B,C,G)).
% 1.80/2.03 ** KEPT (pick-wt=26): 225 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|actual_world($c6).
% 1.80/2.03 ** KEPT (pick-wt=27): 226 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|male($c6,$c5).
% 1.80/2.03 ** KEPT (pick-wt=44): 227 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.03 ** KEPT (pick-wt=45): 228 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.03 ** KEPT (pick-wt=45): 229 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.03 ** KEPT (pick-wt=44): 230 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.03 ** KEPT (pick-wt=44): 231 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.03 ** KEPT (pick-wt=44): 232 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.03 ** KEPT (pick-wt=45): 233 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.03 ** KEPT (pick-wt=27): 234 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|six($c6,$c4).
% 1.80/2.03 ** KEPT (pick-wt=27): 235 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|group($c6,$c4).
% 1.80/2.03 ** KEPT (pick-wt=31): 236 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.03 ** KEPT (pick-wt=49): 237 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.03 ** KEPT (pick-wt=48): 238 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.03 ** KEPT (pick-wt=79): 239 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.03 ** KEPT (pick-wt=78): 240 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.03 ** KEPT (pick-wt=25): 241 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|actual_world($c6).
% 1.80/2.03 ** KEPT (pick-wt=26): 242 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|male($c6,$c5).
% 1.80/2.03 ** KEPT (pick-wt=43): 243 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.03 ** KEPT (pick-wt=44): 244 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.03 ** KEPT (pick-wt=44): 245 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.03 ** KEPT (pick-wt=43): 246 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.03 ** KEPT (pick-wt=43): 247 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=43): 248 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=44): 249 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.04 ** KEPT (pick-wt=26): 250 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|six($c6,$c4).
% 1.80/2.04 ** KEPT (pick-wt=26): 251 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|group($c6,$c4).
% 1.80/2.04 ** KEPT (pick-wt=30): 252 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.04 ** KEPT (pick-wt=48): 253 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.04 ** KEPT (pick-wt=47): 254 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=78): 255 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.04 ** KEPT (pick-wt=77): 256 [] -actual_world(A)| -male(A,B)|man(A,$f6(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.04 ** KEPT (pick-wt=27): 257 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|actual_world($c6).
% 1.80/2.04 ** KEPT (pick-wt=28): 258 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|male($c6,$c5).
% 1.80/2.04 ** KEPT (pick-wt=45): 259 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=46): 260 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.04 ** KEPT (pick-wt=46): 261 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.04 ** KEPT (pick-wt=45): 262 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=45): 263 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=45): 264 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=46): 265 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.04 ** KEPT (pick-wt=28): 266 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|six($c6,$c4).
% 1.80/2.04 ** KEPT (pick-wt=28): 267 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|group($c6,$c4).
% 1.80/2.04 ** KEPT (pick-wt=32): 268 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.04 ** KEPT (pick-wt=50): 269 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.04 ** KEPT (pick-wt=49): 270 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=80): 271 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.04 ** KEPT (pick-wt=79): 272 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.04 ** KEPT (pick-wt=26): 273 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|actual_world($c6).
% 1.80/2.04 ** KEPT (pick-wt=27): 274 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|male($c6,$c5).
% 1.80/2.04 ** KEPT (pick-wt=44): 275 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=45): 276 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.04 ** KEPT (pick-wt=45): 277 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.04 ** KEPT (pick-wt=44): 278 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=44): 279 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=44): 280 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=45): 281 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.04 ** KEPT (pick-wt=27): 282 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|six($c6,$c4).
% 1.80/2.04 ** KEPT (pick-wt=27): 283 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|group($c6,$c4).
% 1.80/2.04 ** KEPT (pick-wt=31): 284 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.04 ** KEPT (pick-wt=49): 285 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.04 ** KEPT (pick-wt=48): 286 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.04 ** KEPT (pick-wt=79): 287 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.05 ** KEPT (pick-wt=78): 288 [] -actual_world(A)| -male(A,B)|of(A,$f5(A,B,C),B)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.05 ** KEPT (pick-wt=26): 289 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|actual_world($c6).
% 1.80/2.05 ** KEPT (pick-wt=27): 290 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|male($c6,$c5).
% 1.80/2.05 ** KEPT (pick-wt=44): 291 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=45): 292 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.05 ** KEPT (pick-wt=45): 293 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.05 ** KEPT (pick-wt=44): 294 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=44): 295 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=44): 296 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=45): 297 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.05 ** KEPT (pick-wt=27): 298 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|six($c6,$c4).
% 1.80/2.05 ** KEPT (pick-wt=27): 299 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|group($c6,$c4).
% 1.80/2.05 ** KEPT (pick-wt=31): 300 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.05 ** KEPT (pick-wt=49): 301 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.05 ** KEPT (pick-wt=48): 302 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=79): 303 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.05 ** KEPT (pick-wt=78): 304 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.05 ** KEPT (pick-wt=25): 305 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|actual_world($c6).
% 1.80/2.05 ** KEPT (pick-wt=26): 306 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|male($c6,$c5).
% 1.80/2.05 ** KEPT (pick-wt=43): 307 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=44): 308 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.05 ** KEPT (pick-wt=44): 309 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.05 ** KEPT (pick-wt=43): 310 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=43): 311 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=43): 312 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=44): 313 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.05 ** KEPT (pick-wt=26): 314 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|six($c6,$c4).
% 1.80/2.05 ** KEPT (pick-wt=26): 315 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|group($c6,$c4).
% 1.80/2.05 ** KEPT (pick-wt=30): 316 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.05 ** KEPT (pick-wt=48): 317 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.05 ** KEPT (pick-wt=47): 318 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=78): 319 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.05 ** KEPT (pick-wt=77): 320 [] -actual_world(A)| -male(A,B)|cannon(A,$f5(A,B,C))| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.05 ** KEPT (pick-wt=27): 321 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|actual_world($c6).
% 1.80/2.05 ** KEPT (pick-wt=28): 322 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|male($c6,$c5).
% 1.80/2.05 ** KEPT (pick-wt=45): 323 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.05 ** KEPT (pick-wt=46): 324 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.05 ** KEPT (pick-wt=46): 325 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.06 ** KEPT (pick-wt=45): 326 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.06 ** KEPT (pick-wt=45): 327 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.06 ** KEPT (pick-wt=45): 328 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.06 ** KEPT (pick-wt=46): 329 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.06 ** KEPT (pick-wt=28): 330 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|six($c6,$c4).
% 1.80/2.06 ** KEPT (pick-wt=28): 331 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)|group($c6,$c4).
% 1.80/2.06 ** KEPT (pick-wt=32): 332 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.06 ** KEPT (pick-wt=50): 333 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.06 ** KEPT (pick-wt=49): 334 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.06 ** KEPT (pick-wt=80): 335 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.06 ** KEPT (pick-wt=79): 336 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)|member(A,$f7(A,B,C),C)| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.06 ** KEPT (pick-wt=26): 337 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|actual_world($c6).
% 1.80/2.06 ** KEPT (pick-wt=27): 338 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|male($c6,$c5).
% 1.80/2.06 ** KEPT (pick-wt=44): 339 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|event($c6,$f8(D,E,F)).
% 1.80/2.06 ** KEPT (pick-wt=45): 340 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|agent($c6,$f8(D,E,F),D).
% 1.80/2.06 ** KEPT (pick-wt=45): 341 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|patient($c6,$f8(D,E,F),F).
% 1.80/2.06 ** KEPT (pick-wt=44): 342 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|present($c6,$f8(D,E,F)).
% 1.80/2.06 ** KEPT (pick-wt=44): 343 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|nonreflexive($c6,$f8(D,E,F)).
% 1.80/2.06 ** KEPT (pick-wt=44): 344 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|fire($c6,$f8(D,E,F)).
% 1.80/2.07 ** KEPT (pick-wt=45): 345 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -man($c6,D)| -of($c6,E,$c5)| -cannon($c6,E)| -member($c6,F,$c4)|from_loc($c6,$f8(D,E,F),E).
% 1.80/2.07 ** KEPT (pick-wt=27): 346 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|six($c6,$c4).
% 1.80/2.07 ** KEPT (pick-wt=27): 347 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))|group($c6,$c4).
% 1.80/2.07 ** KEPT (pick-wt=31): 348 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -member($c6,D,$c4)|shot($c6,D).
% 1.80/2.07 ** KEPT (pick-wt=49): 349 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)|member(D,$f10(D,E,F),F).
% 1.80/2.07 ** KEPT (pick-wt=48): 350 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)|member(D,$f9(D,E,F),F)| -six(D,F)| -group(D,F)| -shot(D,$f10(D,E,F)).
% 1.80/2.07 ** KEPT (pick-wt=79): 351 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)|member(D,$f10(D,E,I),I).
% 1.80/2.07 ** KEPT (pick-wt=78): 352 [] -actual_world(A)| -male(A,B)|member(A,$f4(A,B,C),C)| -six(A,C)| -group(A,C)| -shot(A,$f7(A,B,C))| -actual_world(D)| -male(D,E)| -man(D,F)| -of(D,G,E)| -cannon(D,G)| -event(D,H)| -agent(D,H,F)| -patient(D,H,$f9(D,E,I))| -present(D,H)| -nonreflexive(D,H)| -fire(D,H)| -from_loc(D,H,G)| -six(D,I)| -group(D,I)| -shot(D,$f10(D,E,I)).
% 1.80/2.07 ** KEPT (pick-wt=53): 353 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)|actual_world($c6).
% 1.80/2.07 ** KEPT (pick-wt=54): 354 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)|male($c6,$c5).
% 1.80/2.07 ** KEPT (pick-wt=71): 355 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|event($c6,$f8(E,F,G)).
% 1.80/2.07 ** KEPT (pick-wt=72): 356 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|agent($c6,$f8(E,F,G),E).
% 1.80/2.07 ** KEPT (pick-wt=72): 357 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|patient($c6,$f8(E,F,G),G).
% 1.80/2.07 ** KEPT (pick-wt=71): 358 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|present($c6,$f8(E,F,G)).
% 1.80/2.07 ** KEPT (pick-wt=71): 359 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|nonreflexive($c6,$f8(E,F,G)).
% 1.89/2.07 ** KEPT (pick-wt=71): 360 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|fire($c6,$f8(E,F,G)).
% 1.89/2.07 ** KEPT (pick-wt=72): 361 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|from_loc($c6,$f8(E,F,G),F).
% 1.89/2.07 ** KEPT (pick-wt=54): 362 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)|six($c6,$c4).
% 1.89/2.07 ** KEPT (pick-wt=54): 363 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)|group($c6,$c4).
% 1.89/2.07 ** KEPT (pick-wt=58): 364 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -member($c6,E,$c4)|shot($c6,E).
% 1.89/2.07 ** KEPT (pick-wt=76): 365 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -actual_world(E)| -male(E,F)|member(E,$f9(E,F,G),G)| -six(E,G)| -group(E,G)|member(E,$f10(E,F,G),G).
% 1.89/2.07 ** KEPT (pick-wt=75): 366 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -actual_world(E)| -male(E,F)|member(E,$f9(E,F,G),G)| -six(E,G)| -group(E,G)| -shot(E,$f10(E,F,G)).
% 1.89/2.07 ** KEPT (pick-wt=106): 367 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -actual_world(E)| -male(E,F)| -man(E,G)| -of(E,H,F)| -cannon(E,H)| -event(E,I)| -agent(E,I,G)| -patient(E,I,$f9(E,F,J))| -present(E,I)| -nonreflexive(E,I)| -fire(E,I)| -from_loc(E,I,H)| -six(E,J)| -group(E,J)|member(E,$f10(E,F,J),J).
% 1.89/2.07 ** KEPT (pick-wt=105): 368 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)|member(A,$f7(A,B,D),D)| -actual_world(E)| -male(E,F)| -man(E,G)| -of(E,H,F)| -cannon(E,H)| -event(E,I)| -agent(E,I,G)| -patient(E,I,$f9(E,F,J))| -present(E,I)| -nonreflexive(E,I)| -fire(E,I)| -from_loc(E,I,H)| -six(E,J)| -group(E,J)| -shot(E,$f10(E,F,J)).
% 1.89/2.07 ** KEPT (pick-wt=52): 369 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))|actual_world($c6).
% 1.89/2.07 ** KEPT (pick-wt=53): 370 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))|male($c6,$c5).
% 1.89/2.07 ** KEPT (pick-wt=70): 371 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|event($c6,$f8(E,F,G)).
% 1.89/2.07 ** KEPT (pick-wt=71): 372 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|agent($c6,$f8(E,F,G),E).
% 2.21/2.41 ** KEPT (pick-wt=71): 373 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|patient($c6,$f8(E,F,G),G).
% 2.21/2.41 ** KEPT (pick-wt=70): 374 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|present($c6,$f8(E,F,G)).
% 2.21/2.41 ** KEPT (pick-wt=70): 375 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|nonreflexive($c6,$f8(E,F,G)).
% 2.21/2.41 ** KEPT (pick-wt=70): 376 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|fire($c6,$f8(E,F,G)).
% 2.21/2.41 ** KEPT (pick-wt=71): 377 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -man($c6,E)| -of($c6,F,$c5)| -cannon($c6,F)| -member($c6,G,$c4)|from_loc($c6,$f8(E,F,G),F).
% 2.21/2.41 ** KEPT (pick-wt=53): 378 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))|six($c6,$c4).
% 2.21/2.41 ** KEPT (pick-wt=53): 379 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))|group($c6,$c4).
% 2.21/2.41 ** KEPT (pick-wt=57): 380 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -member($c6,E,$c4)|shot($c6,E).
% 2.21/2.41 ** KEPT (pick-wt=75): 381 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -actual_world(E)| -male(E,F)|member(E,$f9(E,F,G),G)| -six(E,G)| -group(E,G)|member(E,$f10(E,F,G),G).
% 2.21/2.41 ** KEPT (pick-wt=74): 382 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -actual_world(E)| -male(E,F)|member(E,$f9(E,F,G),G)| -six(E,G)| -group(E,G)| -shot(E,$f10(E,F,G)).
% 2.21/2.41 ** KEPT (pick-wt=105): 383 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -actual_world(E)| -male(E,F)| -man(E,G)| -of(E,H,F)| -cannon(E,H)| -event(E,I)| -agent(E,I,G)| -patient(E,I,$f9(E,F,J))| -present(E,I)| -nonreflexive(E,I)| -fire(E,I)| -from_loc(E,I,H)| -six(E,J)| -group(E,J)|member(E,$f10(E,F,J),J).
% 2.21/2.41 ** KEPT (pick-wt=104): 384 [] -actual_world(A)| -male(A,B)| -event(A,C)| -agent(A,C,$f6(A,B,D))| -patient(A,C,$f4(A,B,D))| -present(A,C)| -nonreflexive(A,C)| -fire(A,C)| -from_loc(A,C,$f5(A,B,D))| -six(A,D)| -group(A,D)| -shot(A,$f7(A,B,D))| -actual_world(E)| -male(E,F)| -man(E,G)| Alarm clock
% 299.85/300.03 Otter interrupted
% 299.85/300.03 PROOF NOT FOUND
%------------------------------------------------------------------------------