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