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

% Computer : n029.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:59 EDT 2022

% Result   : Theorem 0.97s 1.28s
% Output   : Refutation 0.97s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12  % Problem  : NLP122+1 : TPTP v8.1.0. Released v2.4.0.
% 0.10/0.12  % Command  : tptp2X_and_run_prover9 %d %s
% 0.12/0.33  % Computer : n029.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 600
% 0.12/0.33  % DateTime : Fri Jul  1 05:01:09 EDT 2022
% 0.12/0.34  % CPUTime  : 
% 0.72/1.02  ============================== Prover9 ===============================
% 0.72/1.02  Prover9 (32) version 2009-11A, November 2009.
% 0.72/1.02  Process 26651 was started by sandbox on n029.cluster.edu,
% 0.72/1.02  Fri Jul  1 05:01:09 2022
% 0.72/1.02  The command was "/export/starexec/sandbox/solver/bin/prover9 -t 300 -f /tmp/Prover9_26498_n029.cluster.edu".
% 0.72/1.02  ============================== end of head ===========================
% 0.72/1.02  
% 0.72/1.02  ============================== INPUT =================================
% 0.72/1.02  
% 0.72/1.02  % Reading from file /tmp/Prover9_26498_n029.cluster.edu
% 0.72/1.02  
% 0.72/1.02  set(prolog_style_variables).
% 0.72/1.02  set(auto2).
% 0.72/1.02      % set(auto2) -> set(auto).
% 0.72/1.02      % set(auto) -> set(auto_inference).
% 0.72/1.02      % set(auto) -> set(auto_setup).
% 0.72/1.02      % set(auto_setup) -> set(predicate_elim).
% 0.72/1.02      % set(auto_setup) -> assign(eq_defs, unfold).
% 0.72/1.02      % set(auto) -> set(auto_limits).
% 0.72/1.02      % set(auto_limits) -> assign(max_weight, "100.000").
% 0.72/1.02      % set(auto_limits) -> assign(sos_limit, 20000).
% 0.72/1.02      % set(auto) -> set(auto_denials).
% 0.72/1.02      % set(auto) -> set(auto_process).
% 0.72/1.02      % set(auto2) -> assign(new_constants, 1).
% 0.72/1.02      % set(auto2) -> assign(fold_denial_max, 3).
% 0.72/1.02      % set(auto2) -> assign(max_weight, "200.000").
% 0.72/1.02      % set(auto2) -> assign(max_hours, 1).
% 0.72/1.02      % assign(max_hours, 1) -> assign(max_seconds, 3600).
% 0.72/1.02      % set(auto2) -> assign(max_seconds, 0).
% 0.72/1.02      % set(auto2) -> assign(max_minutes, 5).
% 0.72/1.02      % assign(max_minutes, 5) -> assign(max_seconds, 300).
% 0.72/1.02      % set(auto2) -> set(sort_initial_sos).
% 0.72/1.02      % set(auto2) -> assign(sos_limit, -1).
% 0.72/1.02      % set(auto2) -> assign(lrs_ticks, 3000).
% 0.72/1.02      % set(auto2) -> assign(max_megs, 400).
% 0.72/1.02      % set(auto2) -> assign(stats, some).
% 0.72/1.02      % set(auto2) -> clear(echo_input).
% 0.72/1.02      % set(auto2) -> set(quiet).
% 0.72/1.02      % set(auto2) -> clear(print_initial_clauses).
% 0.72/1.02      % set(auto2) -> clear(print_given).
% 0.72/1.02  assign(lrs_ticks,-1).
% 0.72/1.02  assign(sos_limit,10000).
% 0.72/1.02  assign(order,kbo).
% 0.72/1.02  set(lex_order_vars).
% 0.72/1.02  clear(print_given).
% 0.72/1.02  
% 0.72/1.02  % formulas(sos).  % not echoed (1 formulas)
% 0.72/1.02  
% 0.72/1.02  ============================== end of input ==========================
% 0.72/1.02  
% 0.72/1.02  % From the command line: assign(max_seconds, 300).
% 0.72/1.02  
% 0.72/1.02  ============================== PROCESS NON-CLAUSAL FORMULAS ==========
% 0.72/1.02  
% 0.72/1.02  % Formulas that are not ordinary clauses:
% 0.72/1.02  1 ---(((exists U (actual_world(U) & (exists V exists W exists X exists Y (of(U,V,W) & city(U,W) & hollywood_placename(U,V) & placename(U,V) & chevy(U,W) & white(U,W) & dirty(U,W) & old(U,W) & street(U,X) & lonely(U,X) & event(U,Y) & agent(U,Y,W) & present(U,Y) & barrel(U,Y) & down(U,Y,X) & in(U,Y,W))))) -> (exists Z (actual_world(Z) & (exists X1 exists X2 exists X3 exists X4 (street(Z,X1) & lonely(Z,X1) & of(Z,X2,X3) & city(Z,X3) & hollywood_placename(Z,X2) & placename(Z,X2) & chevy(Z,X3) & white(Z,X3) & dirty(Z,X3) & old(Z,X3) & event(Z,X4) & agent(Z,X4,X3) & present(Z,X4) & barrel(Z,X4) & down(Z,X4,X1) & in(Z,X4,X3)))))) & ((exists Z (actual_world(Z) & (exists X1 exists X2 exists X3 exists X4 (street(Z,X1) & lonely(Z,X1) & of(Z,X2,X3) & city(Z,X3) & hollywood_placename(Z,X2) & placename(Z,X2) & chevy(Z,X3) & white(Z,X3) & dirty(Z,X3) & old(Z,X3) & event(Z,X4) & agent(Z,X4,X3) & present(Z,X4) & barrel(Z,X4) & down(Z,X4,X1) & in(Z,X4,X3))))) -> (exists U (actual_world(U) & (exists V exists W exists X exists Y (of(U,V,W) & city(U,W) & hollywood_placename(U,V) & placename(U,V) & chevy(U,W) & white(U,W) & dirty(U,W) & old(U,W) & street(U,X) & lonely(U,X) & event(U,Y) & agent(U,Y,W) & present(U,Y) & barrel(U,Y) & down(U,Y,X) & in(U,Y,W))))))) # label(co1) # label(negated_conjecture) # label(non_clause).  [assumption].
% 0.72/1.02  
% 0.72/1.02  ============================== end of process non-clausal formulas ===
% 0.72/1.02  
% 0.72/1.02  ============================== PROCESS INITIAL CLAUSES ===============
% 0.72/1.02  
% 0.72/1.02  ============================== PREDICATE ELIMINATION =================
% 0.72/1.02  
% 0.72/1.02  ============================== end predicate elimination =============
% 0.72/1.02  
% 0.72/1.02  Auto_denials:  (non-Horn, no changes).
% 0.72/1.02  
% 0.72/1.02  Term ordering decisions:
% 0.72/1.02  Function symbol KB weights:  c1=1. c2=1. c3=1. c4=1. c5=1. c6=1. c7=1. c8=1. c9=1. c10=1.
% 0.72/1.02  
% 0.72/1.02  ============================== end of process initial clauses ========
% 0.72/1.02  
% 0.72/1.02  ============================== CLAUSES FOR SEARCH ====================
% 0.72/1.02  
% 0.72/1.02  ============================== end of clauses for search =============
% 0.97/1.28  
% 0.97/1.28  ============================== SEARCH ================================
% 0.97/1.28  
% 0.97/1.28  % Starting search at 0.04 seconds.
% 0.97/1.28  
% 0.97/1.28  ============================== PROOF =================================
% 0.97/1.28  % SZS status Theorem
% 0.97/1.28  % SZS output start Refutation
% 0.97/1.28  
% 0.97/1.28  % Proof 1 at 0.29 (+ 0.01) seconds.
% 0.97/1.28  % Length of proof is 841.
% 0.97/1.28  % Level of proof is 86.
% 0.97/1.28  % Maximum clause weight is 108.000.
% 0.97/1.28  % Given clauses 1480.
% 0.97/1.28  
% 0.97/1.28  1 ---(((exists U (actual_world(U) & (exists V exists W exists X exists Y (of(U,V,W) & city(U,W) & hollywood_placename(U,V) & placename(U,V) & chevy(U,W) & white(U,W) & dirty(U,W) & old(U,W) & street(U,X) & lonely(U,X) & event(U,Y) & agent(U,Y,W) & present(U,Y) & barrel(U,Y) & down(U,Y,X) & in(U,Y,W))))) -> (exists Z (actual_world(Z) & (exists X1 exists X2 exists X3 exists X4 (street(Z,X1) & lonely(Z,X1) & of(Z,X2,X3) & city(Z,X3) & hollywood_placename(Z,X2) & placename(Z,X2) & chevy(Z,X3) & white(Z,X3) & dirty(Z,X3) & old(Z,X3) & event(Z,X4) & agent(Z,X4,X3) & present(Z,X4) & barrel(Z,X4) & down(Z,X4,X1) & in(Z,X4,X3)))))) & ((exists Z (actual_world(Z) & (exists X1 exists X2 exists X3 exists X4 (street(Z,X1) & lonely(Z,X1) & of(Z,X2,X3) & city(Z,X3) & hollywood_placename(Z,X2) & placename(Z,X2) & chevy(Z,X3) & white(Z,X3) & dirty(Z,X3) & old(Z,X3) & event(Z,X4) & agent(Z,X4,X3) & present(Z,X4) & barrel(Z,X4) & down(Z,X4,X1) & in(Z,X4,X3))))) -> (exists U (actual_world(U) & (exists V exists W exists X exists Y (of(U,V,W) & city(U,W) & hollywood_placename(U,V) & placename(U,V) & chevy(U,W) & white(U,W) & dirty(U,W) & old(U,W) & street(U,X) & lonely(U,X) & event(U,Y) & agent(U,Y,W) & present(U,Y) & barrel(U,Y) & down(U,Y,X) & in(U,Y,W))))))) # label(co1) # label(negated_conjecture) # label(non_clause).  [assumption].
% 0.97/1.28  2 actual_world(c1) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  3 actual_world(c1) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  4 actual_world(c1) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  5 actual_world(c1) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  6 actual_world(c1) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  7 actual_world(c1) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  8 actual_world(c1) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  9 actual_world(c1) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  10 actual_world(c1) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  11 actual_world(c1) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  12 actual_world(c1) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  13 actual_world(c1) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  14 actual_world(c1) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  15 actual_world(c1) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  16 actual_world(c1) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  17 actual_world(c1) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  18 actual_world(c1) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  20 of(c1,c2,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  21 of(c1,c2,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  22 of(c1,c2,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  23 of(c1,c2,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  24 of(c1,c2,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  25 of(c1,c2,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  26 of(c1,c2,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  27 of(c1,c2,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  28 of(c1,c2,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  29 of(c1,c2,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  30 of(c1,c2,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  31 of(c1,c2,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  32 of(c1,c2,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  33 of(c1,c2,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  34 of(c1,c2,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  35 of(c1,c2,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  36 of(c1,c2,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  38 city(c1,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  39 city(c1,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  40 city(c1,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  41 city(c1,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  42 city(c1,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  43 city(c1,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  44 city(c1,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  45 city(c1,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  46 city(c1,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  47 city(c1,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  48 city(c1,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  49 city(c1,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  50 city(c1,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  51 city(c1,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  52 city(c1,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  53 city(c1,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  54 city(c1,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  56 hollywood_placename(c1,c2) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  57 hollywood_placename(c1,c2) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  58 hollywood_placename(c1,c2) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  59 hollywood_placename(c1,c2) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  60 hollywood_placename(c1,c2) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  61 hollywood_placename(c1,c2) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  62 hollywood_placename(c1,c2) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  63 hollywood_placename(c1,c2) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  64 hollywood_placename(c1,c2) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  65 hollywood_placename(c1,c2) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  66 hollywood_placename(c1,c2) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  67 hollywood_placename(c1,c2) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  68 hollywood_placename(c1,c2) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  69 hollywood_placename(c1,c2) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  70 hollywood_placename(c1,c2) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  71 hollywood_placename(c1,c2) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  72 hollywood_placename(c1,c2) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  74 placename(c1,c2) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  75 placename(c1,c2) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  76 placename(c1,c2) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  77 placename(c1,c2) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  78 placename(c1,c2) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  79 placename(c1,c2) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  80 placename(c1,c2) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  81 placename(c1,c2) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  82 placename(c1,c2) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  83 placename(c1,c2) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  84 placename(c1,c2) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  85 placename(c1,c2) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  86 placename(c1,c2) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  87 placename(c1,c2) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  88 placename(c1,c2) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  89 placename(c1,c2) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  90 placename(c1,c2) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  92 chevy(c1,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  93 chevy(c1,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  94 chevy(c1,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  95 chevy(c1,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  96 chevy(c1,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  97 chevy(c1,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  98 chevy(c1,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  99 chevy(c1,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  100 chevy(c1,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  101 chevy(c1,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  102 chevy(c1,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  103 chevy(c1,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  104 chevy(c1,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  105 chevy(c1,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  106 chevy(c1,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  107 chevy(c1,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  108 chevy(c1,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  110 white(c1,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  111 white(c1,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  112 white(c1,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  113 white(c1,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  114 white(c1,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  115 white(c1,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  116 white(c1,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  117 white(c1,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  118 white(c1,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  119 white(c1,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  120 white(c1,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  121 white(c1,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  122 white(c1,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  123 white(c1,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  124 white(c1,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  125 white(c1,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  126 white(c1,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  128 dirty(c1,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  129 dirty(c1,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  130 dirty(c1,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  131 dirty(c1,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  132 dirty(c1,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  133 dirty(c1,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  134 dirty(c1,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  135 dirty(c1,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  136 dirty(c1,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  137 dirty(c1,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  138 dirty(c1,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  139 dirty(c1,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  140 dirty(c1,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  141 dirty(c1,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  142 dirty(c1,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  143 dirty(c1,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  144 dirty(c1,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  146 old(c1,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  147 old(c1,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  148 old(c1,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  149 old(c1,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  150 old(c1,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  151 old(c1,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  152 old(c1,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  153 old(c1,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  154 old(c1,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  155 old(c1,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  156 old(c1,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  157 old(c1,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  158 old(c1,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  159 old(c1,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  160 old(c1,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  161 old(c1,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  162 old(c1,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  164 street(c1,c4) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  165 street(c1,c4) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  166 street(c1,c4) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  167 street(c1,c4) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  168 street(c1,c4) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  169 street(c1,c4) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  170 street(c1,c4) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  171 street(c1,c4) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  172 street(c1,c4) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  173 street(c1,c4) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  174 street(c1,c4) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  175 street(c1,c4) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  176 street(c1,c4) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  177 street(c1,c4) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  178 street(c1,c4) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  179 street(c1,c4) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  180 street(c1,c4) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  182 lonely(c1,c4) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  183 lonely(c1,c4) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  184 lonely(c1,c4) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  185 lonely(c1,c4) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  186 lonely(c1,c4) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  187 lonely(c1,c4) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  188 lonely(c1,c4) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  189 lonely(c1,c4) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  190 lonely(c1,c4) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  191 lonely(c1,c4) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  192 lonely(c1,c4) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  193 lonely(c1,c4) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  194 lonely(c1,c4) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  195 lonely(c1,c4) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  196 lonely(c1,c4) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  197 lonely(c1,c4) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  198 lonely(c1,c4) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  200 event(c1,c5) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  201 event(c1,c5) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  202 event(c1,c5) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  203 event(c1,c5) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  204 event(c1,c5) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  205 event(c1,c5) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  206 event(c1,c5) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  207 event(c1,c5) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  208 event(c1,c5) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  209 event(c1,c5) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  210 event(c1,c5) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  211 event(c1,c5) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  212 event(c1,c5) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  213 event(c1,c5) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  214 event(c1,c5) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  215 event(c1,c5) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  216 event(c1,c5) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  218 agent(c1,c5,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  219 agent(c1,c5,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  220 agent(c1,c5,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  221 agent(c1,c5,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  222 agent(c1,c5,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  223 agent(c1,c5,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  224 agent(c1,c5,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  225 agent(c1,c5,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  226 agent(c1,c5,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  227 agent(c1,c5,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  228 agent(c1,c5,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  229 agent(c1,c5,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  230 agent(c1,c5,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  231 agent(c1,c5,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  232 agent(c1,c5,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  233 agent(c1,c5,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  234 agent(c1,c5,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  236 present(c1,c5) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  237 present(c1,c5) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  238 present(c1,c5) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  239 present(c1,c5) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  240 present(c1,c5) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  241 present(c1,c5) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  242 present(c1,c5) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  243 present(c1,c5) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  244 present(c1,c5) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  245 present(c1,c5) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  246 present(c1,c5) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  247 present(c1,c5) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  248 present(c1,c5) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  249 present(c1,c5) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  250 present(c1,c5) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  251 present(c1,c5) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  252 present(c1,c5) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  254 barrel(c1,c5) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  255 barrel(c1,c5) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  256 barrel(c1,c5) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  257 barrel(c1,c5) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  258 barrel(c1,c5) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  259 barrel(c1,c5) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  260 barrel(c1,c5) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  261 barrel(c1,c5) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  262 barrel(c1,c5) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  263 barrel(c1,c5) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  264 barrel(c1,c5) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  265 barrel(c1,c5) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  266 barrel(c1,c5) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  267 barrel(c1,c5) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  268 barrel(c1,c5) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  269 barrel(c1,c5) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  270 barrel(c1,c5) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  272 down(c1,c5,c4) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  273 down(c1,c5,c4) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  274 down(c1,c5,c4) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  275 down(c1,c5,c4) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  276 down(c1,c5,c4) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  277 down(c1,c5,c4) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  278 down(c1,c5,c4) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  279 down(c1,c5,c4) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  280 down(c1,c5,c4) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  281 down(c1,c5,c4) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  282 down(c1,c5,c4) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  283 down(c1,c5,c4) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  284 down(c1,c5,c4) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  285 down(c1,c5,c4) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  286 down(c1,c5,c4) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  287 down(c1,c5,c4) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  288 down(c1,c5,c4) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  290 in(c1,c5,c3) | actual_world(c6) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  291 in(c1,c5,c3) | street(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  292 in(c1,c5,c3) | lonely(c6,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  293 in(c1,c5,c3) | of(c6,c8,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  294 in(c1,c5,c3) | city(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  295 in(c1,c5,c3) | hollywood_placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  296 in(c1,c5,c3) | placename(c6,c8) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  297 in(c1,c5,c3) | chevy(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  298 in(c1,c5,c3) | white(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  299 in(c1,c5,c3) | dirty(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  300 in(c1,c5,c3) | old(c6,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  301 in(c1,c5,c3) | event(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  302 in(c1,c5,c3) | agent(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  303 in(c1,c5,c3) | present(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  304 in(c1,c5,c3) | barrel(c6,c10) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  305 in(c1,c5,c3) | down(c6,c10,c7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  306 in(c1,c5,c3) | in(c6,c10,c9) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  325 -actual_world(A) | -street(A,B) | -lonely(A,B) | -of(A,C,D) | -city(A,D) | -hollywood_placename(A,C) | -placename(A,C) | -chevy(A,D) | -white(A,D) | -dirty(A,D) | -old(A,D) | -event(A,E) | -agent(A,E,D) | -present(A,E) | -barrel(A,E) | -down(A,E,B) | -in(A,E,D) | -actual_world(F) | -of(F,V6,V7) | -city(F,V7) | -hollywood_placename(F,V6) | -placename(F,V6) | -chevy(F,V7) | -white(F,V7) | -dirty(F,V7) | -old(F,V7) | -street(F,V8) | -lonely(F,V8) | -event(F,V9) | -agent(F,V9,V7) | -present(F,V9) | -barrel(F,V9) | -down(F,V9,V8) | -in(F,V9,V7) # label(co1) # label(negated_conjecture).  [clausify(1)].
% 0.97/1.28  328 -actual_world(A) | -street(A,B) | -lonely(A,B) | -of(A,C,D) | -city(A,D) | -hollywood_placename(A,C) | -placename(A,C) | -chevy(A,D) | -white(A,D) | -dirty(A,D) | -old(A,D) | -event(A,E) | -agent(A,E,D) | -present(A,E) | -barrel(A,E) | -down(A,E,B) | -in(A,E,D) | -street(A,F) | -lonely(A,F) | -event(A,V6) | -agent(A,V6,D) | -present(A,V6) | -barrel(A,V6) | -down(A,V6,F) | -in(A,V6,D).  [factor(325,d,s),merge(r),merge(s),merge(t),merge(u),merge(v),merge(w),merge(x),merge(y)].
% 0.97/1.28  335 -actual_world(A) | -street(A,B) | -lonely(A,B) | -of(A,C,D) | -city(A,D) | -hollywood_placename(A,C) | -placename(A,C) | -chevy(A,D) | -white(A,D) | -dirty(A,D) | -old(A,D) | -event(A,E) | -agent(A,E,D) | -present(A,E) | -barrel(A,E) | -down(A,E,B) | -in(A,E,D).  [factor(328,p,x),merge(r),merge(s),merge(t),merge(u),merge(v),merge(w),merge(x)].
% 0.97/1.28  336 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | in(c1,c5,c3).  [resolve(335,d,293,b)].
% 0.97/1.28  337 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | down(c1,c5,c4).  [resolve(335,d,275,b)].
% 0.97/1.28  338 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | barrel(c1,c5).  [resolve(335,d,257,b)].
% 0.97/1.28  339 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | present(c1,c5).  [resolve(335,d,239,b)].
% 0.97/1.28  340 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | agent(c1,c5,c3).  [resolve(335,d,221,b)].
% 0.97/1.28  341 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | event(c1,c5).  [resolve(335,d,203,b)].
% 0.97/1.28  342 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | lonely(c1,c4).  [resolve(335,d,185,b)].
% 0.97/1.28  343 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | street(c1,c4).  [resolve(335,d,167,b)].
% 0.97/1.28  344 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | old(c1,c3).  [resolve(335,d,149,b)].
% 0.97/1.28  345 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | dirty(c1,c3).  [resolve(335,d,131,b)].
% 0.97/1.28  346 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | white(c1,c3).  [resolve(335,d,113,b)].
% 0.97/1.28  347 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | chevy(c1,c3).  [resolve(335,d,95,b)].
% 0.97/1.28  348 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | placename(c1,c2).  [resolve(335,d,77,b)].
% 0.97/1.28  349 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | hollywood_placename(c1,c2).  [resolve(335,d,59,b)].
% 0.97/1.28  350 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | city(c1,c3).  [resolve(335,d,41,b)].
% 0.97/1.28  351 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [resolve(335,d,36,a)].
% 0.97/1.28  352 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | down(c6,c10,c7).  [resolve(335,d,35,a)].
% 0.97/1.28  353 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | barrel(c6,c10).  [resolve(335,d,34,a)].
% 0.97/1.28  354 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | present(c6,c10).  [resolve(335,d,33,a)].
% 0.97/1.28  355 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | agent(c6,c10,c9).  [resolve(335,d,32,a)].
% 0.97/1.28  356 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | event(c6,c10).  [resolve(335,d,31,a)].
% 0.97/1.28  357 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | old(c6,c9).  [resolve(335,d,30,a)].
% 0.97/1.28  358 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | dirty(c6,c9).  [resolve(335,d,29,a)].
% 0.97/1.28  359 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | white(c6,c9).  [resolve(335,d,28,a)].
% 0.97/1.28  360 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | chevy(c6,c9).  [resolve(335,d,27,a)].
% 0.97/1.28  361 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | placename(c6,c8).  [resolve(335,d,26,a)].
% 0.97/1.28  362 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | hollywood_placename(c6,c8).  [resolve(335,d,25,a)].
% 0.97/1.28  363 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | city(c6,c9).  [resolve(335,d,24,a)].
% 0.97/1.28  364 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [resolve(335,d,23,b)].
% 0.97/1.28  365 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | lonely(c6,c7).  [resolve(335,d,22,a)].
% 0.97/1.28  366 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | street(c6,c7).  [resolve(335,d,21,a)].
% 0.97/1.28  367 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | actual_world(c6).  [resolve(335,d,20,a)].
% 0.97/1.28  368 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | actual_world(c1).  [resolve(335,d,5,b)].
% 0.97/1.28  369 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [resolve(336,p,306,b),merge(q)].
% 0.97/1.28  424 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | down(c1,c5,c4).  [resolve(337,p,288,b),merge(q)].
% 0.97/1.28  463 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | barrel(c1,c5).  [resolve(338,p,270,b),merge(q)].
% 0.97/1.28  486 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | present(c1,c5).  [resolve(339,p,252,b),merge(q)].
% 0.97/1.28  493 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | agent(c1,c5,c3).  [resolve(340,p,234,b),merge(q)].
% 0.97/1.28  498 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | event(c1,c5).  [resolve(341,p,216,b),merge(q)].
% 0.97/1.28  503 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | lonely(c1,c4).  [resolve(342,p,198,b),merge(q)].
% 0.97/1.28  508 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | street(c1,c4).  [resolve(343,p,180,b),merge(q)].
% 0.97/1.28  512 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | old(c1,c3).  [resolve(344,p,162,b),merge(q)].
% 0.97/1.28  524 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | dirty(c1,c3).  [resolve(345,p,144,b),merge(q)].
% 0.97/1.28  531 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | white(c1,c3).  [resolve(346,p,126,b),merge(q)].
% 0.97/1.28  536 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | chevy(c1,c3).  [resolve(347,p,108,b),merge(q)].
% 0.97/1.28  540 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | placename(c1,c2).  [resolve(348,p,90,b),merge(q)].
% 0.97/1.28  549 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | hollywood_placename(c1,c2).  [resolve(349,p,72,b),merge(q)].
% 0.97/1.28  552 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | city(c1,c3).  [resolve(350,p,54,b),merge(q)].
% 0.97/1.28  575 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [resolve(352,p,305,a),merge(q)].
% 0.97/1.28  582 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | barrel(c6,c10).  [resolve(353,p,304,a),merge(q)].
% 0.97/1.28  588 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | present(c6,c10).  [resolve(354,p,303,a),merge(q)].
% 0.97/1.28  591 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | agent(c6,c10,c9).  [resolve(355,p,302,a),merge(q)].
% 0.97/1.28  595 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | event(c6,c10).  [resolve(356,p,301,a),merge(q)].
% 0.97/1.28  600 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | old(c6,c9).  [resolve(357,p,300,a),merge(q)].
% 0.97/1.28  604 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | dirty(c6,c9).  [resolve(358,p,299,a),merge(q)].
% 0.97/1.28  608 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | white(c6,c9).  [resolve(359,p,298,a),merge(q)].
% 0.97/1.28  614 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | chevy(c6,c9).  [resolve(360,p,297,a),merge(q)].
% 0.97/1.28  617 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | placename(c6,c8).  [resolve(361,p,296,a),merge(q)].
% 0.97/1.28  622 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | hollywood_placename(c6,c8).  [resolve(362,p,295,a),merge(q)].
% 0.97/1.28  627 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | city(c6,c9).  [resolve(363,p,294,a),merge(q)].
% 0.97/1.28  636 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | lonely(c6,c7).  [resolve(365,p,292,a),merge(q)].
% 0.97/1.28  641 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | street(c6,c7).  [resolve(366,p,291,a),merge(q)].
% 0.97/1.28  646 -actual_world(c1) | -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | actual_world(c6).  [resolve(367,p,290,a),merge(q)].
% 0.97/1.28  651 -actual_world(c6) | -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | actual_world(c1).  [resolve(368,p,18,b),merge(q)].
% 0.97/1.28  731 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | down(c1,c5,c4).  [resolve(424,o,287,b),merge(p)].
% 0.97/1.28  735 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(463,o,269,b),merge(p)].
% 0.97/1.28  739 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | present(c1,c5).  [resolve(486,o,251,b),merge(p)].
% 0.97/1.28  749 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | agent(c1,c5,c3).  [resolve(493,o,233,b),merge(p)].
% 0.97/1.28  757 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | event(c1,c5).  [resolve(498,o,215,b),merge(p)].
% 0.97/1.28  762 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | lonely(c1,c4).  [resolve(503,o,197,b),merge(p)].
% 0.97/1.28  766 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | street(c1,c4).  [resolve(508,o,179,b),merge(p)].
% 0.97/1.28  770 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | old(c1,c3).  [resolve(512,o,161,b),merge(p)].
% 0.97/1.28  774 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | dirty(c1,c3).  [resolve(524,o,143,b),merge(p)].
% 0.97/1.28  779 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | white(c1,c3).  [resolve(531,o,125,b),merge(p)].
% 0.97/1.28  783 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | chevy(c1,c3).  [resolve(536,o,107,b),merge(p)].
% 0.97/1.28  789 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | placename(c1,c2).  [resolve(540,o,89,b),merge(p)].
% 0.97/1.28  792 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | hollywood_placename(c1,c2).  [resolve(549,o,71,b),merge(p)].
% 0.97/1.28  797 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | city(c1,c3).  [resolve(552,o,53,b),merge(p)].
% 0.97/1.28  820 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | barrel(c6,c10).  [resolve(582,o,286,a),merge(p)].
% 0.97/1.28  824 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | present(c6,c10).  [resolve(588,o,285,a),merge(p)].
% 0.97/1.28  829 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | agent(c6,c10,c9).  [resolve(591,o,284,a),merge(p)].
% 0.97/1.28  833 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | event(c6,c10).  [resolve(595,o,283,a),merge(p)].
% 0.97/1.28  838 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | old(c6,c9).  [resolve(600,o,282,a),merge(p)].
% 0.97/1.28  842 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | dirty(c6,c9).  [resolve(604,o,281,a),merge(p)].
% 0.97/1.28  847 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | white(c6,c9).  [resolve(608,o,280,a),merge(p)].
% 0.97/1.28  851 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | chevy(c6,c9).  [resolve(614,o,279,a),merge(p)].
% 0.97/1.28  859 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | placename(c6,c8).  [resolve(617,o,278,a),merge(p)].
% 0.97/1.28  865 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | hollywood_placename(c6,c8).  [resolve(622,o,277,a),merge(p)].
% 0.97/1.28  868 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | city(c6,c9).  [resolve(627,o,276,a),merge(p)].
% 0.97/1.28  873 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | lonely(c6,c7).  [resolve(636,o,274,a),merge(p)].
% 0.97/1.28  877 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | street(c6,c7).  [resolve(641,o,273,a),merge(p)].
% 0.97/1.28  881 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(646,o,272,a),merge(p)].
% 0.97/1.28  896 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(881,l,218,a),merge(o)].
% 0.97/1.28  897 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(651,o,17,b),merge(p)].
% 0.97/1.28  909 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(896,h,110,a),merge(n)].
% 0.97/1.28  920 -actual_world(c1) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(909,b,164,a),merge(m)].
% 0.97/1.28  930 -actual_world(c1) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(920,j,236,a),merge(l)].
% 0.97/1.28  939 -actual_world(c1) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(930,e,74,a),merge(k)].
% 0.97/1.28  948 -actual_world(c1) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(939,g,146,a),merge(j)].
% 0.97/1.28  955 -actual_world(c1) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(948,b,182,a),merge(i)].
% 0.97/1.28  961 -actual_world(c1) | -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | -barrel(c1,c5) | actual_world(c6).  [resolve(955,c,56,a),merge(h)].
% 0.97/1.28  966 -actual_world(c1) | -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | -barrel(c1,c5) | actual_world(c6).  [resolve(961,e,200,a),merge(g)].
% 0.97/1.28  974 -actual_world(c1) | -city(c1,c3) | -chevy(c1,c3) | -barrel(c1,c5) | actual_world(c6).  [resolve(966,d,128,a),merge(f)].
% 0.97/1.28  977 -actual_world(c1) | -chevy(c1,c3) | -barrel(c1,c5) | actual_world(c6).  [resolve(974,b,38,a),merge(e)].
% 0.97/1.28  979 -actual_world(c1) | -barrel(c1,c5) | actual_world(c6).  [resolve(977,b,92,a),merge(d)].
% 0.97/1.28  980 -actual_world(c1) | actual_world(c6).  [resolve(979,b,254,a),merge(c)].
% 0.97/1.28  1048 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(735,l,266,b),merge(o)].
% 0.97/1.28  1050 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1048,h,262,b),merge(n)].
% 0.97/1.28  1051 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1050,b,255,b),merge(m)].
% 0.97/1.28  1052 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | present(c1,c5).  [resolve(739,l,248,b),merge(o)].
% 0.97/1.28  1053 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1051,j,267,b),merge(l)].
% 0.97/1.28  1054 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1053,e,260,b),merge(k)].
% 0.97/1.28  1055 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1054,g,264,b),merge(j)].
% 0.97/1.28  1056 -actual_world(c6) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1055,b,256,b),merge(i)].
% 0.97/1.28  1057 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | agent(c1,c5,c3).  [resolve(749,l,230,b),merge(o)].
% 0.97/1.28  1058 -actual_world(c6) | -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1056,c,259,b),merge(h)].
% 0.97/1.28  1059 -actual_world(c6) | -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1058,e,265,b),merge(g)].
% 0.97/1.28  1060 -actual_world(c6) | -city(c6,c9) | -chevy(c6,c9) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1059,d,263,b),merge(f)].
% 0.97/1.28  1061 -actual_world(c6) | -chevy(c6,c9) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1060,b,258,b),merge(e)].
% 0.97/1.28  1062 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | event(c1,c5).  [resolve(757,l,212,b),merge(o)].
% 0.97/1.28  1063 -actual_world(c6) | -barrel(c6,c10) | barrel(c1,c5).  [resolve(1061,b,261,b),merge(d)].
% 0.97/1.28  1064 -actual_world(c6) | barrel(c1,c5).  [resolve(1063,b,268,b),merge(c)].
% 0.97/1.28  1066 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | lonely(c1,c4).  [resolve(762,l,194,b),merge(o)].
% 0.97/1.28  1067 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | present(c1,c5).  [resolve(1052,h,244,b),merge(n)].
% 0.97/1.28  1068 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | present(c1,c5).  [resolve(1067,b,237,b),merge(m)].
% 0.97/1.28  1069 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | present(c1,c5).  [resolve(1068,j,249,b),merge(l)].
% 0.97/1.28  1079 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | street(c1,c4).  [resolve(766,l,176,b),merge(o)].
% 0.97/1.28  1106 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | old(c1,c3).  [resolve(770,l,158,b),merge(o)].
% 0.97/1.28  1117 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | dirty(c1,c3).  [resolve(774,l,140,b),merge(o)].
% 0.97/1.28  1121 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | white(c1,c3).  [resolve(779,l,122,b),merge(o)].
% 0.97/1.28  1129 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | chevy(c1,c3).  [resolve(783,l,104,b),merge(o)].
% 0.97/1.28  1133 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | placename(c1,c2).  [resolve(789,l,86,b),merge(o)].
% 0.97/1.28  1140 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | hollywood_placename(c1,c2).  [resolve(792,l,68,b),merge(o)].
% 0.97/1.28  1146 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | city(c1,c3).  [resolve(797,l,50,b),merge(o)].
% 0.97/1.28  1149 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | barrel(c6,c10).  [resolve(820,l,232,a),merge(o)].
% 0.97/1.28  1153 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | present(c6,c10).  [resolve(824,l,231,a),merge(o)].
% 0.97/1.28  1174 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | event(c6,c10).  [resolve(833,l,229,a),merge(o)].
% 0.97/1.28  1179 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | old(c6,c9).  [resolve(838,l,228,a),merge(o)].
% 0.97/1.28  1183 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | dirty(c6,c9).  [resolve(842,l,227,a),merge(o)].
% 0.97/1.28  1187 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | white(c6,c9).  [resolve(847,l,226,a),merge(o)].
% 0.97/1.28  1191 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | chevy(c6,c9).  [resolve(851,l,225,a),merge(o)].
% 0.97/1.28  1196 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | placename(c6,c8).  [resolve(859,l,224,a),merge(o)].
% 0.97/1.28  1200 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | hollywood_placename(c6,c8).  [resolve(865,l,223,a),merge(o)].
% 0.97/1.28  1206 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | city(c6,c9).  [resolve(868,l,222,a),merge(o)].
% 0.97/1.28  1209 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | lonely(c6,c7).  [resolve(873,l,220,a),merge(o)].
% 0.97/1.28  1214 -actual_world(c1) | -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | street(c6,c7).  [resolve(877,l,219,a),merge(o)].
% 0.97/1.28  1219 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(897,l,14,b),merge(o)].
% 0.97/1.28  1244 -actual_world(c6) | -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(1219,h,10,b),merge(n)].
% 0.97/1.28  1254 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(1244,b,3,b),merge(m)].
% 0.97/1.28  1263 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(1254,j,15,b),merge(l)].
% 0.97/1.28  1273 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(1263,e,8,b),merge(k)].
% 0.97/1.28  1281 -actual_world(c6) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(1273,g,12,b),merge(j)].
% 0.97/1.28  1288 -actual_world(c6) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(1281,b,4,b),merge(i)].
% 0.97/1.28  1294 -actual_world(c6) | -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | actual_world(c1).  [resolve(1288,c,7,b),merge(h)].
% 0.97/1.28  1300 -actual_world(c6) | -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | -barrel(c6,c10) | actual_world(c1).  [resolve(1294,e,13,b),merge(g)].
% 0.97/1.28  1304 -actual_world(c6) | -city(c6,c9) | -chevy(c6,c9) | -barrel(c6,c10) | actual_world(c1).  [resolve(1300,d,11,b),merge(f)].
% 0.97/1.28  1307 -actual_world(c6) | -chevy(c6,c9) | -barrel(c6,c10) | actual_world(c1).  [resolve(1304,b,6,b),merge(e)].
% 0.97/1.28  1309 -actual_world(c6) | -barrel(c6,c10) | actual_world(c1).  [resolve(1307,b,9,b),merge(d)].
% 0.97/1.28  1313 -actual_world(c6) | actual_world(c1).  [resolve(1309,b,16,b),merge(c)].
% 0.97/1.28  1314 actual_world(c1).  [resolve(1313,a,2,b),merge(b)].
% 0.97/1.28  1315 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | street(c6,c7).  [back_unit_del(1214),unit_del(a,1314)].
% 0.97/1.28  1316 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | lonely(c6,c7).  [back_unit_del(1209),unit_del(a,1314)].
% 0.97/1.28  1317 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | city(c6,c9).  [back_unit_del(1206),unit_del(a,1314)].
% 0.97/1.28  1318 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | hollywood_placename(c6,c8).  [back_unit_del(1200),unit_del(a,1314)].
% 0.97/1.28  1319 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | placename(c6,c8).  [back_unit_del(1196),unit_del(a,1314)].
% 0.97/1.28  1320 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | chevy(c6,c9).  [back_unit_del(1191),unit_del(a,1314)].
% 0.97/1.28  1321 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | white(c6,c9).  [back_unit_del(1187),unit_del(a,1314)].
% 0.97/1.28  1322 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | dirty(c6,c9).  [back_unit_del(1183),unit_del(a,1314)].
% 0.97/1.28  1323 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | old(c6,c9).  [back_unit_del(1179),unit_del(a,1314)].
% 0.97/1.28  1324 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | event(c6,c10).  [back_unit_del(1174),unit_del(a,1314)].
% 0.97/1.28  1325 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | present(c6,c10).  [back_unit_del(1153),unit_del(a,1314)].
% 0.97/1.28  1326 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | -barrel(c1,c5) | barrel(c6,c10).  [back_unit_del(1149),unit_del(a,1314)].
% 0.97/1.28  1327 actual_world(c6).  [back_unit_del(980),unit_del(a,1314)].
% 0.97/1.28  1328 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | agent(c6,c10,c9).  [back_unit_del(829),unit_del(a,1314)].
% 0.97/1.28  1342 -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -barrel(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(575),unit_del(a,1314)].
% 0.97/1.28  1357 -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(351),unit_del(a,1314)].
% 0.97/1.28  1369 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | city(c1,c3).  [back_unit_del(1146),unit_del(a,1327)].
% 0.97/1.28  1370 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | hollywood_placename(c1,c2).  [back_unit_del(1140),unit_del(a,1327)].
% 0.97/1.28  1372 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | placename(c1,c2).  [back_unit_del(1133),unit_del(a,1327)].
% 0.97/1.28  1373 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | chevy(c1,c3).  [back_unit_del(1129),unit_del(a,1327)].
% 0.97/1.28  1375 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | white(c1,c3).  [back_unit_del(1121),unit_del(a,1327)].
% 0.97/1.28  1376 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | dirty(c1,c3).  [back_unit_del(1117),unit_del(a,1327)].
% 0.97/1.28  1377 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | old(c1,c3).  [back_unit_del(1106),unit_del(a,1327)].
% 0.97/1.28  1378 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | street(c1,c4).  [back_unit_del(1079),unit_del(a,1327)].
% 0.97/1.28  1380 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -barrel(c6,c10) | present(c1,c5).  [back_unit_del(1069),unit_del(a,1327)].
% 0.97/1.28  1381 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | lonely(c1,c4).  [back_unit_del(1066),unit_del(a,1327)].
% 0.97/1.28  1382 barrel(c1,c5).  [back_unit_del(1064),unit_del(a,1327)].
% 0.97/1.28  1383 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | event(c1,c5).  [back_unit_del(1062),unit_del(a,1327)].
% 0.97/1.28  1384 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | -barrel(c6,c10) | agent(c1,c5,c3).  [back_unit_del(1057),unit_del(a,1327)].
% 0.97/1.28  1398 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | down(c1,c5,c4).  [back_unit_del(731),unit_del(a,1327)].
% 0.97/1.28  1416 -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -barrel(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(369),unit_del(a,1327)].
% 0.97/1.28  1417 -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(364),unit_del(a,1327)].
% 0.97/1.28  1432 -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(1342),unit_del(m,1382)].
% 0.97/1.28  1446 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(1328),unit_del(m,1382)].
% 0.97/1.28  1447 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | barrel(c6,c10).  [back_unit_del(1326),unit_del(l,1382)].
% 0.97/1.28  1448 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | present(c6,c10).  [back_unit_del(1325),unit_del(l,1382)].
% 0.97/1.28  1449 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | event(c6,c10).  [back_unit_del(1324),unit_del(l,1382)].
% 0.97/1.28  1450 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | old(c6,c9).  [back_unit_del(1323),unit_del(l,1382)].
% 0.97/1.28  1451 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | dirty(c6,c9).  [back_unit_del(1322),unit_del(l,1382)].
% 0.97/1.28  1452 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | white(c6,c9).  [back_unit_del(1321),unit_del(l,1382)].
% 0.97/1.28  1453 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | chevy(c6,c9).  [back_unit_del(1320),unit_del(l,1382)].
% 0.97/1.28  1454 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | placename(c6,c8).  [back_unit_del(1319),unit_del(l,1382)].
% 0.97/1.28  1455 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | hollywood_placename(c6,c8).  [back_unit_del(1318),unit_del(l,1382)].
% 0.97/1.28  1456 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | city(c6,c9).  [back_unit_del(1317),unit_del(l,1382)].
% 0.97/1.28  1457 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | lonely(c6,c7).  [back_unit_del(1316),unit_del(l,1382)].
% 0.97/1.28  1458 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | street(c6,c7).  [back_unit_del(1315),unit_del(l,1382)].
% 0.97/1.28  1459 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | barrel(c6,c10).  [resolve(1447,g,124,a),merge(l)].
% 0.97/1.28  1460 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | barrel(c6,c10).  [resolve(1459,a,178,a),merge(k)].
% 0.97/1.28  1461 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | barrel(c6,c10).  [resolve(1460,i,250,a),merge(j)].
% 0.97/1.28  1462 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | barrel(c6,c10).  [resolve(1461,d,88,a),merge(i)].
% 0.97/1.28  1463 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | barrel(c6,c10).  [resolve(1462,f,160,a),merge(h)].
% 0.97/1.28  1464 -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | barrel(c6,c10).  [resolve(1463,a,196,a),merge(g)].
% 0.97/1.28  1465 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | barrel(c6,c10).  [resolve(1464,b,70,a),merge(f)].
% 0.97/1.28  1466 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | barrel(c6,c10).  [resolve(1465,d,214,a),merge(e)].
% 0.97/1.28  1467 -city(c1,c3) | -chevy(c1,c3) | barrel(c6,c10).  [resolve(1466,c,142,a),merge(d)].
% 0.97/1.28  1468 -chevy(c1,c3) | barrel(c6,c10).  [resolve(1467,a,52,a),merge(c)].
% 0.97/1.28  1469 barrel(c6,c10).  [resolve(1468,a,106,a),merge(b)].
% 0.97/1.28  1470 -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(1416),unit_del(m,1469)].
% 0.97/1.28  1488 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(1398),unit_del(m,1469)].
% 0.97/1.28  1502 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(1384),unit_del(l,1469)].
% 0.97/1.28  1503 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | event(c1,c5).  [back_unit_del(1383),unit_del(l,1469)].
% 0.97/1.28  1504 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | lonely(c1,c4).  [back_unit_del(1381),unit_del(l,1469)].
% 0.97/1.28  1505 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | present(c1,c5).  [back_unit_del(1380),unit_del(i,1469)].
% 0.97/1.28  1507 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | street(c1,c4).  [back_unit_del(1378),unit_del(l,1469)].
% 0.97/1.28  1508 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | old(c1,c3).  [back_unit_del(1377),unit_del(l,1469)].
% 0.97/1.28  1509 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | dirty(c1,c3).  [back_unit_del(1376),unit_del(l,1469)].
% 0.97/1.28  1510 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | white(c1,c3).  [back_unit_del(1375),unit_del(l,1469)].
% 0.97/1.28  1512 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | chevy(c1,c3).  [back_unit_del(1373),unit_del(l,1469)].
% 0.97/1.28  1513 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | placename(c1,c2).  [back_unit_del(1372),unit_del(l,1469)].
% 0.97/1.28  1515 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | hollywood_placename(c1,c2).  [back_unit_del(1370),unit_del(l,1469)].
% 0.97/1.28  1516 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | city(c1,c3).  [back_unit_del(1369),unit_del(l,1469)].
% 0.97/1.28  1564 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | present(c6,c10).  [resolve(1448,g,123,a),merge(l)].
% 0.97/1.28  1565 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | present(c6,c10).  [resolve(1564,a,177,a),merge(k)].
% 0.97/1.28  1641 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | event(c6,c10).  [resolve(1449,g,121,a),merge(l)].
% 0.97/1.28  1644 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | event(c6,c10).  [resolve(1641,a,175,a),merge(k)].
% 0.97/1.28  1645 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | old(c6,c9).  [resolve(1450,g,120,a),merge(l)].
% 0.97/1.28  1646 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | event(c6,c10).  [resolve(1644,i,247,a),merge(j)].
% 0.97/1.28  1647 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | event(c6,c10).  [resolve(1646,d,85,a),merge(i)].
% 0.97/1.28  1648 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | event(c6,c10).  [resolve(1647,f,157,a),merge(h)].
% 0.97/1.28  1649 -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | event(c6,c10).  [resolve(1648,a,193,a),merge(g)].
% 0.97/1.28  1650 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | dirty(c6,c9).  [resolve(1451,g,119,a),merge(l)].
% 0.97/1.28  1651 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | event(c6,c10).  [resolve(1649,b,67,a),merge(f)].
% 0.97/1.28  1666 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | chevy(c6,c9).  [resolve(1453,g,117,a),merge(l)].
% 0.97/1.28  1667 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | old(c6,c9).  [resolve(1645,a,174,a),merge(k)].
% 0.97/1.28  1668 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | old(c6,c9).  [resolve(1667,i,246,a),merge(j)].
% 0.97/1.28  1669 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | old(c6,c9).  [resolve(1668,d,84,a),merge(i)].
% 0.97/1.28  1675 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | placename(c6,c8).  [resolve(1454,g,116,a),merge(l)].
% 0.97/1.28  1681 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | hollywood_placename(c6,c8).  [resolve(1455,g,115,a),merge(l)].
% 0.97/1.28  1684 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | city(c6,c9).  [resolve(1456,g,114,a),merge(l)].
% 0.97/1.28  1689 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | lonely(c6,c7).  [resolve(1457,g,112,a),merge(l)].
% 0.97/1.28  1693 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | street(c6,c7).  [resolve(1458,g,111,a),merge(l)].
% 0.97/1.28  1699 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | dirty(c6,c9).  [resolve(1650,a,173,a),merge(k)].
% 0.97/1.28  1700 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | dirty(c6,c9).  [resolve(1699,i,245,a),merge(j)].
% 0.97/1.28  1701 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | dirty(c6,c9).  [resolve(1700,d,83,a),merge(i)].
% 0.97/1.28  1702 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | dirty(c6,c9).  [resolve(1701,f,155,a),merge(h)].
% 0.97/1.28  1703 -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | dirty(c6,c9).  [resolve(1702,a,191,a),merge(g)].
% 0.97/1.28  1704 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | dirty(c6,c9).  [resolve(1703,b,65,a),merge(f)].
% 0.97/1.28  1705 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | dirty(c6,c9).  [resolve(1704,d,209,a),merge(e)].
% 0.97/1.28  1709 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | chevy(c6,c9).  [resolve(1666,a,171,a),merge(k)].
% 0.97/1.28  1710 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | chevy(c6,c9).  [resolve(1709,i,243,a),merge(j)].
% 0.97/1.28  1711 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | chevy(c6,c9).  [resolve(1710,d,81,a),merge(i)].
% 0.97/1.28  1712 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | chevy(c6,c9).  [resolve(1711,f,153,a),merge(h)].
% 0.97/1.28  1713 -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | chevy(c6,c9).  [resolve(1712,a,189,a),merge(g)].
% 0.97/1.28  1714 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | chevy(c6,c9).  [resolve(1713,b,63,a),merge(f)].
% 0.97/1.28  1715 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | chevy(c6,c9).  [resolve(1714,d,207,a),merge(e)].
% 0.97/1.28  1716 -city(c1,c3) | -chevy(c1,c3) | chevy(c6,c9).  [resolve(1715,c,135,a),merge(d)].
% 0.97/1.28  1717 -chevy(c1,c3) | chevy(c6,c9).  [resolve(1716,a,45,a),merge(c)].
% 0.97/1.28  1718 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | placename(c6,c8).  [resolve(1675,a,170,a),merge(k)].
% 0.97/1.28  1719 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | placename(c6,c8).  [resolve(1718,i,242,a),merge(j)].
% 0.97/1.28  1734 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | hollywood_placename(c6,c8).  [resolve(1681,a,169,a),merge(k)].
% 0.97/1.28  1735 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | hollywood_placename(c6,c8).  [resolve(1734,i,241,a),merge(j)].
% 0.97/1.28  1736 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | hollywood_placename(c6,c8).  [resolve(1735,d,79,a),merge(i)].
% 0.97/1.28  1737 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | hollywood_placename(c6,c8).  [resolve(1736,f,151,a),merge(h)].
% 0.97/1.28  1738 -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | hollywood_placename(c6,c8).  [resolve(1737,a,187,a),merge(g)].
% 0.97/1.28  1742 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | city(c6,c9).  [resolve(1684,a,168,a),merge(k)].
% 0.97/1.28  1743 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | city(c6,c9).  [resolve(1742,i,240,a),merge(j)].
% 0.97/1.28  1744 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | city(c6,c9).  [resolve(1743,d,78,a),merge(i)].
% 0.97/1.28  1745 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | city(c6,c9).  [resolve(1744,f,150,a),merge(h)].
% 0.97/1.28  1746 -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | city(c6,c9).  [resolve(1745,a,186,a),merge(g)].
% 0.97/1.28  1747 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | city(c6,c9).  [resolve(1746,b,60,a),merge(f)].
% 0.97/1.28  1748 -city(c1,c3) | -chevy(c1,c3) | -dirty(c1,c3) | city(c6,c9).  [resolve(1747,d,204,a),merge(e)].
% 0.97/1.28  1749 -city(c1,c3) | -chevy(c1,c3) | city(c6,c9).  [resolve(1748,c,132,a),merge(d)].
% 0.97/1.28  1750 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | lonely(c6,c7).  [resolve(1689,a,166,a),merge(k)].
% 0.97/1.28  1751 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | lonely(c6,c7).  [resolve(1750,i,238,a),merge(j)].
% 0.97/1.28  1752 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | lonely(c6,c7).  [resolve(1751,d,76,a),merge(i)].
% 0.97/1.28  1753 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -chevy(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | lonely(c6,c7).  [resolve(1752,f,148,a),merge(h)].
% 0.97/1.28  1771 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | event(c1,c5).  [resolve(1503,g,208,b),merge(l)].
% 0.97/1.28  1774 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | event(c1,c5).  [resolve(1771,a,201,b),merge(k)].
% 0.97/1.28  1775 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | lonely(c1,c4).  [resolve(1504,g,190,b),merge(l)].
% 0.97/1.28  1776 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | event(c1,c5).  [resolve(1774,i,213,b),merge(j)].
% 0.97/1.28  1777 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | event(c1,c5).  [resolve(1776,d,206,b),merge(i)].
% 0.97/1.28  1778 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | event(c1,c5).  [resolve(1777,f,210,b),merge(h)].
% 0.97/1.28  1779 -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | event(c1,c5).  [resolve(1778,a,202,b),merge(g)].
% 0.97/1.28  1780 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | street(c1,c4).  [resolve(1507,g,172,b),merge(l)].
% 0.97/1.28  1781 -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | event(c1,c5).  [resolve(1779,b,205,b),merge(f)].
% 0.97/1.28  1782 -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | event(c1,c5).  [resolve(1781,d,211,b),merge(e)].
% 0.97/1.28  1788 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | old(c1,c3).  [resolve(1508,g,154,b),merge(l)].
% 0.97/1.28  1792 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | dirty(c1,c3).  [resolve(1509,g,136,b),merge(l)].
% 0.97/1.28  1793 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | lonely(c1,c4).  [resolve(1775,a,183,b),merge(k)].
% 0.97/1.28  1794 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | lonely(c1,c4).  [resolve(1793,i,195,b),merge(j)].
% 0.97/1.28  1795 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | lonely(c1,c4).  [resolve(1794,d,188,b),merge(i)].
% 0.97/1.28  1796 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | white(c1,c3).  [resolve(1510,g,118,b),merge(l)].
% 0.97/1.28  1797 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | lonely(c1,c4).  [resolve(1795,f,192,b),merge(h)].
% 0.97/1.28  1798 -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | lonely(c1,c4).  [resolve(1797,a,184,b),merge(g)].
% 0.97/1.28  1804 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | chevy(c1,c3).  [resolve(1512,g,100,b),merge(l)].
% 0.97/1.28  1809 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | placename(c1,c2).  [resolve(1513,g,82,b),merge(l)].
% 0.97/1.28  1813 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | hollywood_placename(c1,c2).  [resolve(1515,g,64,b),merge(l)].
% 0.97/1.28  1817 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | city(c1,c3).  [resolve(1516,g,46,b),merge(l)].
% 0.97/1.28  1820 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | street(c1,c4).  [resolve(1780,a,165,b),merge(k)].
% 0.97/1.28  1821 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | old(c1,c3).  [resolve(1788,a,147,b),merge(k)].
% 0.97/1.29  1828 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | old(c1,c3).  [resolve(1821,i,159,b),merge(j)].
% 0.97/1.29  1829 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | old(c1,c3).  [resolve(1828,d,152,b),merge(i)].
% 0.97/1.29  1830 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | old(c1,c3).  [resolve(1829,f,156,b),merge(h)].
% 0.97/1.29  1831 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | dirty(c1,c3).  [resolve(1792,a,129,b),merge(k)].
% 0.97/1.29  1846 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | chevy(c1,c3).  [resolve(1804,a,93,b),merge(k)].
% 0.97/1.29  1851 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | placename(c1,c2).  [resolve(1809,a,75,b),merge(k)].
% 0.97/1.29  1855 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | hollywood_placename(c1,c2).  [resolve(1813,a,57,b),merge(k)].
% 0.97/1.29  1859 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | city(c1,c3).  [resolve(1817,a,39,b),merge(k)].
% 0.97/1.29  1887 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | dirty(c1,c3).  [resolve(1831,i,141,b),merge(j)].
% 0.97/1.29  1892 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | chevy(c1,c3).  [resolve(1846,i,105,b),merge(j)].
% 0.97/1.29  1896 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | placename(c1,c2).  [resolve(1851,i,87,b),merge(j)].
% 0.97/1.29  1900 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | hollywood_placename(c1,c2).  [resolve(1855,i,69,b),merge(j)].
% 0.97/1.29  1901 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | dirty(c1,c3).  [resolve(1887,d,134,b),merge(i)].
% 0.97/1.29  1902 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | dirty(c1,c3).  [resolve(1901,f,138,b),merge(h)].
% 0.97/1.29  1903 -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | dirty(c1,c3).  [resolve(1902,a,130,b),merge(g)].
% 0.97/1.29  1904 -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | dirty(c1,c3).  [resolve(1903,b,133,b),merge(f)].
% 0.97/1.29  1905 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | city(c1,c3).  [resolve(1859,i,51,b),merge(j)].
% 0.97/1.29  1906 -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | dirty(c1,c3).  [resolve(1904,d,139,b),merge(e)].
% 0.97/1.29  1907 -city(c6,c9) | -chevy(c6,c9) | dirty(c1,c3).  [resolve(1906,c,137,b),merge(d)].
% 0.97/1.29  1911 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | chevy(c1,c3).  [resolve(1892,d,98,b),merge(i)].
% 0.97/1.29  1912 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | chevy(c1,c3).  [resolve(1911,f,102,b),merge(h)].
% 0.97/1.29  1913 -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | chevy(c1,c3).  [resolve(1912,a,94,b),merge(g)].
% 0.97/1.29  1914 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | placename(c1,c2).  [resolve(1896,d,80,b),merge(i)].
% 0.97/1.29  1915 -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | chevy(c1,c3).  [resolve(1913,b,97,b),merge(f)].
% 0.97/1.29  1916 -city(c6,c9) | -chevy(c6,c9) | -dirty(c6,c9) | chevy(c1,c3).  [resolve(1915,d,103,b),merge(e)].
% 0.97/1.29  1917 -city(c6,c9) | -chevy(c6,c9) | chevy(c1,c3).  [resolve(1916,c,101,b),merge(d)].
% 0.97/1.29  1918 -chevy(c6,c9) | chevy(c1,c3).  [resolve(1917,a,96,b),merge(c)].
% 0.97/1.29  1919 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -chevy(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | hollywood_placename(c1,c2).  [resolve(1900,d,62,b),merge(i)].
% 0.97/1.29  1920 chevy(c1,c3).  [resolve(1918,a,99,b),merge(b)].
% 0.97/1.29  1921 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -dirty(c1,c3) | -event(c1,c5) | lonely(c6,c7).  [back_unit_del(1753),unit_del(d,1920)].
% 0.97/1.29  1922 -city(c1,c3) | city(c6,c9).  [back_unit_del(1749),unit_del(b,1920)].
% 0.97/1.29  1923 -city(c1,c3) | -hollywood_placename(c1,c2) | -dirty(c1,c3) | -event(c1,c5) | hollywood_placename(c6,c8).  [back_unit_del(1738),unit_del(c,1920)].
% 0.97/1.29  1924 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | placename(c6,c8).  [back_unit_del(1719),unit_del(e,1920)].
% 0.97/1.29  1925 chevy(c6,c9).  [back_unit_del(1717),unit_del(a,1920)].
% 0.97/1.29  1926 -city(c1,c3) | -dirty(c1,c3) | dirty(c6,c9).  [back_unit_del(1705),unit_del(b,1920)].
% 0.97/1.29  1927 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | street(c6,c7).  [back_unit_del(1693),unit_del(f,1920)].
% 0.97/1.29  1928 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | old(c6,c9).  [back_unit_del(1669),unit_del(d,1920)].
% 0.97/1.29  1929 -city(c1,c3) | -dirty(c1,c3) | -event(c1,c5) | event(c6,c10).  [back_unit_del(1651),unit_del(b,1920)].
% 0.97/1.29  1930 -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | present(c6,c10).  [back_unit_del(1565),unit_del(e,1920)].
% 0.97/1.29  1931 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | white(c6,c9).  [back_unit_del(1452),unit_del(f,1920)].
% 0.97/1.29  1932 -street(c1,c4) | -lonely(c1,c4) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(1446),unit_del(f,1920)].
% 0.97/1.29  1940 -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(1432),unit_del(f,1920)].
% 0.97/1.29  1941 -street(c1,A) | -lonely(c1,A) | -city(c1,c3) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(1357),unit_del(f,1920)].
% 0.97/1.29  1952 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | hollywood_placename(c1,c2).  [back_unit_del(1919),unit_del(d,1925)].
% 0.97/1.29  1953 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | placename(c1,c2).  [back_unit_del(1914),unit_del(d,1925)].
% 0.97/1.29  1955 -city(c6,c9) | dirty(c1,c3).  [back_unit_del(1907),unit_del(b,1925)].
% 0.97/1.29  1956 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | city(c1,c3).  [back_unit_del(1905),unit_del(e,1925)].
% 0.97/1.29  1961 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | old(c1,c3).  [back_unit_del(1830),unit_del(d,1925)].
% 0.97/1.29  1962 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | street(c1,c4).  [back_unit_del(1820),unit_del(e,1925)].
% 0.97/1.29  1965 -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | lonely(c1,c4).  [back_unit_del(1798),unit_del(c,1925)].
% 0.97/1.29  1966 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | white(c1,c3).  [back_unit_del(1796),unit_del(f,1925)].
% 0.97/1.29  1968 -city(c6,c9) | -dirty(c6,c9) | event(c1,c5).  [back_unit_del(1782),unit_del(b,1925)].
% 0.97/1.29  1973 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | present(c1,c5).  [back_unit_del(1505),unit_del(e,1925)].
% 0.97/1.29  1974 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(1502),unit_del(f,1925)].
% 0.97/1.29  1975 -street(c6,c7) | -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(1488),unit_del(f,1925)].
% 0.97/1.29  1985 -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(1470),unit_del(f,1925)].
% 0.97/1.29  1997 -street(c6,A) | -lonely(c6,A) | -city(c6,c9) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(1417),unit_del(f,1925)].
% 0.97/1.29  1998 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | hollywood_placename(c1,c2).  [resolve(1952,e,66,b),merge(g)].
% 0.97/1.29  1999 -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | hollywood_placename(c1,c2).  [resolve(1998,a,58,b),merge(f)].
% 0.97/1.29  2000 -city(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | hollywood_placename(c1,c2).  [resolve(1999,b,61,b),merge(e)].
% 0.97/1.29  2010 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | city(c1,c3).  [resolve(1956,d,44,b),merge(h)].
% 0.97/1.29  2011 -lonely(c6,c7) | -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | city(c1,c3).  [resolve(2010,e,48,b),merge(g)].
% 0.97/1.29  2012 -city(c6,c9) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | city(c1,c3).  [resolve(2011,a,40,b),merge(f)].
% 0.97/1.29  2013 -city(c6,c9) | -dirty(c6,c9) | -event(c6,c10) | city(c1,c3).  [resolve(2012,b,43,b),merge(e)].
% 0.97/1.29  2014 -city(c6,c9) | -dirty(c6,c9) | city(c1,c3).  [resolve(2013,c,49,b),merge(d)].
% 0.97/1.29  2015 -city(c6,c9) | city(c1,c3).  [resolve(2014,b,47,b),merge(c)].
% 0.97/1.29  2016 city(c1,c3).  [resolve(2015,a,42,b),merge(b)].
% 0.97/1.29  2027 -street(c1,A) | -lonely(c1,A) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(1941),unit_del(c,2016)].
% 0.97/1.29  2028 -street(c1,A) | -lonely(c1,A) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(1940),unit_del(c,2016)].
% 0.97/1.29  2036 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(1932),unit_del(c,2016)].
% 0.97/1.29  2037 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | white(c6,c9).  [back_unit_del(1931),unit_del(c,2016)].
% 0.97/1.29  2038 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | present(c6,c10).  [back_unit_del(1930),unit_del(b,2016)].
% 0.97/1.29  2039 -dirty(c1,c3) | -event(c1,c5) | event(c6,c10).  [back_unit_del(1929),unit_del(a,2016)].
% 0.97/1.29  2040 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | old(c6,c9).  [back_unit_del(1928),unit_del(b,2016)].
% 0.97/1.29  2041 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | street(c6,c7).  [back_unit_del(1927),unit_del(c,2016)].
% 0.97/1.29  2042 -dirty(c1,c3) | dirty(c6,c9).  [back_unit_del(1926),unit_del(a,2016)].
% 0.97/1.29  2043 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -dirty(c1,c3) | -old(c1,c3) | -event(c1,c5) | placename(c6,c8).  [back_unit_del(1924),unit_del(b,2016)].
% 0.97/1.29  2044 -hollywood_placename(c1,c2) | -dirty(c1,c3) | -event(c1,c5) | hollywood_placename(c6,c8).  [back_unit_del(1923),unit_del(a,2016)].
% 0.97/1.29  2045 city(c6,c9).  [back_unit_del(1922),unit_del(a,2016)].
% 0.97/1.29  2046 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -dirty(c1,c3) | -event(c1,c5) | lonely(c6,c7).  [back_unit_del(1921),unit_del(b,2016)].
% 0.97/1.29  2047 -dirty(c6,c9) | -event(c6,c10) | hollywood_placename(c1,c2).  [back_unit_del(2000),unit_del(a,2045)].
% 0.97/1.29  2048 -street(c6,A) | -lonely(c6,A) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(1997),unit_del(c,2045)].
% 0.97/1.29  2059 -street(c6,A) | -lonely(c6,A) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(1985),unit_del(c,2045)].
% 0.97/1.29  2067 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(1975),unit_del(c,2045)].
% 0.97/1.29  2068 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(1974),unit_del(c,2045)].
% 0.97/1.29  2069 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | present(c1,c5).  [back_unit_del(1973),unit_del(b,2045)].
% 0.97/1.29  2070 -dirty(c6,c9) | event(c1,c5).  [back_unit_del(1968),unit_del(a,2045)].
% 0.97/1.29  2071 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | white(c1,c3).  [back_unit_del(1966),unit_del(c,2045)].
% 0.97/1.29  2072 -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | lonely(c1,c4).  [back_unit_del(1965),unit_del(a,2045)].
% 0.97/1.29  2073 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | street(c1,c4).  [back_unit_del(1962),unit_del(b,2045)].
% 0.97/1.29  2074 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -event(c6,c10) | old(c1,c3).  [back_unit_del(1961),unit_del(b,2045)].
% 0.97/1.29  2075 dirty(c1,c3).  [back_unit_del(1955),unit_del(a,2045)].
% 0.97/1.29  2076 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -dirty(c6,c9) | -old(c6,c9) | -event(c6,c10) | placename(c1,c2).  [back_unit_del(1953),unit_del(b,2045)].
% 0.97/1.29  2077 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -event(c1,c5) | lonely(c6,c7).  [back_unit_del(2046),unit_del(c,2075)].
% 0.97/1.29  2078 -hollywood_placename(c1,c2) | -event(c1,c5) | hollywood_placename(c6,c8).  [back_unit_del(2044),unit_del(b,2075)].
% 0.97/1.29  2079 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -old(c1,c3) | -event(c1,c5) | placename(c6,c8).  [back_unit_del(2043),unit_del(d,2075)].
% 0.97/1.29  2080 dirty(c6,c9).  [back_unit_del(2042),unit_del(a,2075)].
% 0.97/1.29  2081 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | street(c6,c7).  [back_unit_del(2041),unit_del(e,2075)].
% 0.97/1.29  2082 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -old(c1,c3) | -event(c1,c5) | old(c6,c9).  [back_unit_del(2040),unit_del(c,2075)].
% 0.97/1.29  2083 -event(c1,c5) | event(c6,c10).  [back_unit_del(2039),unit_del(a,2075)].
% 0.97/1.29  2084 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | present(c6,c10).  [back_unit_del(2038),unit_del(d,2075)].
% 0.97/1.29  2085 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -event(c1,c5) | -present(c1,c5) | white(c6,c9).  [back_unit_del(2037),unit_del(f,2075)].
% 0.97/1.29  2086 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(2036),unit_del(f,2075)].
% 0.97/1.29  2094 -street(c1,A) | -lonely(c1,A) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -event(c1,c5) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2028),unit_del(f,2075)].
% 0.97/1.29  2095 -street(c1,A) | -lonely(c1,A) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(2027),unit_del(f,2075)].
% 0.97/1.29  2106 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -old(c6,c9) | -event(c6,c10) | placename(c1,c2).  [back_unit_del(2076),unit_del(c,2080)].
% 0.97/1.29  2107 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -event(c6,c10) | old(c1,c3).  [back_unit_del(2074),unit_del(c,2080)].
% 0.97/1.29  2108 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | street(c1,c4).  [back_unit_del(2073),unit_del(d,2080)].
% 0.97/1.29  2109 -hollywood_placename(c6,c8) | -event(c6,c10) | lonely(c1,c4).  [back_unit_del(2072),unit_del(b,2080)].
% 0.97/1.29  2110 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | white(c1,c3).  [back_unit_del(2071),unit_del(e,2080)].
% 0.97/1.29  2111 event(c1,c5).  [back_unit_del(2070),unit_del(a,2080)].
% 0.97/1.29  2112 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -old(c6,c9) | -event(c6,c10) | present(c1,c5).  [back_unit_del(2069),unit_del(d,2080)].
% 0.97/1.29  2113 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -event(c6,c10) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(2068),unit_del(f,2080)].
% 0.97/1.29  2114 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(2067),unit_del(f,2080)].
% 0.97/1.29  2122 -street(c6,A) | -lonely(c6,A) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -event(c6,c10) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2059),unit_del(f,2080)].
% 0.97/1.29  2133 -street(c6,A) | -lonely(c6,A) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(2048),unit_del(f,2080)].
% 0.97/1.29  2134 -event(c6,c10) | hollywood_placename(c1,c2).  [back_unit_del(2047),unit_del(a,2080)].
% 0.97/1.29  2135 -street(c1,A) | -lonely(c1,A) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2094),unit_del(g,2111)].
% 0.97/1.29  2143 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(2086),unit_del(g,2111)].
% 0.97/1.29  2144 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -present(c1,c5) | white(c6,c9).  [back_unit_del(2085),unit_del(g,2111)].
% 0.97/1.29  2145 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -old(c1,c3) | -present(c1,c5) | present(c6,c10).  [back_unit_del(2084),unit_del(e,2111)].
% 0.97/1.29  2146 event(c6,c10).  [back_unit_del(2083),unit_del(a,2111)].
% 0.97/1.29  2147 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -old(c1,c3) | old(c6,c9).  [back_unit_del(2082),unit_del(d,2111)].
% 0.97/1.29  2148 -street(c1,c4) | -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -old(c1,c3) | -present(c1,c5) | street(c6,c7).  [back_unit_del(2081),unit_del(f,2111)].
% 0.97/1.29  2149 -lonely(c1,c4) | -hollywood_placename(c1,c2) | -placename(c1,c2) | -old(c1,c3) | placename(c6,c8).  [back_unit_del(2079),unit_del(e,2111)].
% 0.97/1.29  2150 -hollywood_placename(c1,c2) | hollywood_placename(c6,c8).  [back_unit_del(2078),unit_del(b,2111)].
% 0.97/1.29  2151 -lonely(c1,c4) | -hollywood_placename(c1,c2) | lonely(c6,c7).  [back_unit_del(2077),unit_del(c,2111)].
% 0.97/1.29  2152 hollywood_placename(c1,c2).  [back_unit_del(2134),unit_del(a,2146)].
% 0.97/1.29  2153 -street(c6,A) | -lonely(c6,A) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2122),unit_del(g,2146)].
% 0.97/1.29  2161 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(2114),unit_del(g,2146)].
% 0.97/1.29  2162 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(2113),unit_del(g,2146)].
% 0.97/1.29  2163 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -old(c6,c9) | present(c1,c5).  [back_unit_del(2112),unit_del(e,2146)].
% 0.97/1.29  2164 -street(c6,c7) | -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -old(c6,c9) | -present(c6,c10) | white(c1,c3).  [back_unit_del(2110),unit_del(f,2146)].
% 0.97/1.29  2165 -hollywood_placename(c6,c8) | lonely(c1,c4).  [back_unit_del(2109),unit_del(b,2146)].
% 0.97/1.29  2166 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -placename(c6,c8) | -old(c6,c9) | -present(c6,c10) | street(c1,c4).  [back_unit_del(2108),unit_del(e,2146)].
% 0.97/1.29  2167 -lonely(c6,c7) | -hollywood_placename(c6,c8) | old(c1,c3).  [back_unit_del(2107),unit_del(c,2146)].
% 0.97/1.29  2168 -lonely(c6,c7) | -hollywood_placename(c6,c8) | -old(c6,c9) | placename(c1,c2).  [back_unit_del(2106),unit_del(d,2146)].
% 0.97/1.29  2169 -lonely(c1,c4) | lonely(c6,c7).  [back_unit_del(2151),unit_del(b,2152)].
% 0.97/1.29  2170 hollywood_placename(c6,c8).  [back_unit_del(2150),unit_del(a,2152)].
% 0.97/1.29  2171 -lonely(c1,c4) | -placename(c1,c2) | -old(c1,c3) | placename(c6,c8).  [back_unit_del(2149),unit_del(b,2152)].
% 0.97/1.29  2172 -street(c1,c4) | -lonely(c1,c4) | -placename(c1,c2) | -old(c1,c3) | -present(c1,c5) | street(c6,c7).  [back_unit_del(2148),unit_del(c,2152)].
% 0.97/1.29  2173 -lonely(c1,c4) | -old(c1,c3) | old(c6,c9).  [back_unit_del(2147),unit_del(b,2152)].
% 0.97/1.29  2174 -lonely(c1,c4) | -placename(c1,c2) | -old(c1,c3) | -present(c1,c5) | present(c6,c10).  [back_unit_del(2145),unit_del(b,2152)].
% 0.97/1.29  2175 -street(c1,c4) | -lonely(c1,c4) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -present(c1,c5) | white(c6,c9).  [back_unit_del(2144),unit_del(c,2152)].
% 0.97/1.29  2176 -street(c1,c4) | -lonely(c1,c4) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(2143),unit_del(c,2152)].
% 0.97/1.29  2184 -street(c1,A) | -lonely(c1,A) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2135),unit_del(c,2152)].
% 0.97/1.29  2193 -street(c1,A) | -lonely(c1,A) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(2095),unit_del(c,2152)].
% 0.97/1.29  2194 -lonely(c6,c7) | -old(c6,c9) | placename(c1,c2).  [back_unit_del(2168),unit_del(b,2170)].
% 0.97/1.29  2195 -lonely(c6,c7) | old(c1,c3).  [back_unit_del(2167),unit_del(b,2170)].
% 0.97/1.29  2196 -lonely(c6,c7) | -placename(c6,c8) | -old(c6,c9) | -present(c6,c10) | street(c1,c4).  [back_unit_del(2166),unit_del(b,2170)].
% 0.97/1.29  2197 lonely(c1,c4).  [back_unit_del(2165),unit_del(a,2170)].
% 0.97/1.29  2198 -street(c6,c7) | -lonely(c6,c7) | -placename(c6,c8) | -old(c6,c9) | -present(c6,c10) | white(c1,c3).  [back_unit_del(2164),unit_del(c,2170)].
% 0.97/1.29  2199 -lonely(c6,c7) | -placename(c6,c8) | -old(c6,c9) | present(c1,c5).  [back_unit_del(2163),unit_del(b,2170)].
% 0.97/1.29  2200 -street(c6,c7) | -lonely(c6,c7) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(2162),unit_del(c,2170)].
% 0.97/1.29  2201 -street(c6,c7) | -lonely(c6,c7) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(2161),unit_del(c,2170)].
% 0.97/1.29  2209 -street(c6,A) | -lonely(c6,A) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2153),unit_del(c,2170)].
% 0.97/1.29  2210 -street(c6,A) | -lonely(c6,A) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(2133),unit_del(c,2170)].
% 0.97/1.29  2219 -street(c1,c4) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(2176),unit_del(b,2197)].
% 0.97/1.29  2220 -street(c1,c4) | -placename(c1,c2) | -white(c1,c3) | -old(c1,c3) | -present(c1,c5) | white(c6,c9).  [back_unit_del(2175),unit_del(b,2197)].
% 0.97/1.29  2221 -placename(c1,c2) | -old(c1,c3) | -present(c1,c5) | present(c6,c10).  [back_unit_del(2174),unit_del(a,2197)].
% 0.97/1.29  2222 -old(c1,c3) | old(c6,c9).  [back_unit_del(2173),unit_del(a,2197)].
% 0.97/1.29  2223 -street(c1,c4) | -placename(c1,c2) | -old(c1,c3) | -present(c1,c5) | street(c6,c7).  [back_unit_del(2172),unit_del(b,2197)].
% 0.97/1.29  2224 -placename(c1,c2) | -old(c1,c3) | placename(c6,c8).  [back_unit_del(2171),unit_del(a,2197)].
% 0.97/1.29  2225 lonely(c6,c7).  [back_unit_del(2169),unit_del(a,2197)].
% 0.97/1.29  2226 -street(c6,c7) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(2201),unit_del(b,2225)].
% 0.97/1.29  2227 -street(c6,c7) | -placename(c6,c8) | -white(c6,c9) | -old(c6,c9) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(2200),unit_del(b,2225)].
% 0.97/1.29  2228 -placename(c6,c8) | -old(c6,c9) | present(c1,c5).  [back_unit_del(2199),unit_del(a,2225)].
% 0.97/1.29  2229 -street(c6,c7) | -placename(c6,c8) | -old(c6,c9) | -present(c6,c10) | white(c1,c3).  [back_unit_del(2198),unit_del(b,2225)].
% 0.97/1.29  2230 -placename(c6,c8) | -old(c6,c9) | -present(c6,c10) | street(c1,c4).  [back_unit_del(2196),unit_del(a,2225)].
% 0.97/1.29  2231 old(c1,c3).  [back_unit_del(2195),unit_del(a,2225)].
% 0.97/1.29  2232 -old(c6,c9) | placename(c1,c2).  [back_unit_del(2194),unit_del(a,2225)].
% 0.97/1.29  2233 -placename(c1,c2) | placename(c6,c8).  [back_unit_del(2224),unit_del(b,2231)].
% 0.97/1.29  2234 -street(c1,c4) | -placename(c1,c2) | -present(c1,c5) | street(c6,c7).  [back_unit_del(2223),unit_del(c,2231)].
% 0.97/1.29  2235 old(c6,c9).  [back_unit_del(2222),unit_del(a,2231)].
% 0.97/1.29  2236 -placename(c1,c2) | -present(c1,c5) | present(c6,c10).  [back_unit_del(2221),unit_del(b,2231)].
% 0.97/1.29  2237 -street(c1,c4) | -placename(c1,c2) | -white(c1,c3) | -present(c1,c5) | white(c6,c9).  [back_unit_del(2220),unit_del(d,2231)].
% 0.97/1.29  2238 -street(c1,c4) | -placename(c1,c2) | -white(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(2219),unit_del(d,2231)].
% 0.97/1.29  2239 -street(c1,A) | -lonely(c1,A) | -placename(c1,c2) | -white(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(2193),unit_del(e,2231)].
% 0.97/1.29  2245 -street(c1,A) | -lonely(c1,A) | -placename(c1,c2) | -white(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2184),unit_del(e,2231)].
% 0.97/1.29  2249 placename(c1,c2).  [back_unit_del(2232),unit_del(a,2235)].
% 0.97/1.29  2250 -placename(c6,c8) | -present(c6,c10) | street(c1,c4).  [back_unit_del(2230),unit_del(b,2235)].
% 0.97/1.29  2251 -street(c6,c7) | -placename(c6,c8) | -present(c6,c10) | white(c1,c3).  [back_unit_del(2229),unit_del(c,2235)].
% 0.97/1.29  2252 -placename(c6,c8) | present(c1,c5).  [back_unit_del(2228),unit_del(b,2235)].
% 0.97/1.29  2253 -street(c6,c7) | -placename(c6,c8) | -white(c6,c9) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(2227),unit_del(d,2235)].
% 0.97/1.29  2254 -street(c6,c7) | -placename(c6,c8) | -white(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(2226),unit_del(d,2235)].
% 0.97/1.29  2260 -street(c6,A) | -lonely(c6,A) | -placename(c6,c8) | -white(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(2210),unit_del(e,2235)].
% 0.97/1.29  2261 -street(c6,A) | -lonely(c6,A) | -placename(c6,c8) | -white(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2209),unit_del(e,2235)].
% 0.97/1.29  2268 -street(c1,A) | -lonely(c1,A) | -white(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2245),unit_del(c,2249)].
% 0.97/1.29  2274 -street(c1,A) | -lonely(c1,A) | -white(c1,c3) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(2239),unit_del(c,2249)].
% 0.97/1.29  2275 -street(c1,c4) | -white(c1,c3) | -agent(c1,c5,c3) | -present(c1,c5) | agent(c6,c10,c9).  [back_unit_del(2238),unit_del(b,2249)].
% 0.97/1.29  2276 -street(c1,c4) | -white(c1,c3) | -present(c1,c5) | white(c6,c9).  [back_unit_del(2237),unit_del(b,2249)].
% 0.97/1.29  2277 -present(c1,c5) | present(c6,c10).  [back_unit_del(2236),unit_del(a,2249)].
% 0.97/1.29  2278 -street(c1,c4) | -present(c1,c5) | street(c6,c7).  [back_unit_del(2234),unit_del(b,2249)].
% 0.97/1.29  2279 placename(c6,c8).  [back_unit_del(2233),unit_del(a,2249)].
% 0.97/1.29  2283 -street(c6,A) | -lonely(c6,A) | -white(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2261),unit_del(c,2279)].
% 0.97/1.29  2284 -street(c6,A) | -lonely(c6,A) | -white(c6,c9) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(2260),unit_del(c,2279)].
% 0.97/1.29  2290 -street(c6,c7) | -white(c6,c9) | -agent(c6,c10,c9) | -present(c6,c10) | down(c1,c5,c4).  [back_unit_del(2254),unit_del(b,2279)].
% 0.97/1.29  2291 -street(c6,c7) | -white(c6,c9) | -present(c6,c10) | agent(c1,c5,c3).  [back_unit_del(2253),unit_del(b,2279)].
% 0.97/1.29  2292 present(c1,c5).  [back_unit_del(2252),unit_del(a,2279)].
% 0.97/1.29  2293 -street(c6,c7) | -present(c6,c10) | white(c1,c3).  [back_unit_del(2251),unit_del(b,2279)].
% 0.97/1.29  2294 -present(c6,c10) | street(c1,c4).  [back_unit_del(2250),unit_del(a,2279)].
% 0.97/1.29  2295 -street(c1,c4) | street(c6,c7).  [back_unit_del(2278),unit_del(b,2292)].
% 0.97/1.29  2296 present(c6,c10).  [back_unit_del(2277),unit_del(a,2292)].
% 0.97/1.29  2297 -street(c1,c4) | -white(c1,c3) | white(c6,c9).  [back_unit_del(2276),unit_del(c,2292)].
% 0.97/1.29  2298 -street(c1,c4) | -white(c1,c3) | -agent(c1,c5,c3) | agent(c6,c10,c9).  [back_unit_del(2275),unit_del(d,2292)].
% 0.97/1.29  2299 -street(c1,A) | -lonely(c1,A) | -white(c1,c3) | -agent(c1,c5,c3) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2268),unit_del(e,2292)].
% 0.97/1.29  2303 street(c1,c4).  [back_unit_del(2294),unit_del(a,2296)].
% 0.97/1.29  2304 -street(c6,c7) | white(c1,c3).  [back_unit_del(2293),unit_del(b,2296)].
% 0.97/1.29  2305 -street(c6,c7) | -white(c6,c9) | agent(c1,c5,c3).  [back_unit_del(2291),unit_del(c,2296)].
% 0.97/1.29  2306 -street(c6,c7) | -white(c6,c9) | -agent(c6,c10,c9) | down(c1,c5,c4).  [back_unit_del(2290),unit_del(d,2296)].
% 0.97/1.29  2307 -street(c6,A) | -lonely(c6,A) | -white(c6,c9) | -agent(c6,c10,c9) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2283),unit_del(e,2296)].
% 0.97/1.29  2311 -white(c1,c3) | -agent(c1,c5,c3) | agent(c6,c10,c9).  [back_unit_del(2298),unit_del(a,2303)].
% 0.97/1.29  2312 -white(c1,c3) | white(c6,c9).  [back_unit_del(2297),unit_del(a,2303)].
% 0.97/1.29  2313 street(c6,c7).  [back_unit_del(2295),unit_del(a,2303)].
% 0.97/1.29  2314 -white(c6,c9) | -agent(c6,c10,c9) | down(c1,c5,c4).  [back_unit_del(2306),unit_del(a,2313)].
% 0.97/1.29  2315 -white(c6,c9) | agent(c1,c5,c3).  [back_unit_del(2305),unit_del(a,2313)].
% 0.97/1.29  2316 white(c1,c3).  [back_unit_del(2304),unit_del(a,2313)].
% 0.97/1.29  2317 white(c6,c9).  [back_unit_del(2312),unit_del(a,2316)].
% 0.97/1.29  2318 -agent(c1,c5,c3) | agent(c6,c10,c9).  [back_unit_del(2311),unit_del(a,2316)].
% 0.97/1.29  2319 -street(c1,A) | -lonely(c1,A) | -agent(c1,c5,c3) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2299),unit_del(c,2316)].
% 0.97/1.29  2320 -street(c1,A) | -lonely(c1,A) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3) | in(c6,c10,c9).  [back_unit_del(2274),unit_del(c,2316)].
% 0.97/1.29  2323 agent(c1,c5,c3).  [back_unit_del(2315),unit_del(a,2317)].
% 0.97/1.29  2324 -agent(c6,c10,c9) | down(c1,c5,c4).  [back_unit_del(2314),unit_del(a,2317)].
% 0.97/1.29  2325 -street(c6,A) | -lonely(c6,A) | -agent(c6,c10,c9) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2307),unit_del(c,2317)].
% 0.97/1.29  2328 -street(c6,A) | -lonely(c6,A) | -event(c6,B) | -agent(c6,B,c9) | -present(c6,B) | -barrel(c6,B) | -down(c6,B,A) | -in(c6,B,c9) | of(c1,c2,c3).  [back_unit_del(2284),unit_del(c,2317)].
% 0.97/1.29  2329 -street(c1,A) | -lonely(c1,A) | -down(c1,c5,A) | down(c6,c10,c7).  [back_unit_del(2319),unit_del(c,2323)].
% 0.97/1.29  2330 agent(c6,c10,c9).  [back_unit_del(2318),unit_del(a,2323)].
% 0.97/1.29  2331 -street(c6,A) | -lonely(c6,A) | -down(c6,c10,A) | in(c1,c5,c3).  [back_unit_del(2325),unit_del(c,2330)].
% 0.97/1.29  2332 down(c1,c5,c4).  [back_unit_del(2324),unit_del(a,2330)].
% 0.97/1.29  2333 down(c6,c10,c7).  [resolve(2329,c,2332,a),unit_del(a,2303),unit_del(b,2197)].
% 0.97/1.29  2334 in(c1,c5,c3).  [resolve(2331,c,2333,a),unit_del(a,2313),unit_del(b,2225)].
% 0.97/1.29  2335 -street(c1,A) | -lonely(c1,A) | -down(c1,c5,A) | in(c6,c10,c9).  [resolve(2334,a,2320,h),unit_del(c,2111),unit_del(d,2323),unit_del(e,2292),unit_del(f,1382)].
% 0.97/1.29  2336 in(c6,c10,c9).  [resolve(2335,c,2332,a),unit_del(a,2303),unit_del(b,2197)].
% 0.97/1.29  2337 -street(c6,A) | -lonely(c6,A) | -down(c6,c10,A) | of(c1,c2,c3).  [resolve(2328,h,2336,a),unit_del(c,2146),unit_del(d,2330),unit_del(e,2296),unit_del(f,1469)].
% 0.97/1.29  2338 of(c1,c2,c3).  [resolve(2337,c,2333,a),unit_del(a,2313),unit_del(b,2225)].
% 0.97/1.29  2339 -street(c1,A) | -lonely(c1,A) | -event(c1,B) | -agent(c1,B,c3) | -present(c1,B) | -barrel(c1,B) | -down(c1,B,A) | -in(c1,B,c3).  [resolve(2338,a,335,d),unit_del(a,1314),unit_del(d,2016),unit_del(e,2152),unit_del(f,2249),unit_del(g,1920),unit_del(h,2316),unit_del(i,2075),unit_del(j,2231)].
% 0.97/1.29  2340 -street(c1,A) | -lonely(c1,A) | -down(c1,c5,A).  [resolve(2339,h,2334,a),unit_del(c,2111),unit_del(d,2323),unit_del(e,2292),unit_del(f,1382)].
% 0.97/1.29  2341 $F.  [resolve(2340,c,2332,a),unit_del(a,2303),unit_del(b,2197)].
% 0.97/1.29  
% 0.97/1.29  % SZS output end Refutation
% 0.97/1.29  ============================== end of proof ==========================
% 0.97/1.29  
% 0.97/1.29  ============================== STATISTICS ============================
% 0.97/1.29  
% 0.97/1.29  Given=1480. Generated=8671. Kept=2339. proofs=1.
% 0.97/1.29  Usable=36. Sos=0. Demods=0. Limbo=0, Disabled=2627. Hints=0.
% 0.97/1.29  Megabytes=2.35.
% 0.97/1.29  User_CPU=0.31, System_CPU=0.01, Wall_clock=1.
% 0.97/1.29  
% 0.97/1.29  ============================== end of statistics =====================
% 0.97/1.29  
% 0.97/1.29  ============================== end of search =========================
% 0.97/1.29  
% 0.97/1.29  THEOREM PROVED
% 0.97/1.29  % SZS status Theorem
% 0.97/1.29  
% 0.97/1.29  Exiting with 1 proof.
% 0.97/1.29  
% 0.97/1.29  Process 26651 exit (max_proofs) Fri Jul  1 05:01:10 2022
% 0.97/1.29  Prover9 interrupted
%------------------------------------------------------------------------------