%------------------------------------------------------------------------------
% File     : Prover9---1109a
% Problem  : NLP117+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : tptp2X_and_run_prover9 %d %s

% Computer : n014.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  : 600s
% DateTime : Mon Jul 18 05:06:56 EDT 2022

% Result   : Theorem 1.06s 1.35s
% Output   : Refutation 1.11s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12  % Problem  : NLP117+1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.13  % Command  : tptp2X_and_run_prover9 %d %s
% 0.13/0.34  % Computer : n014.cluster.edu
% 0.13/0.34  % Model    : x86_64 x86_64
% 0.13/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34  % Memory   : 8042.1875MB
% 0.13/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34  % CPULimit : 300
% 0.13/0.34  % WCLimit  : 600
% 0.13/0.34  % DateTime : Fri Jul  1 09:32:26 EDT 2022
% 0.13/0.34  % CPUTime  : 
% 0.74/1.04  ============================== Prover9 ===============================
% 0.74/1.04  Prover9 (32) version 2009-11A, November 2009.
% 0.74/1.04  Process 25412 was started by sandbox on n014.cluster.edu,
% 0.74/1.04  Fri Jul  1 09:32:26 2022
% 0.74/1.04  The command was "/export/starexec/sandbox/solver/bin/prover9 -t 300 -f /tmp/Prover9_25259_n014.cluster.edu".
% 0.74/1.04  ============================== end of head ===========================
% 0.74/1.04  
% 0.74/1.04  ============================== INPUT =================================
% 0.74/1.04  
% 0.74/1.04  % Reading from file /tmp/Prover9_25259_n014.cluster.edu
% 0.74/1.04  
% 0.74/1.04  set(prolog_style_variables).
% 0.74/1.04  set(auto2).
% 0.74/1.04      % set(auto2) -> set(auto).
% 0.74/1.04      % set(auto) -> set(auto_inference).
% 0.74/1.04      % set(auto) -> set(auto_setup).
% 0.74/1.04      % set(auto_setup) -> set(predicate_elim).
% 0.74/1.04      % set(auto_setup) -> assign(eq_defs, unfold).
% 0.74/1.04      % set(auto) -> set(auto_limits).
% 0.74/1.04      % set(auto_limits) -> assign(max_weight, "100.000").
% 0.74/1.04      % set(auto_limits) -> assign(sos_limit, 20000).
% 0.74/1.04      % set(auto) -> set(auto_denials).
% 0.74/1.04      % set(auto) -> set(auto_process).
% 0.74/1.04      % set(auto2) -> assign(new_constants, 1).
% 0.74/1.04      % set(auto2) -> assign(fold_denial_max, 3).
% 0.74/1.04      % set(auto2) -> assign(max_weight, "200.000").
% 0.74/1.04      % set(auto2) -> assign(max_hours, 1).
% 0.74/1.04      % assign(max_hours, 1) -> assign(max_seconds, 3600).
% 0.74/1.04      % set(auto2) -> assign(max_seconds, 0).
% 0.74/1.04      % set(auto2) -> assign(max_minutes, 5).
% 0.74/1.04      % assign(max_minutes, 5) -> assign(max_seconds, 300).
% 0.74/1.04      % set(auto2) -> set(sort_initial_sos).
% 0.74/1.04      % set(auto2) -> assign(sos_limit, -1).
% 0.74/1.04      % set(auto2) -> assign(lrs_ticks, 3000).
% 0.74/1.04      % set(auto2) -> assign(max_megs, 400).
% 0.74/1.04      % set(auto2) -> assign(stats, some).
% 0.74/1.04      % set(auto2) -> clear(echo_input).
% 0.74/1.04      % set(auto2) -> set(quiet).
% 0.74/1.04      % set(auto2) -> clear(print_initial_clauses).
% 0.74/1.04      % set(auto2) -> clear(print_given).
% 0.74/1.04  assign(lrs_ticks,-1).
% 0.74/1.04  assign(sos_limit,10000).
% 0.74/1.04  assign(order,kbo).
% 0.74/1.04  set(lex_order_vars).
% 0.74/1.04  clear(print_given).
% 0.74/1.04  
% 0.74/1.04  % formulas(sos).  % not echoed (1 formulas)
% 0.74/1.04  
% 0.74/1.04  ============================== end of input ==========================
% 0.74/1.04  
% 0.74/1.04  % From the command line: assign(max_seconds, 300).
% 0.74/1.04  
% 0.74/1.04  ============================== PROCESS NON-CLAUSAL FORMULAS ==========
% 0.74/1.04  
% 0.74/1.04  % Formulas that are not ordinary clauses:
% 0.74/1.04  1 ---(((exists U (actual_world(U) & (exists V exists W exists X exists Y exists Z (of(U,W,V) & city(U,V) & hollywood_placename(U,W) & placename(U,W) & chevy(U,X) & white(U,X) & dirty(U,X) & old(U,X) & street(U,Y) & lonely(U,Y) & event(U,Z) & agent(U,Z,X) & present(U,Z) & barrel(U,Z) & down(U,Z,Y) & in(U,Z,V))))) -> (exists X1 (actual_world(X1) & (exists X2 exists X3 exists X4 exists X5 exists X6 (of(X1,X3,X2) & city(X1,X2) & hollywood_placename(X1,X3) & placename(X1,X3) & street(X1,X4) & lonely(X1,X4) & chevy(X1,X5) & white(X1,X5) & dirty(X1,X5) & old(X1,X5) & event(X1,X6) & agent(X1,X6,X5) & present(X1,X6) & barrel(X1,X6) & down(X1,X6,X4) & in(X1,X6,X2)))))) & ((exists X1 (actual_world(X1) & (exists X2 exists X3 exists X4 exists X5 exists X6 (of(X1,X3,X2) & city(X1,X2) & hollywood_placename(X1,X3) & placename(X1,X3) & street(X1,X4) & lonely(X1,X4) & chevy(X1,X5) & white(X1,X5) & dirty(X1,X5) & old(X1,X5) & event(X1,X6) & agent(X1,X6,X5) & present(X1,X6) & barrel(X1,X6) & down(X1,X6,X4) & in(X1,X6,X2))))) -> (exists U (actual_world(U) & (exists V exists W exists X exists Y exists Z (of(U,W,V) & city(U,V) & hollywood_placename(U,W) & placename(U,W) & chevy(U,X) & white(U,X) & dirty(U,X) & old(U,X) & street(U,Y) & lonely(U,Y) & event(U,Z) & agent(U,Z,X) & present(U,Z) & barrel(U,Z) & down(U,Z,Y) & in(U,Z,V))))))) # label(co1) # label(negated_conjecture) # label(non_clause).  [assumption].
% 0.74/1.04  
% 0.74/1.04  ============================== end of process non-clausal formulas ===
% 0.74/1.04  
% 0.74/1.04  ============================== PROCESS INITIAL CLAUSES ===============
% 0.74/1.04  
% 0.74/1.04  ============================== PREDICATE ELIMINATION =================
% 0.74/1.04  
% 0.74/1.04  ============================== end predicate elimination =============
% 0.74/1.04  
% 0.74/1.04  Auto_denials:  (non-Horn, no changes).
% 0.74/1.04  
% 0.74/1.04  Term ordering decisions:
% 0.74/1.04  Function symbol KB weights:  c1=1. c2=1. c3=1. c4=1. c5=1. c6=1. c7=1. c8=1. c9=1. c10=1. c11=1. c12=1.
% 0.74/1.04  
% 0.74/1.04  ============================== end of process initial clauses ========
% 0.74/1.04  
% 0.74/1.04  ============================== CLAUSES FOR SEARCH ====================
% 1.06/1.35  
% 1.06/1.35  ============================== end of clauses for search =============
% 1.06/1.35  
% 1.06/1.35  ============================== SEARCH ================================
% 1.06/1.35  
% 1.06/1.35  % Starting search at 0.05 seconds.
% 1.06/1.35  
% 1.06/1.35  ============================== PROOF =================================
% 1.06/1.35  % SZS status Theorem
% 1.06/1.35  % SZS output start Refutation
% 1.06/1.35  
% 1.06/1.35  % Proof 1 at 0.35 (+ 0.01) seconds.
% 1.06/1.35  % Length of proof is 821.
% 1.06/1.35  % Level of proof is 95.
% 1.06/1.35  % Maximum clause weight is 108.000.
% 1.06/1.35  % Given clauses 1571.
% 1.06/1.35  
% 1.06/1.35  1 ---(((exists U (actual_world(U) & (exists V exists W exists X exists Y exists Z (of(U,W,V) & city(U,V) & hollywood_placename(U,W) & placename(U,W) & chevy(U,X) & white(U,X) & dirty(U,X) & old(U,X) & street(U,Y) & lonely(U,Y) & event(U,Z) & agent(U,Z,X) & present(U,Z) & barrel(U,Z) & down(U,Z,Y) & in(U,Z,V))))) -> (exists X1 (actual_world(X1) & (exists X2 exists X3 exists X4 exists X5 exists X6 (of(X1,X3,X2) & city(X1,X2) & hollywood_placename(X1,X3) & placename(X1,X3) & street(X1,X4) & lonely(X1,X4) & chevy(X1,X5) & white(X1,X5) & dirty(X1,X5) & old(X1,X5) & event(X1,X6) & agent(X1,X6,X5) & present(X1,X6) & barrel(X1,X6) & down(X1,X6,X4) & in(X1,X6,X2)))))) & ((exists X1 (actual_world(X1) & (exists X2 exists X3 exists X4 exists X5 exists X6 (of(X1,X3,X2) & city(X1,X2) & hollywood_placename(X1,X3) & placename(X1,X3) & street(X1,X4) & lonely(X1,X4) & chevy(X1,X5) & white(X1,X5) & dirty(X1,X5) & old(X1,X5) & event(X1,X6) & agent(X1,X6,X5) & present(X1,X6) & barrel(X1,X6) & down(X1,X6,X4) & in(X1,X6,X2))))) -> (exists U (actual_world(U) & (exists V exists W exists X exists Y exists Z (of(U,W,V) & city(U,V) & hollywood_placename(U,W) & placename(U,W) & chevy(U,X) & white(U,X) & dirty(U,X) & old(U,X) & street(U,Y) & lonely(U,Y) & event(U,Z) & agent(U,Z,X) & present(U,Z) & barrel(U,Z) & down(U,Z,Y) & in(U,Z,V))))))) # label(co1) # label(negated_conjecture) # label(non_clause).  [assumption].
% 1.06/1.35  2 actual_world(c1) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  3 actual_world(c1) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  4 actual_world(c1) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  5 actual_world(c1) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  6 actual_world(c1) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  7 actual_world(c1) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  8 actual_world(c1) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  9 actual_world(c1) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  10 actual_world(c1) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  11 actual_world(c1) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  12 actual_world(c1) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  13 actual_world(c1) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  14 actual_world(c1) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  15 actual_world(c1) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  16 actual_world(c1) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  17 actual_world(c1) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  18 actual_world(c1) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  20 of(c1,c3,c2) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  21 of(c1,c3,c2) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  22 of(c1,c3,c2) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  23 of(c1,c3,c2) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  24 of(c1,c3,c2) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  25 of(c1,c3,c2) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  26 of(c1,c3,c2) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  27 of(c1,c3,c2) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  28 of(c1,c3,c2) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  29 of(c1,c3,c2) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  30 of(c1,c3,c2) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  31 of(c1,c3,c2) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  32 of(c1,c3,c2) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  33 of(c1,c3,c2) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  34 of(c1,c3,c2) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  35 of(c1,c3,c2) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  36 of(c1,c3,c2) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  38 city(c1,c2) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  39 city(c1,c2) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  40 city(c1,c2) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  41 city(c1,c2) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  42 city(c1,c2) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  43 city(c1,c2) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  44 city(c1,c2) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  45 city(c1,c2) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  46 city(c1,c2) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  47 city(c1,c2) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  48 city(c1,c2) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  49 city(c1,c2) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  50 city(c1,c2) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  51 city(c1,c2) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  52 city(c1,c2) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  53 city(c1,c2) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  54 city(c1,c2) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  56 hollywood_placename(c1,c3) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  57 hollywood_placename(c1,c3) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  58 hollywood_placename(c1,c3) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  59 hollywood_placename(c1,c3) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  60 hollywood_placename(c1,c3) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  61 hollywood_placename(c1,c3) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  62 hollywood_placename(c1,c3) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  63 hollywood_placename(c1,c3) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  64 hollywood_placename(c1,c3) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  65 hollywood_placename(c1,c3) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  66 hollywood_placename(c1,c3) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  67 hollywood_placename(c1,c3) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  68 hollywood_placename(c1,c3) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  69 hollywood_placename(c1,c3) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  70 hollywood_placename(c1,c3) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  71 hollywood_placename(c1,c3) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  72 hollywood_placename(c1,c3) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  74 placename(c1,c3) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  75 placename(c1,c3) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  76 placename(c1,c3) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  77 placename(c1,c3) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  78 placename(c1,c3) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  79 placename(c1,c3) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  80 placename(c1,c3) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  81 placename(c1,c3) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  82 placename(c1,c3) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  83 placename(c1,c3) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  84 placename(c1,c3) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  85 placename(c1,c3) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  86 placename(c1,c3) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  87 placename(c1,c3) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  88 placename(c1,c3) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  89 placename(c1,c3) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  90 placename(c1,c3) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  92 chevy(c1,c4) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  93 chevy(c1,c4) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  94 chevy(c1,c4) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  95 chevy(c1,c4) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  96 chevy(c1,c4) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  97 chevy(c1,c4) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  98 chevy(c1,c4) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  99 chevy(c1,c4) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  100 chevy(c1,c4) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  101 chevy(c1,c4) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  102 chevy(c1,c4) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  103 chevy(c1,c4) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  104 chevy(c1,c4) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  105 chevy(c1,c4) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  106 chevy(c1,c4) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  107 chevy(c1,c4) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  108 chevy(c1,c4) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  110 white(c1,c4) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  111 white(c1,c4) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  112 white(c1,c4) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  113 white(c1,c4) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  114 white(c1,c4) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  115 white(c1,c4) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  116 white(c1,c4) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  117 white(c1,c4) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  118 white(c1,c4) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  119 white(c1,c4) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  120 white(c1,c4) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  121 white(c1,c4) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  122 white(c1,c4) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  123 white(c1,c4) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  124 white(c1,c4) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  125 white(c1,c4) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  126 white(c1,c4) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  128 dirty(c1,c4) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  129 dirty(c1,c4) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  130 dirty(c1,c4) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  131 dirty(c1,c4) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  132 dirty(c1,c4) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  133 dirty(c1,c4) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  134 dirty(c1,c4) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  135 dirty(c1,c4) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  136 dirty(c1,c4) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  137 dirty(c1,c4) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  138 dirty(c1,c4) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  139 dirty(c1,c4) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  140 dirty(c1,c4) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  141 dirty(c1,c4) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  142 dirty(c1,c4) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  143 dirty(c1,c4) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  144 dirty(c1,c4) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  146 old(c1,c4) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  147 old(c1,c4) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  148 old(c1,c4) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  149 old(c1,c4) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  150 old(c1,c4) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  151 old(c1,c4) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  152 old(c1,c4) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  153 old(c1,c4) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  154 old(c1,c4) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  155 old(c1,c4) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  156 old(c1,c4) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  157 old(c1,c4) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  158 old(c1,c4) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  159 old(c1,c4) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  160 old(c1,c4) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  161 old(c1,c4) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  162 old(c1,c4) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  164 street(c1,c5) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  165 street(c1,c5) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  166 street(c1,c5) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  167 street(c1,c5) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  168 street(c1,c5) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  169 street(c1,c5) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  170 street(c1,c5) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  171 street(c1,c5) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  172 street(c1,c5) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  173 street(c1,c5) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  174 street(c1,c5) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  175 street(c1,c5) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  176 street(c1,c5) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  177 street(c1,c5) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  178 street(c1,c5) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  179 street(c1,c5) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  180 street(c1,c5) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  182 lonely(c1,c5) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  183 lonely(c1,c5) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  184 lonely(c1,c5) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  185 lonely(c1,c5) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  186 lonely(c1,c5) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  187 lonely(c1,c5) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  188 lonely(c1,c5) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  189 lonely(c1,c5) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  190 lonely(c1,c5) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  191 lonely(c1,c5) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  192 lonely(c1,c5) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  193 lonely(c1,c5) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  194 lonely(c1,c5) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  195 lonely(c1,c5) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  196 lonely(c1,c5) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  197 lonely(c1,c5) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  198 lonely(c1,c5) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  200 event(c1,c6) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  201 event(c1,c6) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  202 event(c1,c6) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  203 event(c1,c6) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  204 event(c1,c6) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  205 event(c1,c6) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  206 event(c1,c6) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  207 event(c1,c6) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  208 event(c1,c6) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  209 event(c1,c6) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  210 event(c1,c6) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  211 event(c1,c6) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  212 event(c1,c6) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  213 event(c1,c6) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  214 event(c1,c6) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  215 event(c1,c6) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  216 event(c1,c6) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  218 agent(c1,c6,c4) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  219 agent(c1,c6,c4) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  220 agent(c1,c6,c4) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  221 agent(c1,c6,c4) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  222 agent(c1,c6,c4) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  223 agent(c1,c6,c4) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  224 agent(c1,c6,c4) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  225 agent(c1,c6,c4) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  226 agent(c1,c6,c4) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  227 agent(c1,c6,c4) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  228 agent(c1,c6,c4) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  229 agent(c1,c6,c4) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  230 agent(c1,c6,c4) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  231 agent(c1,c6,c4) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  232 agent(c1,c6,c4) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  233 agent(c1,c6,c4) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  234 agent(c1,c6,c4) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  236 present(c1,c6) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  237 present(c1,c6) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  238 present(c1,c6) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  239 present(c1,c6) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  240 present(c1,c6) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  241 present(c1,c6) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  242 present(c1,c6) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  243 present(c1,c6) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  244 present(c1,c6) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  245 present(c1,c6) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  246 present(c1,c6) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  247 present(c1,c6) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  248 present(c1,c6) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  249 present(c1,c6) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  250 present(c1,c6) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  251 present(c1,c6) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  252 present(c1,c6) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  254 barrel(c1,c6) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  255 barrel(c1,c6) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  256 barrel(c1,c6) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  257 barrel(c1,c6) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  258 barrel(c1,c6) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  259 barrel(c1,c6) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  260 barrel(c1,c6) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  261 barrel(c1,c6) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  262 barrel(c1,c6) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  263 barrel(c1,c6) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  264 barrel(c1,c6) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  265 barrel(c1,c6) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  266 barrel(c1,c6) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  267 barrel(c1,c6) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  268 barrel(c1,c6) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  269 barrel(c1,c6) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  270 barrel(c1,c6) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  272 down(c1,c6,c5) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  273 down(c1,c6,c5) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  274 down(c1,c6,c5) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  275 down(c1,c6,c5) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  276 down(c1,c6,c5) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  277 down(c1,c6,c5) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  278 down(c1,c6,c5) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  279 down(c1,c6,c5) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  280 down(c1,c6,c5) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  281 down(c1,c6,c5) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  282 down(c1,c6,c5) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  283 down(c1,c6,c5) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  284 down(c1,c6,c5) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  285 down(c1,c6,c5) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  286 down(c1,c6,c5) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  287 down(c1,c6,c5) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  288 down(c1,c6,c5) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  290 in(c1,c6,c2) | actual_world(c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  291 in(c1,c6,c2) | of(c7,c9,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  292 in(c1,c6,c2) | city(c7,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  293 in(c1,c6,c2) | hollywood_placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  294 in(c1,c6,c2) | placename(c7,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  295 in(c1,c6,c2) | street(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  296 in(c1,c6,c2) | lonely(c7,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  297 in(c1,c6,c2) | chevy(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  298 in(c1,c6,c2) | white(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  299 in(c1,c6,c2) | dirty(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  300 in(c1,c6,c2) | old(c7,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  301 in(c1,c6,c2) | event(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  302 in(c1,c6,c2) | agent(c7,c12,c11) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  303 in(c1,c6,c2) | present(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  304 in(c1,c6,c2) | barrel(c7,c12) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  305 in(c1,c6,c2) | down(c7,c12,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  306 in(c1,c6,c2) | in(c7,c12,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  325 -actual_world(A) | -of(A,B,C) | -city(A,C) | -hollywood_placename(A,B) | -placename(A,B) | -street(A,D) | -lonely(A,D) | -chevy(A,E) | -white(A,E) | -dirty(A,E) | -old(A,E) | -event(A,F) | -agent(A,F,E) | -present(A,F) | -barrel(A,F) | -down(A,F,D) | -in(A,F,C) | -actual_world(V6) | -of(V6,V7,V8) | -city(V6,V8) | -hollywood_placename(V6,V7) | -placename(V6,V7) | -chevy(V6,V9) | -white(V6,V9) | -dirty(V6,V9) | -old(V6,V9) | -street(V6,V10) | -lonely(V6,V10) | -event(V6,V11) | -agent(V6,V11,V9) | -present(V6,V11) | -barrel(V6,V11) | -down(V6,V11,V10) | -in(V6,V11,V8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 1.06/1.35  327 -actual_world(A) | -of(A,B,C) | -city(A,C) | -hollywood_placename(A,B) | -placename(A,B) | -street(A,D) | -lonely(A,D) | -chevy(A,E) | -white(A,E) | -dirty(A,E) | -old(A,E) | -event(A,F) | -agent(A,F,E) | -present(A,F) | -barrel(A,F) | -down(A,F,D) | -in(A,F,C) | -chevy(A,V6) | -white(A,V6) | -dirty(A,V6) | -old(A,V6) | -street(A,V7) | -lonely(A,V7) | -event(A,V8) | -agent(A,V8,V6) | -present(A,V8) | -barrel(A,V8) | -down(A,V8,V7) | -in(A,V8,C).  [factor(325,b,s),merge(r),merge(s),merge(t),merge(u)].
% 1.06/1.35  334 -actual_world(A) | -of(A,B,C) | -city(A,C) | -hollywood_placename(A,B) | -placename(A,B) | -street(A,D) | -lonely(A,D) | -chevy(A,E) | -white(A,E) | -dirty(A,E) | -old(A,E) | -event(A,F) | -agent(A,F,E) | -present(A,F) | -barrel(A,F) | -down(A,F,D) | -in(A,F,C) | -chevy(A,V6) | -white(A,V6) | -dirty(A,V6) | -old(A,V6) | -event(A,V7) | -agent(A,V7,V6) | -present(A,V7) | -barrel(A,V7) | -down(A,V7,D) | -in(A,V7,C).  [factor(327,f,v),merge(v)].
% 1.06/1.35  342 -actual_world(A) | -of(A,B,C) | -city(A,C) | -hollywood_placename(A,B) | -placename(A,B) | -street(A,D) | -lonely(A,D) | -chevy(A,E) | -white(A,E) | -dirty(A,E) | -old(A,E) | -event(A,F) | -agent(A,F,E) | -present(A,F) | -barrel(A,F) | -down(A,F,D) | -in(A,F,C).  [factor(334,m,w),merge(r),merge(s),merge(t),merge(u),merge(v),merge(w),merge(x),merge(y),merge(z)].
% 1.06/1.35  343 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | in(c1,c6,c2).  [resolve(342,b,291,b)].
% 1.06/1.35  344 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | down(c1,c6,c5).  [resolve(342,b,273,b)].
% 1.06/1.35  345 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | barrel(c1,c6).  [resolve(342,b,255,b)].
% 1.06/1.35  346 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | present(c1,c6).  [resolve(342,b,237,b)].
% 1.06/1.35  347 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | agent(c1,c6,c4).  [resolve(342,b,219,b)].
% 1.06/1.35  348 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | event(c1,c6).  [resolve(342,b,201,b)].
% 1.06/1.35  349 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | lonely(c1,c5).  [resolve(342,b,183,b)].
% 1.06/1.35  350 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | street(c1,c5).  [resolve(342,b,165,b)].
% 1.06/1.35  351 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | old(c1,c4).  [resolve(342,b,147,b)].
% 1.06/1.35  352 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | dirty(c1,c4).  [resolve(342,b,129,b)].
% 1.06/1.35  353 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | white(c1,c4).  [resolve(342,b,111,b)].
% 1.06/1.35  354 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | chevy(c1,c4).  [resolve(342,b,93,b)].
% 1.06/1.35  355 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | placename(c1,c3).  [resolve(342,b,75,b)].
% 1.06/1.35  356 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | hollywood_placename(c1,c3).  [resolve(342,b,57,b)].
% 1.06/1.35  357 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | city(c1,c2).  [resolve(342,b,39,b)].
% 1.06/1.35  358 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | in(c7,c12,c8).  [resolve(342,b,36,a)].
% 1.06/1.35  359 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | down(c7,c12,c10).  [resolve(342,b,35,a)].
% 1.06/1.35  360 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | barrel(c7,c12).  [resolve(342,b,34,a)].
% 1.06/1.35  361 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | present(c7,c12).  [resolve(342,b,33,a)].
% 1.06/1.35  362 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | agent(c7,c12,c11).  [resolve(342,b,32,a)].
% 1.06/1.35  363 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | event(c7,c12).  [resolve(342,b,31,a)].
% 1.06/1.35  364 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | old(c7,c11).  [resolve(342,b,30,a)].
% 1.06/1.35  365 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | dirty(c7,c11).  [resolve(342,b,29,a)].
% 1.06/1.35  366 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | white(c7,c11).  [resolve(342,b,28,a)].
% 1.06/1.35  367 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | chevy(c7,c11).  [resolve(342,b,27,a)].
% 1.06/1.35  368 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | lonely(c7,c10).  [resolve(342,b,26,a)].
% 1.06/1.35  369 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | street(c7,c10).  [resolve(342,b,25,a)].
% 1.06/1.35  370 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | placename(c7,c9).  [resolve(342,b,24,a)].
% 1.06/1.35  371 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | hollywood_placename(c7,c9).  [resolve(342,b,23,a)].
% 1.06/1.35  372 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | city(c7,c8).  [resolve(342,b,22,a)].
% 1.06/1.35  373 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | of(c1,c3,c2).  [resolve(342,b,21,b)].
% 1.06/1.35  374 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | actual_world(c7).  [resolve(342,b,20,a)].
% 1.06/1.36  375 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | actual_world(c1).  [resolve(342,b,3,b)].
% 1.06/1.36  376 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | in(c1,c6,c2).  [resolve(343,p,306,b),merge(q)].
% 1.06/1.36  431 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | down(c1,c6,c5).  [resolve(344,p,288,b),merge(q)].
% 1.06/1.36  470 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | barrel(c1,c6).  [resolve(345,p,270,b),merge(q)].
% 1.06/1.36  493 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | present(c1,c6).  [resolve(346,p,252,b),merge(q)].
% 1.06/1.36  500 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | agent(c1,c6,c4).  [resolve(347,p,234,b),merge(q)].
% 1.06/1.36  505 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | event(c1,c6).  [resolve(348,p,216,b),merge(q)].
% 1.06/1.36  510 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | lonely(c1,c5).  [resolve(349,p,198,b),merge(q)].
% 1.06/1.36  515 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | street(c1,c5).  [resolve(350,p,180,b),merge(q)].
% 1.06/1.36  519 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | old(c1,c4).  [resolve(351,p,162,b),merge(q)].
% 1.06/1.36  531 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | dirty(c1,c4).  [resolve(352,p,144,b),merge(q)].
% 1.06/1.36  538 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | white(c1,c4).  [resolve(353,p,126,b),merge(q)].
% 1.06/1.36  543 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | chevy(c1,c4).  [resolve(354,p,108,b),merge(q)].
% 1.06/1.36  547 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | placename(c1,c3).  [resolve(355,p,90,b),merge(q)].
% 1.06/1.36  556 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | hollywood_placename(c1,c3).  [resolve(356,p,72,b),merge(q)].
% 1.06/1.36  559 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | city(c1,c2).  [resolve(357,p,54,b),merge(q)].
% 1.06/1.36  582 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | down(c7,c12,c10).  [resolve(359,p,305,a),merge(q)].
% 1.06/1.36  589 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | barrel(c7,c12).  [resolve(360,p,304,a),merge(q)].
% 1.06/1.36  595 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | present(c7,c12).  [resolve(361,p,303,a),merge(q)].
% 1.06/1.36  598 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | agent(c7,c12,c11).  [resolve(362,p,302,a),merge(q)].
% 1.06/1.36  602 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | event(c7,c12).  [resolve(363,p,301,a),merge(q)].
% 1.06/1.36  607 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | old(c7,c11).  [resolve(364,p,300,a),merge(q)].
% 1.06/1.36  611 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | dirty(c7,c11).  [resolve(365,p,299,a),merge(q)].
% 1.06/1.36  615 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | white(c7,c11).  [resolve(366,p,298,a),merge(q)].
% 1.06/1.36  621 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | chevy(c7,c11).  [resolve(367,p,297,a),merge(q)].
% 1.06/1.36  624 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | lonely(c7,c10).  [resolve(368,p,296,a),merge(q)].
% 1.06/1.36  629 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | street(c7,c10).  [resolve(369,p,295,a),merge(q)].
% 1.06/1.36  634 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | placename(c7,c9).  [resolve(370,p,294,a),merge(q)].
% 1.06/1.36  639 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | hollywood_placename(c7,c9).  [resolve(371,p,293,a),merge(q)].
% 1.06/1.36  643 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | city(c7,c8).  [resolve(372,p,292,a),merge(q)].
% 1.06/1.36  653 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | actual_world(c7).  [resolve(374,p,290,a),merge(q)].
% 1.06/1.36  658 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | actual_world(c1).  [resolve(375,p,18,b),merge(q)].
% 1.06/1.36  738 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | down(c1,c6,c5).  [resolve(431,o,287,b),merge(p)].
% 1.06/1.36  742 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(470,o,269,b),merge(p)].
% 1.06/1.36  746 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | present(c1,c6).  [resolve(493,o,251,b),merge(p)].
% 1.06/1.36  756 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | agent(c1,c6,c4).  [resolve(500,o,233,b),merge(p)].
% 1.06/1.36  764 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | event(c1,c6).  [resolve(505,o,215,b),merge(p)].
% 1.06/1.36  769 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | lonely(c1,c5).  [resolve(510,o,197,b),merge(p)].
% 1.06/1.36  773 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | street(c1,c5).  [resolve(515,o,179,b),merge(p)].
% 1.06/1.36  777 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | old(c1,c4).  [resolve(519,o,161,b),merge(p)].
% 1.06/1.36  781 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | dirty(c1,c4).  [resolve(531,o,143,b),merge(p)].
% 1.06/1.36  786 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | white(c1,c4).  [resolve(538,o,125,b),merge(p)].
% 1.06/1.36  790 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | chevy(c1,c4).  [resolve(543,o,107,b),merge(p)].
% 1.06/1.36  796 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | placename(c1,c3).  [resolve(547,o,89,b),merge(p)].
% 1.06/1.36  799 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | hollywood_placename(c1,c3).  [resolve(556,o,71,b),merge(p)].
% 1.06/1.36  804 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | city(c1,c2).  [resolve(559,o,53,b),merge(p)].
% 1.06/1.36  827 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | barrel(c7,c12).  [resolve(589,o,286,a),merge(p)].
% 1.06/1.36  831 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | present(c7,c12).  [resolve(595,o,285,a),merge(p)].
% 1.06/1.36  836 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | agent(c7,c12,c11).  [resolve(598,o,284,a),merge(p)].
% 1.06/1.36  840 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | event(c7,c12).  [resolve(602,o,283,a),merge(p)].
% 1.06/1.36  845 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | old(c7,c11).  [resolve(607,o,282,a),merge(p)].
% 1.06/1.36  849 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | dirty(c7,c11).  [resolve(611,o,281,a),merge(p)].
% 1.06/1.36  854 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | white(c7,c11).  [resolve(615,o,280,a),merge(p)].
% 1.06/1.36  858 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | chevy(c7,c11).  [resolve(621,o,279,a),merge(p)].
% 1.06/1.36  866 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | lonely(c7,c10).  [resolve(624,o,278,a),merge(p)].
% 1.06/1.36  872 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | street(c7,c10).  [resolve(629,o,277,a),merge(p)].
% 1.06/1.36  875 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | placename(c7,c9).  [resolve(634,o,276,a),merge(p)].
% 1.06/1.36  880 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | hollywood_placename(c7,c9).  [resolve(639,o,275,a),merge(p)].
% 1.06/1.36  884 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | city(c7,c8).  [resolve(643,o,274,a),merge(p)].
% 1.06/1.36  888 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(653,o,272,a),merge(p)].
% 1.06/1.36  903 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(888,l,218,a),merge(o)].
% 1.06/1.36  904 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(658,o,17,b),merge(p)].
% 1.06/1.36  916 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(903,h,110,a),merge(n)].
% 1.06/1.36  927 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(916,e,164,a),merge(m)].
% 1.06/1.36  937 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(927,j,236,a),merge(l)].
% 1.06/1.36  946 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(937,d,74,a),merge(k)].
% 1.06/1.36  955 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(946,g,146,a),merge(j)].
% 1.06/1.36  962 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(955,d,182,a),merge(i)].
% 1.06/1.36  968 -actual_world(c1) | -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | -barrel(c1,c6) | actual_world(c7).  [resolve(962,c,56,a),merge(h)].
% 1.06/1.36  973 -actual_world(c1) | -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | -barrel(c1,c6) | actual_world(c7).  [resolve(968,e,200,a),merge(g)].
% 1.06/1.36  981 -actual_world(c1) | -city(c1,c2) | -chevy(c1,c4) | -barrel(c1,c6) | actual_world(c7).  [resolve(973,d,128,a),merge(f)].
% 1.06/1.36  984 -actual_world(c1) | -chevy(c1,c4) | -barrel(c1,c6) | actual_world(c7).  [resolve(981,b,38,a),merge(e)].
% 1.06/1.36  986 -actual_world(c1) | -barrel(c1,c6) | actual_world(c7).  [resolve(984,b,92,a),merge(d)].
% 1.06/1.36  987 -actual_world(c1) | actual_world(c7).  [resolve(986,b,254,a),merge(c)].
% 1.06/1.36  1055 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(742,l,266,b),merge(o)].
% 1.06/1.36  1057 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1055,h,262,b),merge(n)].
% 1.06/1.36  1058 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1057,e,259,b),merge(m)].
% 1.06/1.36  1059 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | present(c1,c6).  [resolve(746,l,248,b),merge(o)].
% 1.06/1.36  1060 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1058,j,267,b),merge(l)].
% 1.06/1.36  1061 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1060,d,258,b),merge(k)].
% 1.06/1.36  1062 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1061,g,264,b),merge(j)].
% 1.06/1.36  1063 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1062,d,260,b),merge(i)].
% 1.06/1.36  1064 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | agent(c1,c6,c4).  [resolve(756,l,230,b),merge(o)].
% 1.06/1.36  1065 -actual_world(c7) | -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1063,c,257,b),merge(h)].
% 1.06/1.36  1066 -actual_world(c7) | -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1065,e,265,b),merge(g)].
% 1.06/1.36  1067 -actual_world(c7) | -city(c7,c8) | -chevy(c7,c11) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1066,d,263,b),merge(f)].
% 1.06/1.36  1068 -actual_world(c7) | -chevy(c7,c11) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1067,b,256,b),merge(e)].
% 1.06/1.36  1069 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | event(c1,c6).  [resolve(764,l,212,b),merge(o)].
% 1.06/1.36  1070 -actual_world(c7) | -barrel(c7,c12) | barrel(c1,c6).  [resolve(1068,b,261,b),merge(d)].
% 1.06/1.36  1071 -actual_world(c7) | barrel(c1,c6).  [resolve(1070,b,268,b),merge(c)].
% 1.06/1.36  1073 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | lonely(c1,c5).  [resolve(769,l,194,b),merge(o)].
% 1.06/1.36  1074 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | present(c1,c6).  [resolve(1059,h,244,b),merge(n)].
% 1.06/1.36  1075 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | present(c1,c6).  [resolve(1074,e,241,b),merge(m)].
% 1.06/1.36  1076 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | present(c1,c6).  [resolve(1075,j,249,b),merge(l)].
% 1.06/1.36  1086 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | street(c1,c5).  [resolve(773,l,176,b),merge(o)].
% 1.06/1.36  1113 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | old(c1,c4).  [resolve(777,l,158,b),merge(o)].
% 1.06/1.36  1124 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | dirty(c1,c4).  [resolve(781,l,140,b),merge(o)].
% 1.06/1.36  1128 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | white(c1,c4).  [resolve(786,l,122,b),merge(o)].
% 1.06/1.36  1136 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | chevy(c1,c4).  [resolve(790,l,104,b),merge(o)].
% 1.06/1.36  1140 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | placename(c1,c3).  [resolve(796,l,86,b),merge(o)].
% 1.06/1.36  1147 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | hollywood_placename(c1,c3).  [resolve(799,l,68,b),merge(o)].
% 1.06/1.36  1153 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | city(c1,c2).  [resolve(804,l,50,b),merge(o)].
% 1.06/1.36  1156 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | barrel(c7,c12).  [resolve(827,l,232,a),merge(o)].
% 1.06/1.36  1160 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | present(c7,c12).  [resolve(831,l,231,a),merge(o)].
% 1.06/1.36  1181 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | event(c7,c12).  [resolve(840,l,229,a),merge(o)].
% 1.06/1.36  1186 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | old(c7,c11).  [resolve(845,l,228,a),merge(o)].
% 1.06/1.36  1190 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | dirty(c7,c11).  [resolve(849,l,227,a),merge(o)].
% 1.06/1.36  1194 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | white(c7,c11).  [resolve(854,l,226,a),merge(o)].
% 1.06/1.36  1198 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | chevy(c7,c11).  [resolve(858,l,225,a),merge(o)].
% 1.06/1.36  1203 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | lonely(c7,c10).  [resolve(866,l,224,a),merge(o)].
% 1.06/1.36  1207 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | street(c7,c10).  [resolve(872,l,223,a),merge(o)].
% 1.06/1.36  1213 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | placename(c7,c9).  [resolve(875,l,222,a),merge(o)].
% 1.06/1.36  1216 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | hollywood_placename(c7,c9).  [resolve(880,l,221,a),merge(o)].
% 1.06/1.36  1221 -actual_world(c1) | -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | city(c7,c8).  [resolve(884,l,220,a),merge(o)].
% 1.06/1.36  1226 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(904,l,14,b),merge(o)].
% 1.06/1.36  1251 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(1226,h,10,b),merge(n)].
% 1.06/1.36  1261 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(1251,e,7,b),merge(m)].
% 1.06/1.36  1270 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(1261,j,15,b),merge(l)].
% 1.06/1.36  1280 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(1270,d,6,b),merge(k)].
% 1.06/1.36  1288 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(1280,g,12,b),merge(j)].
% 1.06/1.36  1295 -actual_world(c7) | -city(c7,c8) | -hollywood_placename(c7,c9) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(1288,d,8,b),merge(i)].
% 1.06/1.36  1301 -actual_world(c7) | -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | actual_world(c1).  [resolve(1295,c,5,b),merge(h)].
% 1.06/1.36  1307 -actual_world(c7) | -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | -barrel(c7,c12) | actual_world(c1).  [resolve(1301,e,13,b),merge(g)].
% 1.06/1.36  1311 -actual_world(c7) | -city(c7,c8) | -chevy(c7,c11) | -barrel(c7,c12) | actual_world(c1).  [resolve(1307,d,11,b),merge(f)].
% 1.06/1.36  1314 -actual_world(c7) | -chevy(c7,c11) | -barrel(c7,c12) | actual_world(c1).  [resolve(1311,b,4,b),merge(e)].
% 1.06/1.36  1316 -actual_world(c7) | -barrel(c7,c12) | actual_world(c1).  [resolve(1314,b,9,b),merge(d)].
% 1.06/1.36  1320 -actual_world(c7) | actual_world(c1).  [resolve(1316,b,16,b),merge(c)].
% 1.06/1.36  1321 actual_world(c1).  [resolve(1320,a,2,b),merge(b)].
% 1.06/1.36  1322 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | city(c7,c8).  [back_unit_del(1221),unit_del(a,1321)].
% 1.06/1.36  1323 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | hollywood_placename(c7,c9).  [back_unit_del(1216),unit_del(a,1321)].
% 1.06/1.36  1324 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | placename(c7,c9).  [back_unit_del(1213),unit_del(a,1321)].
% 1.06/1.36  1325 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | street(c7,c10).  [back_unit_del(1207),unit_del(a,1321)].
% 1.06/1.36  1326 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | lonely(c7,c10).  [back_unit_del(1203),unit_del(a,1321)].
% 1.06/1.36  1327 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | chevy(c7,c11).  [back_unit_del(1198),unit_del(a,1321)].
% 1.06/1.36  1328 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | white(c7,c11).  [back_unit_del(1194),unit_del(a,1321)].
% 1.06/1.36  1329 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | dirty(c7,c11).  [back_unit_del(1190),unit_del(a,1321)].
% 1.06/1.36  1330 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | old(c7,c11).  [back_unit_del(1186),unit_del(a,1321)].
% 1.06/1.36  1331 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | event(c7,c12).  [back_unit_del(1181),unit_del(a,1321)].
% 1.06/1.36  1332 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | present(c7,c12).  [back_unit_del(1160),unit_del(a,1321)].
% 1.06/1.36  1333 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | -barrel(c1,c6) | barrel(c7,c12).  [back_unit_del(1156),unit_del(a,1321)].
% 1.06/1.36  1334 actual_world(c7).  [back_unit_del(987),unit_del(a,1321)].
% 1.06/1.36  1345 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | -barrel(c1,c6) | agent(c7,c12,c11).  [back_unit_del(836),unit_del(a,1321)].
% 1.06/1.36  1361 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -barrel(c1,c6) | -down(c1,c6,A) | down(c7,c12,c10).  [back_unit_del(582),unit_del(a,1321)].
% 1.06/1.36  1376 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | in(c7,c12,c8).  [back_unit_del(358),unit_del(a,1321)].
% 1.06/1.36  1388 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | city(c1,c2).  [back_unit_del(1153),unit_del(a,1334)].
% 1.06/1.36  1389 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | hollywood_placename(c1,c3).  [back_unit_del(1147),unit_del(a,1334)].
% 1.06/1.36  1391 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | placename(c1,c3).  [back_unit_del(1140),unit_del(a,1334)].
% 1.06/1.36  1392 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | chevy(c1,c4).  [back_unit_del(1136),unit_del(a,1334)].
% 1.06/1.36  1394 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | white(c1,c4).  [back_unit_del(1128),unit_del(a,1334)].
% 1.06/1.36  1395 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | dirty(c1,c4).  [back_unit_del(1124),unit_del(a,1334)].
% 1.06/1.36  1396 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | old(c1,c4).  [back_unit_del(1113),unit_del(a,1334)].
% 1.06/1.36  1397 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | street(c1,c5).  [back_unit_del(1086),unit_del(a,1334)].
% 1.06/1.36  1399 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -barrel(c7,c12) | present(c1,c6).  [back_unit_del(1076),unit_del(a,1334)].
% 1.06/1.36  1400 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | lonely(c1,c5).  [back_unit_del(1073),unit_del(a,1334)].
% 1.06/1.36  1401 barrel(c1,c6).  [back_unit_del(1071),unit_del(a,1334)].
% 1.06/1.36  1402 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | event(c1,c6).  [back_unit_del(1069),unit_del(a,1334)].
% 1.06/1.36  1403 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | -barrel(c7,c12) | agent(c1,c6,c4).  [back_unit_del(1064),unit_del(a,1334)].
% 1.06/1.36  1429 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | -barrel(c7,c12) | down(c1,c6,c5).  [back_unit_del(738),unit_del(a,1334)].
% 1.06/1.36  1447 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -barrel(c7,c12) | -down(c7,c12,A) | in(c1,c6,c2).  [back_unit_del(376),unit_del(a,1334)].
% 1.06/1.36  1448 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | of(c1,c3,c2).  [back_unit_del(373),unit_del(a,1334)].
% 1.06/1.36  1463 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -down(c1,c6,A) | down(c7,c12,c10).  [back_unit_del(1361),unit_del(m,1401)].
% 1.06/1.36  1479 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | agent(c7,c12,c11).  [back_unit_del(1345),unit_del(m,1401)].
% 1.06/1.36  1490 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | barrel(c7,c12).  [back_unit_del(1333),unit_del(l,1401)].
% 1.06/1.36  1491 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | present(c7,c12).  [back_unit_del(1332),unit_del(l,1401)].
% 1.06/1.36  1492 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | event(c7,c12).  [back_unit_del(1331),unit_del(l,1401)].
% 1.06/1.36  1493 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | old(c7,c11).  [back_unit_del(1330),unit_del(l,1401)].
% 1.06/1.36  1494 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | dirty(c7,c11).  [back_unit_del(1329),unit_del(l,1401)].
% 1.06/1.36  1495 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | white(c7,c11).  [back_unit_del(1328),unit_del(l,1401)].
% 1.06/1.36  1496 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | chevy(c7,c11).  [back_unit_del(1327),unit_del(l,1401)].
% 1.06/1.36  1497 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | lonely(c7,c10).  [back_unit_del(1326),unit_del(l,1401)].
% 1.06/1.36  1498 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | street(c7,c10).  [back_unit_del(1325),unit_del(l,1401)].
% 1.06/1.36  1499 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | placename(c7,c9).  [back_unit_del(1324),unit_del(l,1401)].
% 1.06/1.36  1500 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | hollywood_placename(c7,c9).  [back_unit_del(1323),unit_del(l,1401)].
% 1.06/1.36  1501 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | city(c7,c8).  [back_unit_del(1322),unit_del(l,1401)].
% 1.06/1.36  1502 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | barrel(c7,c12).  [resolve(1490,g,124,a),merge(l)].
% 1.06/1.36  1503 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | barrel(c7,c12).  [resolve(1502,d,178,a),merge(k)].
% 1.06/1.36  1504 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | barrel(c7,c12).  [resolve(1503,i,250,a),merge(j)].
% 1.06/1.36  1505 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | barrel(c7,c12).  [resolve(1504,c,88,a),merge(i)].
% 1.06/1.36  1506 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | barrel(c7,c12).  [resolve(1505,f,160,a),merge(h)].
% 1.06/1.36  1507 -city(c1,c2) | -hollywood_placename(c1,c3) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | barrel(c7,c12).  [resolve(1506,c,196,a),merge(g)].
% 1.06/1.36  1508 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | barrel(c7,c12).  [resolve(1507,b,70,a),merge(f)].
% 1.06/1.36  1509 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | barrel(c7,c12).  [resolve(1508,d,214,a),merge(e)].
% 1.06/1.36  1510 -city(c1,c2) | -chevy(c1,c4) | barrel(c7,c12).  [resolve(1509,c,142,a),merge(d)].
% 1.06/1.36  1511 -chevy(c1,c4) | barrel(c7,c12).  [resolve(1510,a,52,a),merge(c)].
% 1.06/1.36  1512 barrel(c7,c12).  [resolve(1511,a,106,a),merge(b)].
% 1.06/1.36  1513 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -down(c7,c12,A) | in(c1,c6,c2).  [back_unit_del(1447),unit_del(m,1512)].
% 1.06/1.36  1531 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | down(c1,c6,c5).  [back_unit_del(1429),unit_del(m,1512)].
% 1.06/1.36  1557 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(1403),unit_del(l,1512)].
% 1.06/1.36  1558 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | event(c1,c6).  [back_unit_del(1402),unit_del(l,1512)].
% 1.06/1.36  1559 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | lonely(c1,c5).  [back_unit_del(1400),unit_del(l,1512)].
% 1.06/1.36  1560 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | present(c1,c6).  [back_unit_del(1399),unit_del(i,1512)].
% 1.06/1.36  1562 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | street(c1,c5).  [back_unit_del(1397),unit_del(l,1512)].
% 1.06/1.36  1563 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | old(c1,c4).  [back_unit_del(1396),unit_del(l,1512)].
% 1.06/1.36  1564 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | dirty(c1,c4).  [back_unit_del(1395),unit_del(l,1512)].
% 1.06/1.36  1565 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | white(c1,c4).  [back_unit_del(1394),unit_del(l,1512)].
% 1.06/1.36  1567 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | chevy(c1,c4).  [back_unit_del(1392),unit_del(l,1512)].
% 1.06/1.36  1568 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | placename(c1,c3).  [back_unit_del(1391),unit_del(l,1512)].
% 1.06/1.36  1570 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | hollywood_placename(c1,c3).  [back_unit_del(1389),unit_del(l,1512)].
% 1.06/1.36  1571 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | city(c1,c2).  [back_unit_del(1388),unit_del(l,1512)].
% 1.06/1.36  1619 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | present(c7,c12).  [resolve(1491,g,123,a),merge(l)].
% 1.06/1.36  1620 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | present(c7,c12).  [resolve(1619,d,177,a),merge(k)].
% 1.06/1.36  1705 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | event(c7,c12).  [resolve(1492,g,121,a),merge(l)].
% 1.06/1.36  1706 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | event(c7,c12).  [resolve(1705,d,175,a),merge(k)].
% 1.06/1.36  1707 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | event(c7,c12).  [resolve(1706,i,247,a),merge(j)].
% 1.06/1.36  1708 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | event(c7,c12).  [resolve(1707,c,85,a),merge(i)].
% 1.06/1.36  1709 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | event(c7,c12).  [resolve(1708,f,157,a),merge(h)].
% 1.06/1.36  1710 -city(c1,c2) | -hollywood_placename(c1,c3) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | event(c7,c12).  [resolve(1709,c,193,a),merge(g)].
% 1.06/1.36  1711 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | event(c7,c12).  [resolve(1710,b,67,a),merge(f)].
% 1.06/1.36  1720 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | old(c7,c11).  [resolve(1493,g,120,a),merge(l)].
% 1.06/1.36  1721 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | old(c7,c11).  [resolve(1720,d,174,a),merge(k)].
% 1.06/1.36  1722 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | old(c7,c11).  [resolve(1721,i,246,a),merge(j)].
% 1.06/1.36  1723 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | old(c7,c11).  [resolve(1722,c,84,a),merge(i)].
% 1.06/1.36  1745 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | dirty(c7,c11).  [resolve(1494,g,119,a),merge(l)].
% 1.06/1.36  1757 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | dirty(c7,c11).  [resolve(1745,d,173,a),merge(k)].
% 1.06/1.36  1758 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | chevy(c7,c11).  [resolve(1496,g,117,a),merge(l)].
% 1.06/1.36  1759 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | dirty(c7,c11).  [resolve(1757,i,245,a),merge(j)].
% 1.06/1.36  1760 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | dirty(c7,c11).  [resolve(1759,c,83,a),merge(i)].
% 1.06/1.36  1761 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | dirty(c7,c11).  [resolve(1760,f,155,a),merge(h)].
% 1.06/1.36  1762 -city(c1,c2) | -hollywood_placename(c1,c3) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | dirty(c7,c11).  [resolve(1761,c,191,a),merge(g)].
% 1.06/1.36  1763 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | lonely(c7,c10).  [resolve(1497,g,116,a),merge(l)].
% 1.06/1.36  1764 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | dirty(c7,c11).  [resolve(1762,b,65,a),merge(f)].
% 1.06/1.36  1765 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | dirty(c7,c11).  [resolve(1764,d,209,a),merge(e)].
% 1.06/1.36  1769 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | street(c7,c10).  [resolve(1498,g,115,a),merge(l)].
% 1.06/1.36  1770 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | chevy(c7,c11).  [resolve(1758,d,171,a),merge(k)].
% 1.06/1.36  1771 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | chevy(c7,c11).  [resolve(1770,i,243,a),merge(j)].
% 1.06/1.36  1772 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | placename(c7,c9).  [resolve(1499,g,114,a),merge(l)].
% 1.06/1.36  1773 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | chevy(c7,c11).  [resolve(1771,c,81,a),merge(i)].
% 1.06/1.36  1774 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | chevy(c7,c11).  [resolve(1773,f,153,a),merge(h)].
% 1.06/1.36  1775 -city(c1,c2) | -hollywood_placename(c1,c3) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | chevy(c7,c11).  [resolve(1774,c,189,a),merge(g)].
% 1.06/1.36  1776 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | chevy(c7,c11).  [resolve(1775,b,63,a),merge(f)].
% 1.06/1.36  1777 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | hollywood_placename(c7,c9).  [resolve(1500,g,113,a),merge(l)].
% 1.06/1.36  1778 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | chevy(c7,c11).  [resolve(1776,d,207,a),merge(e)].
% 1.06/1.36  1779 -city(c1,c2) | -chevy(c1,c4) | chevy(c7,c11).  [resolve(1778,c,135,a),merge(d)].
% 1.06/1.36  1780 -chevy(c1,c4) | chevy(c7,c11).  [resolve(1779,a,45,a),merge(c)].
% 1.06/1.36  1781 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | city(c7,c8).  [resolve(1501,g,112,a),merge(l)].
% 1.06/1.36  1782 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | lonely(c7,c10).  [resolve(1763,d,170,a),merge(k)].
% 1.06/1.36  1783 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | lonely(c7,c10).  [resolve(1782,i,242,a),merge(j)].
% 1.06/1.36  1784 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | lonely(c7,c10).  [resolve(1783,c,80,a),merge(i)].
% 1.06/1.36  1785 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | lonely(c7,c10).  [resolve(1784,f,152,a),merge(h)].
% 1.06/1.36  1795 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | placename(c7,c9).  [resolve(1772,d,168,a),merge(k)].
% 1.06/1.36  1796 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | placename(c7,c9).  [resolve(1795,i,240,a),merge(j)].
% 1.06/1.36  1809 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | hollywood_placename(c7,c9).  [resolve(1777,d,167,a),merge(k)].
% 1.06/1.36  1810 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | hollywood_placename(c7,c9).  [resolve(1809,i,239,a),merge(j)].
% 1.06/1.36  1811 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | hollywood_placename(c7,c9).  [resolve(1810,c,77,a),merge(i)].
% 1.06/1.36  1812 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | hollywood_placename(c7,c9).  [resolve(1811,f,149,a),merge(h)].
% 1.06/1.36  1813 -city(c1,c2) | -hollywood_placename(c1,c3) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | hollywood_placename(c7,c9).  [resolve(1812,c,185,a),merge(g)].
% 1.06/1.36  1817 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | city(c7,c8).  [resolve(1781,d,166,a),merge(k)].
% 1.06/1.36  1818 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | city(c7,c8).  [resolve(1817,i,238,a),merge(j)].
% 1.06/1.36  1819 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | city(c7,c8).  [resolve(1818,c,76,a),merge(i)].
% 1.06/1.36  1820 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | city(c7,c8).  [resolve(1819,f,148,a),merge(h)].
% 1.06/1.36  1821 -city(c1,c2) | -hollywood_placename(c1,c3) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | city(c7,c8).  [resolve(1820,c,184,a),merge(g)].
% 1.06/1.36  1822 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | -event(c1,c6) | city(c7,c8).  [resolve(1821,b,58,a),merge(f)].
% 1.06/1.36  1823 -city(c1,c2) | -chevy(c1,c4) | -dirty(c1,c4) | city(c7,c8).  [resolve(1822,d,202,a),merge(e)].
% 1.06/1.36  1824 -city(c1,c2) | -chevy(c1,c4) | city(c7,c8).  [resolve(1823,c,130,a),merge(d)].
% 1.06/1.36  1825 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | event(c1,c6).  [resolve(1558,g,208,b),merge(l)].
% 1.06/1.36  1826 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | event(c1,c6).  [resolve(1825,d,205,b),merge(k)].
% 1.06/1.36  1827 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | event(c1,c6).  [resolve(1826,i,213,b),merge(j)].
% 1.06/1.36  1828 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | event(c1,c6).  [resolve(1827,c,204,b),merge(i)].
% 1.06/1.36  1829 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | event(c1,c6).  [resolve(1828,f,210,b),merge(h)].
% 1.06/1.36  1830 -city(c7,c8) | -hollywood_placename(c7,c9) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | event(c1,c6).  [resolve(1829,c,206,b),merge(g)].
% 1.06/1.36  1831 -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | event(c1,c6).  [resolve(1830,b,203,b),merge(f)].
% 1.06/1.36  1832 -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | event(c1,c6).  [resolve(1831,d,211,b),merge(e)].
% 1.06/1.36  1841 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | lonely(c1,c5).  [resolve(1559,g,190,b),merge(l)].
% 1.06/1.36  1842 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | lonely(c1,c5).  [resolve(1841,d,187,b),merge(k)].
% 1.06/1.36  1843 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | lonely(c1,c5).  [resolve(1842,i,195,b),merge(j)].
% 1.06/1.36  1844 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | lonely(c1,c5).  [resolve(1843,c,186,b),merge(i)].
% 1.06/1.36  1845 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | lonely(c1,c5).  [resolve(1844,f,192,b),merge(h)].
% 1.06/1.36  1846 -city(c7,c8) | -hollywood_placename(c7,c9) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | lonely(c1,c5).  [resolve(1845,c,188,b),merge(g)].
% 1.06/1.36  1864 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | street(c1,c5).  [resolve(1562,g,172,b),merge(l)].
% 1.06/1.36  1865 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | street(c1,c5).  [resolve(1864,d,169,b),merge(k)].
% 1.06/1.36  1917 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | old(c1,c4).  [resolve(1563,g,154,b),merge(l)].
% 1.06/1.36  1922 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | dirty(c1,c4).  [resolve(1564,g,136,b),merge(l)].
% 1.06/1.36  1927 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | white(c1,c4).  [resolve(1565,g,118,b),merge(l)].
% 1.06/1.36  1932 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | chevy(c1,c4).  [resolve(1567,g,100,b),merge(l)].
% 1.06/1.36  1936 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | placename(c1,c3).  [resolve(1568,g,82,b),merge(l)].
% 1.06/1.36  1940 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | hollywood_placename(c1,c3).  [resolve(1570,g,64,b),merge(l)].
% 1.06/1.36  1945 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | city(c1,c2).  [resolve(1571,g,46,b),merge(l)].
% 1.06/1.36  1958 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | old(c1,c4).  [resolve(1917,d,151,b),merge(k)].
% 1.06/1.36  1963 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | dirty(c1,c4).  [resolve(1922,d,133,b),merge(k)].
% 1.06/1.36  1966 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | old(c1,c4).  [resolve(1958,i,159,b),merge(j)].
% 1.06/1.36  1971 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | old(c1,c4).  [resolve(1966,c,150,b),merge(i)].
% 1.06/1.36  1972 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | old(c1,c4).  [resolve(1971,f,156,b),merge(h)].
% 1.06/1.36  1978 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | chevy(c1,c4).  [resolve(1932,d,97,b),merge(k)].
% 1.06/1.36  1984 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | placename(c1,c3).  [resolve(1936,d,79,b),merge(k)].
% 1.06/1.36  1987 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | hollywood_placename(c1,c3).  [resolve(1940,d,61,b),merge(k)].
% 1.06/1.36  1991 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | city(c1,c2).  [resolve(1945,d,43,b),merge(k)].
% 1.06/1.36  1996 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | dirty(c1,c4).  [resolve(1963,i,141,b),merge(j)].
% 1.06/1.36  2000 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | chevy(c1,c4).  [resolve(1978,i,105,b),merge(j)].
% 1.06/1.36  2002 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | dirty(c1,c4).  [resolve(1996,c,132,b),merge(i)].
% 1.06/1.36  2003 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | dirty(c1,c4).  [resolve(2002,f,138,b),merge(h)].
% 1.06/1.36  2004 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | placename(c1,c3).  [resolve(1984,i,87,b),merge(j)].
% 1.06/1.36  2005 -city(c7,c8) | -hollywood_placename(c7,c9) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | dirty(c1,c4).  [resolve(2003,c,134,b),merge(g)].
% 1.06/1.36  2006 -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | dirty(c1,c4).  [resolve(2005,b,131,b),merge(f)].
% 1.06/1.36  2007 -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | dirty(c1,c4).  [resolve(2006,d,139,b),merge(e)].
% 1.06/1.36  2008 -city(c7,c8) | -chevy(c7,c11) | dirty(c1,c4).  [resolve(2007,c,137,b),merge(d)].
% 1.06/1.36  2009 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | hollywood_placename(c1,c3).  [resolve(1987,i,69,b),merge(j)].
% 1.06/1.36  2013 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | city(c1,c2).  [resolve(1991,i,51,b),merge(j)].
% 1.06/1.36  2014 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | chevy(c1,c4).  [resolve(2000,c,96,b),merge(i)].
% 1.06/1.36  2015 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | chevy(c1,c4).  [resolve(2014,f,102,b),merge(h)].
% 1.06/1.36  2016 -city(c7,c8) | -hollywood_placename(c7,c9) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | chevy(c1,c4).  [resolve(2015,c,98,b),merge(g)].
% 1.06/1.36  2017 -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | -event(c7,c12) | chevy(c1,c4).  [resolve(2016,b,95,b),merge(f)].
% 1.06/1.36  2018 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -chevy(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | placename(c1,c3).  [resolve(2004,c,78,b),merge(i)].
% 1.06/1.36  2019 -city(c7,c8) | -chevy(c7,c11) | -dirty(c7,c11) | chevy(c1,c4).  [resolve(2017,d,103,b),merge(e)].
% 1.06/1.36  2020 -city(c7,c8) | -chevy(c7,c11) | chevy(c1,c4).  [resolve(2019,c,101,b),merge(d)].
% 1.06/1.36  2021 -chevy(c7,c11) | chevy(c1,c4).  [resolve(2020,a,94,b),merge(c)].
% 1.06/1.36  2022 chevy(c1,c4).  [resolve(2021,a,99,b),merge(b)].
% 1.06/1.36  2023 -city(c1,c2) | city(c7,c8).  [back_unit_del(1824),unit_del(b,2022)].
% 1.06/1.36  2024 -city(c1,c2) | -hollywood_placename(c1,c3) | -dirty(c1,c4) | -event(c1,c6) | hollywood_placename(c7,c9).  [back_unit_del(1813),unit_del(c,2022)].
% 1.06/1.36  2025 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | placename(c7,c9).  [back_unit_del(1796),unit_del(e,2022)].
% 1.06/1.36  2026 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -event(c1,c6) | lonely(c7,c10).  [back_unit_del(1785),unit_del(d,2022)].
% 1.06/1.36  2027 chevy(c7,c11).  [back_unit_del(1780),unit_del(a,2022)].
% 1.06/1.36  2028 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | street(c7,c10).  [back_unit_del(1769),unit_del(f,2022)].
% 1.06/1.36  2029 -city(c1,c2) | -dirty(c1,c4) | dirty(c7,c11).  [back_unit_del(1765),unit_del(b,2022)].
% 1.06/1.36  2030 -city(c1,c2) | -hollywood_placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | old(c7,c11).  [back_unit_del(1723),unit_del(d,2022)].
% 1.06/1.36  2031 -city(c1,c2) | -dirty(c1,c4) | -event(c1,c6) | event(c7,c12).  [back_unit_del(1711),unit_del(b,2022)].
% 1.06/1.36  2032 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | present(c7,c12).  [back_unit_del(1620),unit_del(e,2022)].
% 1.06/1.36  2033 -city(c1,c2) | -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | white(c7,c11).  [back_unit_del(1495),unit_del(f,2022)].
% 1.06/1.36  2034 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | placename(c1,c3).  [back_unit_del(2018),unit_del(d,2027)].
% 1.06/1.36  2035 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | city(c1,c2).  [back_unit_del(2013),unit_del(e,2027)].
% 1.06/1.36  2037 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | hollywood_placename(c1,c3).  [back_unit_del(2009),unit_del(e,2027)].
% 1.06/1.36  2038 -city(c7,c8) | dirty(c1,c4).  [back_unit_del(2008),unit_del(b,2027)].
% 1.06/1.36  2041 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -event(c7,c12) | old(c1,c4).  [back_unit_del(1972),unit_del(d,2027)].
% 1.06/1.36  2045 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | white(c1,c4).  [back_unit_del(1927),unit_del(f,2027)].
% 1.06/1.36  2046 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | street(c1,c5).  [back_unit_del(1865),unit_del(e,2027)].
% 1.06/1.36  2049 -city(c7,c8) | -hollywood_placename(c7,c9) | -dirty(c7,c11) | -event(c7,c12) | lonely(c1,c5).  [back_unit_del(1846),unit_del(c,2027)].
% 1.06/1.36  2051 -city(c7,c8) | -dirty(c7,c11) | event(c1,c6).  [back_unit_del(1832),unit_del(b,2027)].
% 1.06/1.36  2055 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | present(c1,c6).  [back_unit_del(1560),unit_del(e,2027)].
% 1.06/1.36  2056 -city(c7,c8) | -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(1557),unit_del(f,2027)].
% 1.06/1.36  2070 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | city(c1,c2).  [resolve(2035,c,42,b),merge(h)].
% 1.06/1.36  2072 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -event(c7,c12) | city(c1,c2).  [resolve(2070,e,48,b),merge(g)].
% 1.06/1.36  2074 -city(c7,c8) | -hollywood_placename(c7,c9) | -dirty(c7,c11) | -event(c7,c12) | city(c1,c2).  [resolve(2072,c,44,b),merge(f)].
% 1.06/1.36  2076 -city(c7,c8) | -dirty(c7,c11) | -event(c7,c12) | city(c1,c2).  [resolve(2074,b,41,b),merge(e)].
% 1.06/1.36  2077 -city(c7,c8) | -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | hollywood_placename(c1,c3).  [resolve(2037,c,60,b),merge(h)].
% 1.06/1.36  2078 -city(c7,c8) | -dirty(c7,c11) | city(c1,c2).  [resolve(2076,c,49,b),merge(d)].
% 1.06/1.36  2079 -city(c7,c8) | city(c1,c2).  [resolve(2078,b,47,b),merge(c)].
% 1.06/1.36  2080 city(c1,c2).  [resolve(2079,a,40,b),merge(b)].
% 1.06/1.36  2081 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -white(c1,c4) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | white(c7,c11).  [back_unit_del(2033),unit_del(a,2080)].
% 1.06/1.36  2082 -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | present(c7,c12).  [back_unit_del(2032),unit_del(a,2080)].
% 1.06/1.36  2083 -dirty(c1,c4) | -event(c1,c6) | event(c7,c12).  [back_unit_del(2031),unit_del(a,2080)].
% 1.06/1.36  2084 -hollywood_placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | old(c7,c11).  [back_unit_del(2030),unit_del(a,2080)].
% 1.06/1.36  2085 -dirty(c1,c4) | dirty(c7,c11).  [back_unit_del(2029),unit_del(a,2080)].
% 1.06/1.36  2086 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | street(c7,c10).  [back_unit_del(2028),unit_del(a,2080)].
% 1.06/1.36  2087 -hollywood_placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -event(c1,c6) | lonely(c7,c10).  [back_unit_del(2026),unit_del(a,2080)].
% 1.06/1.36  2088 -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -dirty(c1,c4) | -old(c1,c4) | -event(c1,c6) | placename(c7,c9).  [back_unit_del(2025),unit_del(a,2080)].
% 1.06/1.36  2089 -hollywood_placename(c1,c3) | -dirty(c1,c4) | -event(c1,c6) | hollywood_placename(c7,c9).  [back_unit_del(2024),unit_del(a,2080)].
% 1.06/1.36  2090 city(c7,c8).  [back_unit_del(2023),unit_del(a,2080)].
% 1.06/1.36  2099 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -event(c1,c6) | -agent(c1,c6,A) | -present(c1,c6) | agent(c7,c12,c11).  [back_unit_del(1479),unit_del(a,2080)].
% 1.06/1.36  2111 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,c6) | -agent(c1,c6,B) | -present(c1,c6) | -down(c1,c6,A) | down(c7,c12,c10).  [back_unit_del(1463),unit_del(a,2080)].
% 1.06/1.36  2112 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | in(c7,c12,c8).  [back_unit_del(1376),unit_del(a,2080)].
% 1.06/1.36  2124 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | hollywood_placename(c1,c3).  [back_unit_del(2077),unit_del(a,2090)].
% 1.06/1.36  2126 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -white(c7,c11) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(2056),unit_del(a,2090)].
% 1.06/1.36  2127 -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | present(c1,c6).  [back_unit_del(2055),unit_del(a,2090)].
% 1.06/1.36  2130 -dirty(c7,c11) | event(c1,c6).  [back_unit_del(2051),unit_del(a,2090)].
% 1.06/1.36  2131 -hollywood_placename(c7,c9) | -dirty(c7,c11) | -event(c7,c12) | lonely(c1,c5).  [back_unit_del(2049),unit_del(a,2090)].
% 1.06/1.36  2133 -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | street(c1,c5).  [back_unit_del(2046),unit_del(a,2090)].
% 1.06/1.36  2134 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | white(c1,c4).  [back_unit_del(2045),unit_del(a,2090)].
% 1.06/1.36  2136 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -event(c7,c12) | old(c1,c4).  [back_unit_del(2041),unit_del(a,2090)].
% 1.06/1.36  2138 dirty(c1,c4).  [back_unit_del(2038),unit_del(a,2090)].
% 1.06/1.36  2139 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -dirty(c7,c11) | -old(c7,c11) | -event(c7,c12) | placename(c1,c3).  [back_unit_del(2034),unit_del(a,2090)].
% 1.06/1.36  2149 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -event(c7,c12) | -agent(c7,c12,A) | -present(c7,c12) | down(c1,c6,c5).  [back_unit_del(1531),unit_del(a,2090)].
% 1.06/1.36  2160 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,c12) | -agent(c7,c12,B) | -present(c7,c12) | -down(c7,c12,A) | in(c1,c6,c2).  [back_unit_del(1513),unit_del(a,2090)].
% 1.06/1.36  2172 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | of(c1,c3,c2).  [back_unit_del(1448),unit_del(a,2090)].
% 1.06/1.36  2173 -hollywood_placename(c1,c3) | -event(c1,c6) | hollywood_placename(c7,c9).  [back_unit_del(2089),unit_del(b,2138)].
% 1.06/1.36  2174 -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | -event(c1,c6) | placename(c7,c9).  [back_unit_del(2088),unit_del(d,2138)].
% 1.06/1.36  2175 -hollywood_placename(c1,c3) | -lonely(c1,c5) | -event(c1,c6) | lonely(c7,c10).  [back_unit_del(2087),unit_del(c,2138)].
% 1.06/1.36  2176 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | street(c7,c10).  [back_unit_del(2086),unit_del(e,2138)].
% 1.06/1.36  2177 dirty(c7,c11).  [back_unit_del(2085),unit_del(a,2138)].
% 1.06/1.36  2178 -hollywood_placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | -event(c1,c6) | old(c7,c11).  [back_unit_del(2084),unit_del(c,2138)].
% 1.06/1.36  2179 -event(c1,c6) | event(c7,c12).  [back_unit_del(2083),unit_del(a,2138)].
% 1.06/1.36  2180 -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | present(c7,c12).  [back_unit_del(2082),unit_del(d,2138)].
% 1.06/1.36  2181 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -white(c1,c4) | -old(c1,c4) | -event(c1,c6) | -present(c1,c6) | white(c7,c11).  [back_unit_del(2081),unit_del(f,2138)].
% 1.06/1.36  2182 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | -event(c7,c12) | placename(c1,c3).  [back_unit_del(2139),unit_del(c,2177)].
% 1.06/1.36  2184 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -event(c7,c12) | old(c1,c4).  [back_unit_del(2136),unit_del(c,2177)].
% 1.06/1.36  2186 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | white(c1,c4).  [back_unit_del(2134),unit_del(e,2177)].
% 1.06/1.36  2187 -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | street(c1,c5).  [back_unit_del(2133),unit_del(d,2177)].
% 1.06/1.36  2189 -hollywood_placename(c7,c9) | -event(c7,c12) | lonely(c1,c5).  [back_unit_del(2131),unit_del(b,2177)].
% 1.06/1.36  2190 event(c1,c6).  [back_unit_del(2130),unit_del(a,2177)].
% 1.06/1.36  2193 -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | -event(c7,c12) | present(c1,c6).  [back_unit_del(2127),unit_del(d,2177)].
% 1.06/1.36  2194 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -white(c7,c11) | -old(c7,c11) | -event(c7,c12) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(2126),unit_del(f,2177)].
% 1.06/1.36  2196 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | -event(c7,c12) | hollywood_placename(c1,c3).  [back_unit_del(2124),unit_del(c,2177)].
% 1.06/1.36  2197 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -white(c1,c4) | -old(c1,c4) | -present(c1,c6) | white(c7,c11).  [back_unit_del(2181),unit_del(g,2190)].
% 1.06/1.36  2198 -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | -present(c1,c6) | present(c7,c12).  [back_unit_del(2180),unit_del(e,2190)].
% 1.06/1.36  2199 event(c7,c12).  [back_unit_del(2179),unit_del(a,2190)].
% 1.06/1.36  2200 -hollywood_placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | old(c7,c11).  [back_unit_del(2178),unit_del(d,2190)].
% 1.06/1.36  2201 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -old(c1,c4) | -present(c1,c6) | street(c7,c10).  [back_unit_del(2176),unit_del(f,2190)].
% 1.06/1.36  2202 -hollywood_placename(c1,c3) | -lonely(c1,c5) | lonely(c7,c10).  [back_unit_del(2175),unit_del(c,2190)].
% 1.06/1.36  2203 -hollywood_placename(c1,c3) | -placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | placename(c7,c9).  [back_unit_del(2174),unit_del(e,2190)].
% 1.06/1.36  2204 -hollywood_placename(c1,c3) | hollywood_placename(c7,c9).  [back_unit_del(2173),unit_del(b,2190)].
% 1.06/1.36  2205 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -agent(c1,c6,B) | -present(c1,c6) | -down(c1,c6,A) | down(c7,c12,c10).  [back_unit_del(2111),unit_del(i,2190)].
% 1.06/1.36  2214 -hollywood_placename(c1,c3) | -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | -present(c1,c6) | agent(c7,c12,c11).  [back_unit_del(2099),unit_del(i,2190)].
% 1.06/1.36  2219 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | hollywood_placename(c1,c3).  [back_unit_del(2196),unit_del(d,2199)].
% 1.06/1.36  2221 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -white(c7,c11) | -old(c7,c11) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(2194),unit_del(g,2199)].
% 1.06/1.36  2222 -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | present(c1,c6).  [back_unit_del(2193),unit_del(e,2199)].
% 1.06/1.36  2225 -hollywood_placename(c7,c9) | lonely(c1,c5).  [back_unit_del(2189),unit_del(b,2199)].
% 1.06/1.36  2227 -hollywood_placename(c7,c9) | -placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | -present(c7,c12) | street(c1,c5).  [back_unit_del(2187),unit_del(e,2199)].
% 1.06/1.36  2228 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -old(c7,c11) | -present(c7,c12) | white(c1,c4).  [back_unit_del(2186),unit_del(f,2199)].
% 1.06/1.36  2230 -hollywood_placename(c7,c9) | -lonely(c7,c10) | old(c1,c4).  [back_unit_del(2184),unit_del(c,2199)].
% 1.06/1.36  2232 -hollywood_placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | placename(c1,c3).  [back_unit_del(2182),unit_del(d,2199)].
% 1.06/1.36  2233 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -agent(c7,c12,B) | -present(c7,c12) | -down(c7,c12,A) | in(c1,c6,c2).  [back_unit_del(2160),unit_del(i,2199)].
% 1.06/1.36  2242 -hollywood_placename(c7,c9) | -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | -present(c7,c12) | down(c1,c6,c5).  [back_unit_del(2149),unit_del(i,2199)].
% 1.06/1.36  2249 -hollywood_placename(c7,c9) | -lonely(c7,c10) | hollywood_placename(c1,c3).  [resolve(2219,c,66,b),merge(d)].
% 1.06/1.36  2250 -hollywood_placename(c7,c9) | hollywood_placename(c1,c3).  [resolve(2249,b,62,b),merge(c)].
% 1.06/1.36  2251 hollywood_placename(c1,c3).  [resolve(2250,a,59,b),merge(b)].
% 1.06/1.36  2256 -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | -present(c1,c6) | agent(c7,c12,c11).  [back_unit_del(2214),unit_del(a,2251)].
% 1.06/1.36  2265 -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -agent(c1,c6,B) | -present(c1,c6) | -down(c1,c6,A) | down(c7,c12,c10).  [back_unit_del(2205),unit_del(a,2251)].
% 1.06/1.36  2266 hollywood_placename(c7,c9).  [back_unit_del(2204),unit_del(a,2251)].
% 1.06/1.36  2267 -placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | placename(c7,c9).  [back_unit_del(2203),unit_del(a,2251)].
% 1.06/1.36  2268 -lonely(c1,c5) | lonely(c7,c10).  [back_unit_del(2202),unit_del(a,2251)].
% 1.06/1.36  2269 -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -old(c1,c4) | -present(c1,c6) | street(c7,c10).  [back_unit_del(2201),unit_del(a,2251)].
% 1.06/1.36  2270 -lonely(c1,c5) | -old(c1,c4) | old(c7,c11).  [back_unit_del(2200),unit_del(a,2251)].
% 1.06/1.36  2271 -placename(c1,c3) | -lonely(c1,c5) | -old(c1,c4) | -present(c1,c6) | present(c7,c12).  [back_unit_del(2198),unit_del(a,2251)].
% 1.06/1.36  2272 -placename(c1,c3) | -street(c1,c5) | -lonely(c1,c5) | -white(c1,c4) | -old(c1,c4) | -present(c1,c6) | white(c7,c11).  [back_unit_del(2197),unit_del(a,2251)].
% 1.06/1.36  2281 -placename(c1,c3) | -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | in(c7,c12,c8).  [back_unit_del(2112),unit_del(a,2251)].
% 1.06/1.36  2287 -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | -present(c7,c12) | down(c1,c6,c5).  [back_unit_del(2242),unit_del(a,2266)].
% 1.06/1.36  2295 -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -agent(c7,c12,B) | -present(c7,c12) | -down(c7,c12,A) | in(c1,c6,c2).  [back_unit_del(2233),unit_del(a,2266)].
% 1.06/1.36  2296 -lonely(c7,c10) | -old(c7,c11) | placename(c1,c3).  [back_unit_del(2232),unit_del(a,2266)].
% 1.06/1.36  2297 -lonely(c7,c10) | old(c1,c4).  [back_unit_del(2230),unit_del(a,2266)].
% 1.06/1.36  2298 -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -old(c7,c11) | -present(c7,c12) | white(c1,c4).  [back_unit_del(2228),unit_del(a,2266)].
% 1.06/1.36  2299 -placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | -present(c7,c12) | street(c1,c5).  [back_unit_del(2227),unit_del(a,2266)].
% 1.06/1.36  2300 lonely(c1,c5).  [back_unit_del(2225),unit_del(a,2266)].
% 1.06/1.36  2301 -placename(c7,c9) | -lonely(c7,c10) | -old(c7,c11) | present(c1,c6).  [back_unit_del(2222),unit_del(a,2266)].
% 1.06/1.36  2302 -placename(c7,c9) | -street(c7,c10) | -lonely(c7,c10) | -white(c7,c11) | -old(c7,c11) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(2221),unit_del(a,2266)].
% 1.06/1.36  2303 -placename(c7,c9) | -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | of(c1,c3,c2).  [back_unit_del(2172),unit_del(a,2266)].
% 1.06/1.36  2312 -placename(c1,c3) | -street(c1,c5) | -white(c1,c4) | -old(c1,c4) | -present(c1,c6) | white(c7,c11).  [back_unit_del(2272),unit_del(c,2300)].
% 1.06/1.36  2313 -placename(c1,c3) | -old(c1,c4) | -present(c1,c6) | present(c7,c12).  [back_unit_del(2271),unit_del(b,2300)].
% 1.06/1.36  2314 -old(c1,c4) | old(c7,c11).  [back_unit_del(2270),unit_del(a,2300)].
% 1.06/1.36  2315 -placename(c1,c3) | -street(c1,c5) | -old(c1,c4) | -present(c1,c6) | street(c7,c10).  [back_unit_del(2269),unit_del(c,2300)].
% 1.06/1.36  2316 lonely(c7,c10).  [back_unit_del(2268),unit_del(a,2300)].
% 1.06/1.36  2317 -placename(c1,c3) | -old(c1,c4) | placename(c7,c9).  [back_unit_del(2267),unit_del(b,2300)].
% 1.06/1.36  2319 -placename(c1,c3) | -street(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | -present(c1,c6) | agent(c7,c12,c11).  [back_unit_del(2256),unit_del(c,2300)].
% 1.06/1.36  2324 -placename(c7,c9) | -street(c7,c10) | -white(c7,c11) | -old(c7,c11) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(2302),unit_del(c,2316)].
% 1.06/1.36  2325 -placename(c7,c9) | -old(c7,c11) | present(c1,c6).  [back_unit_del(2301),unit_del(b,2316)].
% 1.06/1.36  2326 -placename(c7,c9) | -old(c7,c11) | -present(c7,c12) | street(c1,c5).  [back_unit_del(2299),unit_del(b,2316)].
% 1.06/1.36  2327 -placename(c7,c9) | -street(c7,c10) | -old(c7,c11) | -present(c7,c12) | white(c1,c4).  [back_unit_del(2298),unit_del(c,2316)].
% 1.06/1.36  2328 old(c1,c4).  [back_unit_del(2297),unit_del(a,2316)].
% 1.06/1.36  2329 -old(c7,c11) | placename(c1,c3).  [back_unit_del(2296),unit_del(a,2316)].
% 1.06/1.36  2330 -placename(c7,c9) | -street(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | -present(c7,c12) | down(c1,c6,c5).  [back_unit_del(2287),unit_del(c,2316)].
% 1.06/1.36  2336 -placename(c1,c3) | placename(c7,c9).  [back_unit_del(2317),unit_del(b,2328)].
% 1.06/1.36  2337 -placename(c1,c3) | -street(c1,c5) | -present(c1,c6) | street(c7,c10).  [back_unit_del(2315),unit_del(c,2328)].
% 1.06/1.36  2338 old(c7,c11).  [back_unit_del(2314),unit_del(a,2328)].
% 1.06/1.36  2339 -placename(c1,c3) | -present(c1,c6) | present(c7,c12).  [back_unit_del(2313),unit_del(b,2328)].
% 1.06/1.36  2340 -placename(c1,c3) | -street(c1,c5) | -white(c1,c4) | -present(c1,c6) | white(c7,c11).  [back_unit_del(2312),unit_del(d,2328)].
% 1.06/1.36  2341 placename(c1,c3).  [back_unit_del(2329),unit_del(a,2338)].
% 1.06/1.36  2342 -placename(c7,c9) | -street(c7,c10) | -present(c7,c12) | white(c1,c4).  [back_unit_del(2327),unit_del(c,2338)].
% 1.06/1.36  2343 -placename(c7,c9) | -present(c7,c12) | street(c1,c5).  [back_unit_del(2326),unit_del(b,2338)].
% 1.06/1.36  2344 -placename(c7,c9) | present(c1,c6).  [back_unit_del(2325),unit_del(b,2338)].
% 1.06/1.36  2345 -placename(c7,c9) | -street(c7,c10) | -white(c7,c11) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(2324),unit_del(d,2338)].
% 1.06/1.36  2346 -street(c1,c5) | -white(c1,c4) | -present(c1,c6) | white(c7,c11).  [back_unit_del(2340),unit_del(a,2341)].
% 1.06/1.36  2347 -present(c1,c6) | present(c7,c12).  [back_unit_del(2339),unit_del(a,2341)].
% 1.06/1.36  2348 -street(c1,c5) | -present(c1,c6) | street(c7,c10).  [back_unit_del(2337),unit_del(a,2341)].
% 1.06/1.36  2349 placename(c7,c9).  [back_unit_del(2336),unit_del(a,2341)].
% 1.06/1.36  2351 -street(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | -present(c1,c6) | agent(c7,c12,c11).  [back_unit_del(2319),unit_del(a,2341)].
% 1.06/1.36  2352 -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2) | in(c7,c12,c8).  [back_unit_del(2281),unit_del(a,2341)].
% 1.06/1.36  2358 -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -agent(c1,c6,B) | -present(c1,c6) | -down(c1,c6,A) | down(c7,c12,c10).  [back_unit_del(2265),unit_del(a,2341)].
% 1.06/1.36  2362 -street(c7,c10) | -white(c7,c11) | -present(c7,c12) | agent(c1,c6,c4).  [back_unit_del(2345),unit_del(a,2349)].
% 1.06/1.36  2363 present(c1,c6).  [back_unit_del(2344),unit_del(a,2349)].
% 1.06/1.36  2364 -present(c7,c12) | street(c1,c5).  [back_unit_del(2343),unit_del(a,2349)].
% 1.06/1.36  2365 -street(c7,c10) | -present(c7,c12) | white(c1,c4).  [back_unit_del(2342),unit_del(a,2349)].
% 1.06/1.36  2367 -street(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | -present(c7,c12) | down(c1,c6,c5).  [back_unit_del(2330),unit_del(a,2349)].
% 1.06/1.36  2373 -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -event(c7,C) | -agent(c7,C,B) | -present(c7,C) | -barrel(c7,C) | -down(c7,C,A) | -in(c7,C,c8) | of(c1,c3,c2).  [back_unit_del(2303),unit_del(a,2349)].
% 1.06/1.36  2374 -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -agent(c7,c12,B) | -present(c7,c12) | -down(c7,c12,A) | in(c1,c6,c2).  [back_unit_del(2295),unit_del(a,2349)].
% 1.06/1.36  2381 -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -agent(c1,c6,B) | -down(c1,c6,A) | down(c7,c12,c10).  [back_unit_del(2358),unit_del(h,2363)].
% 1.06/1.36  2382 -street(c1,c5) | -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | agent(c7,c12,c11).  [back_unit_del(2351),unit_del(g,2363)].
% 1.06/1.36  2384 -street(c1,c5) | street(c7,c10).  [back_unit_del(2348),unit_del(b,2363)].
% 1.06/1.36  2385 present(c7,c12).  [back_unit_del(2347),unit_del(a,2363)].
% 1.06/1.36  2386 -street(c1,c5) | -white(c1,c4) | white(c7,c11).  [back_unit_del(2346),unit_del(c,2363)].
% 1.06/1.36  2390 -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -agent(c7,c12,B) | -down(c7,c12,A) | in(c1,c6,c2).  [back_unit_del(2374),unit_del(h,2385)].
% 1.06/1.36  2391 -street(c7,c10) | -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | down(c1,c6,c5).  [back_unit_del(2367),unit_del(g,2385)].
% 1.06/1.36  2393 -street(c7,c10) | white(c1,c4).  [back_unit_del(2365),unit_del(b,2385)].
% 1.06/1.36  2394 street(c1,c5).  [back_unit_del(2364),unit_del(a,2385)].
% 1.06/1.36  2395 -street(c7,c10) | -white(c7,c11) | agent(c1,c6,c4).  [back_unit_del(2362),unit_del(c,2385)].
% 1.06/1.36  2396 -white(c1,c4) | white(c7,c11).  [back_unit_del(2386),unit_del(a,2394)].
% 1.06/1.36  2397 street(c7,c10).  [back_unit_del(2384),unit_del(a,2394)].
% 1.06/1.36  2399 -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | agent(c7,c12,c11).  [back_unit_del(2382),unit_del(a,2394)].
% 1.06/1.36  2400 -white(c7,c11) | agent(c1,c6,c4).  [back_unit_del(2395),unit_del(a,2397)].
% 1.06/1.36  2401 white(c1,c4).  [back_unit_del(2393),unit_del(a,2397)].
% 1.06/1.36  2403 -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | down(c1,c6,c5).  [back_unit_del(2391),unit_del(a,2397)].
% 1.06/1.36  2404 white(c7,c11).  [back_unit_del(2396),unit_del(a,2401)].
% 1.06/1.36  2405 agent(c1,c6,c4).  [back_unit_del(2400),unit_del(a,2404)].
% 1.06/1.36  2406 agent(c7,c12,c11).  [resolve(2399,e,2405,a),unit_del(a,2022),unit_del(b,2401),unit_del(c,2138),unit_del(d,2328)].
% 1.06/1.36  2407 down(c1,c6,c5).  [resolve(2403,e,2406,a),unit_del(a,2027),unit_del(b,2404),unit_del(c,2177),unit_del(d,2338)].
% 1.06/1.36  2408 -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | down(c7,c12,c10).  [resolve(2381,h,2407,a),unit_del(a,2394),unit_del(b,2300)].
% 1.06/1.36  2409 down(c7,c12,c10).  [resolve(2408,e,2405,a),unit_del(a,2022),unit_del(b,2401),unit_del(c,2138),unit_del(d,2328)].
% 1.06/1.36  2410 -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | in(c1,c6,c2).  [resolve(2390,h,2409,a),unit_del(a,2397),unit_del(b,2316)].
% 1.06/1.36  2411 in(c1,c6,c2).  [resolve(2410,e,2406,a),unit_del(a,2027),unit_del(b,2404),unit_del(c,2177),unit_del(d,2338)].
% 1.06/1.36  2412 -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -agent(c1,c6,B) | -down(c1,c6,A) | in(c7,c12,c8).  [resolve(2411,a,2352,l),unit_del(g,2190),unit_del(i,2363),unit_del(j,1401)].
% 1.06/1.36  2413 -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A) | in(c7,c12,c8).  [resolve(2412,h,2407,a),unit_del(a,2394),unit_del(b,2300)].
% 1.06/1.36  2414 in(c7,c12,c8).  [resolve(2413,e,2405,a),unit_del(a,2022),unit_del(b,2401),unit_del(c,2138),unit_del(d,2328)].
% 1.06/1.36  2415 -street(c7,A) | -lonely(c7,A) | -chevy(c7,B) | -white(c7,B) | -dirty(c7,B) | -old(c7,B) | -agent(c7,c12,B) | -down(c7,c12,A) | of(c1,c3,c2).  [resolve(2414,a,2373,l),unit_del(g,2199),unit_del(i,2385),unit_del(j,1512)].
% 1.06/1.36  2416 -chevy(c7,A) | -white(c7,A) | -dirty(c7,A) | -old(c7,A) | -agent(c7,c12,A) | of(c1,c3,c2).  [resolve(2415,h,2409,a),unit_del(a,2397),unit_del(b,2316)].
% 1.06/1.36  2417 of(c1,c3,c2).  [resolve(2416,e,2406,a),unit_del(a,2027),unit_del(b,2404),unit_del(c,2177),unit_del(d,2338)].
% 1.06/1.36  2418 -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -event(c1,C) | -agent(c1,C,B) | -present(c1,C) | -barrel(c1,C) | -down(c1,C,A) | -in(c1,C,c2).  [resolve(2417,a,342,b),unit_del(a,1321),unit_del(b,2080),unit_del(c,2251),unit_del(d,2341)].
% 1.06/1.36  2419 -street(c1,A) | -lonely(c1,A) | -chevy(c1,B) | -white(c1,B) | -dirty(c1,B) | -old(c1,B) | -agent(c1,c6,B) | -down(c1,c6,A).  [resolve(2418,l,2411,a),unit_del(g,2190),unit_del(i,2363),unit_del(j,1401)].
% 1.06/1.36  2420 -chevy(c1,A) | -white(c1,A) | -dirty(c1,A) | -old(c1,A) | -agent(c1,c6,A).  [resolve(2419,h,2407,a),unit_del(a,2394),unit_del(b,2300)].
% 1.06/1.36  2421 $F.  [resolve(2420,e,2405,a),unit_del(a,2022),unit_del(b,2401),unit_del(c,2138),unit_del(d,2328)].
% 1.11/1.37  
% 1.11/1.37  % SZS output end Refutation
% 1.11/1.37  ============================== end of proof ==========================
% 1.11/1.37  
% 1.11/1.37  ============================== STATISTICS ============================
% 1.11/1.37  
% 1.11/1.37  Given=1571. Generated=9198. Kept=2419. proofs=1.
% 1.11/1.37  Usable=36. Sos=0. Demods=0. Limbo=0, Disabled=2707. Hints=0.
% 1.11/1.37  Megabytes=2.46.
% 1.11/1.37  User_CPU=0.37, System_CPU=0.01, Wall_clock=1.
% 1.11/1.37  
% 1.11/1.37  ============================== end of statistics =====================
% 1.11/1.37  
% 1.11/1.37  ============================== end of search =========================
% 1.11/1.37  
% 1.11/1.37  THEOREM PROVED
% 1.11/1.37  % SZS status Theorem
% 1.11/1.37  
% 1.11/1.37  Exiting with 1 proof.
% 1.11/1.37  
% 1.11/1.37  Process 25412 exit (max_proofs) Fri Jul  1 09:32:27 2022
% 1.11/1.37  Prover9 interrupted
%------------------------------------------------------------------------------