↑ Up

ZenonModulo---0.5.0.UNK-Non.f

View TPTP
Problem Process solution in
SystemOnTSTP Download .tgz 
%------------------------------------------------------------------------------
% File     : ZenonModulo---0.5.0
% Problem  : NLP124-1 : TPTP v8.2.0. Released v2.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_zenon_modulo %d %s

% Computer : n007.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Tue Jun 25 02:03:23 EDT 2024

% Result   : Unknown 6.46s 6.70s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.10  % Problem  : NLP124-1 : TPTP v8.2.0. Released v2.4.0.
% 0.05/0.10  % Command  : run_zenon_modulo %d %s
% 0.09/0.31  % Computer : n007.cluster.edu
% 0.09/0.31  % Model    : x86_64 x86_64
% 0.09/0.31  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.31  % Memory   : 8042.1875MB
% 0.09/0.31  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.09/0.31  % CPULimit : 300
% 0.09/0.31  % WCLimit  : 300
% 0.09/0.31  % DateTime : Sat Jun 22 23:59:38 EDT 2024
% 0.09/0.31  % CPUTime  : 
% 6.46/6.70  Zenon error: exhausted search space without finding a proof
% 6.46/6.70  (* Current branch:
% 6.46/6.70  ((skc11) != zenon_X98)
% 6.46/6.70  (zenon_X54 != zenon_X68)
% 6.46/6.70  (specific zenon_X60 (skc7))
% 6.46/6.70  (-. (artifact zenon_X64 zenon_X265))
% 6.46/6.70  (-. (existent zenon_X50 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X114)
% 6.46/6.70  (zenon_X60 != zenon_X26)
% 6.46/6.70  (singleton zenon_X6 (skc8))
% 6.46/6.70  ((skc10) != zenon_X102)
% 6.46/6.70  ((skc8) != zenon_X127)
% 6.46/6.70  (-. (hollywood_placename zenon_X24 zenon_X182))
% 6.46/6.70  (-. (artifact zenon_X50 (skc11)))
% 6.46/6.70  (-. (city zenon_X18 zenon_X289))
% 6.46/6.70  (-. (entity zenon_X58 (skc10)))
% 6.46/6.70  (impartial zenon_X30 (skc11))
% 6.46/6.70  ((skc11) != zenon_X90)
% 6.46/6.70  ((skc8) != zenon_X353)
% 6.46/6.70  (-. (entity zenon_X54 zenon_X515))
% 6.46/6.70  ((skc10) != zenon_X396)
% 6.46/6.70  ((skc11) != zenon_X276)
% 6.46/6.70  (eventuality (skc6) (skc7))
% 6.46/6.70  (instrumentality zenon_X20 (skc8))
% 6.46/6.70  (zenon_X0 != zenon_X64)
% 6.46/6.70  ((skc8) != zenon_X143)
% 6.46/6.70  (existent zenon_X52 (skc10))
% 6.46/6.70  ((skc8) != zenon_X243)
% 6.46/6.70  (-. (city zenon_X20 zenon_X227))
% 6.46/6.70  ((skc8) != zenon_X541)
% 6.46/6.70  (zenon_X20 != zenon_X68)
% 6.46/6.70  (zenon_X26 != zenon_X52)
% 6.46/6.70  ((skc11) != zenon_X155)
% 6.46/6.70  ((skc8) != zenon_X463)
% 6.46/6.70  ((skc11) != zenon_X360)
% 6.46/6.70  (vehicle zenon_X18 (skc8))
% 6.46/6.70  ((skc8) != zenon_X129)
% 6.46/6.70  ((skc7) != zenon_X97)
% 6.46/6.70  (specific zenon_X58 (skc8))
% 6.46/6.70  (zenon_X56 != zenon_X62)
% 6.46/6.70  (-. (artifact zenon_X54 zenon_X514))
% 6.46/6.70  ((skc7) != zenon_X239)
% 6.46/6.70  (-. (chevy zenon_X20 zenon_X534))
% 6.46/6.70  (-. (city zenon_X16 zenon_X286))
% 6.46/6.70  (zenon_X64 != zenon_X26)
% 6.46/6.70  ((skc6) != zenon_X50)
% 6.46/6.70  ((skc11) != zenon_X169)
% 6.46/6.70  ((skc10) != zenon_X541)
% 6.46/6.70  (-. (transport zenon_X26 zenon_X295))
% 6.46/6.70  (-. (eventuality zenon_X64 (skc7)))
% 6.46/6.70  ((skc11) != zenon_X99)
% 6.46/6.70  (-. (entity zenon_X26 zenon_X221))
% 6.46/6.70  (entity zenon_X54 (skc11))
% 6.46/6.70  ((skc9) != zenon_X223)
% 6.46/6.70  ((skc8) != zenon_X98)
% 6.46/6.70  ((skc10) != zenon_X199)
% 6.46/6.70  ((skc6) != zenon_X66)
% 6.46/6.70  (specific zenon_X48 (skc10))
% 6.46/6.70  (-. (car zenon_X26 (skc8)))
% 6.46/6.70  (-. (general zenon_X56 (skc10)))
% 6.46/6.70  (-. (specific zenon_X66 zenon_X256))
% 6.46/6.70  (-. (general zenon_X56 (skc8)))
% 6.46/6.70  (-. (eventuality zenon_X12 zenon_X13))
% 6.46/6.70  (instrumentality zenon_X62 (skc8))
% 6.46/6.70  (-. (object zenon_X26 (skc10)))
% 6.46/6.70  ((skc8) != zenon_X483)
% 6.46/6.70  ((skc7) != zenon_X101)
% 6.46/6.70  (specific zenon_X0 (skc7))
% 6.46/6.70  (-. (hollywood_placename zenon_X8 zenon_X150))
% 6.46/6.70  (-. (eventuality zenon_X52 (skc7)))
% 6.46/6.70  (-. (transport zenon_X14 zenon_X388))
% 6.46/6.70  (-. (existent (skc6) zenon_X90))
% 6.46/6.70  (-. (placename zenon_X52 zenon_X139))
% 6.46/6.70  (old (skc6) (skc8))
% 6.46/6.70  (-. (car zenon_X14 zenon_X474))
% 6.46/6.70  (-. (artifact zenon_X48 zenon_X218))
% 6.46/6.70  (-. (vehicle zenon_X54 zenon_X513))
% 6.46/6.70  (zenon_X62 != zenon_X50)
% 6.46/6.70  ((skc11) != zenon_X248)
% 6.46/6.70  (specific zenon_X24 (skc8))
% 6.46/6.70  ((skc10) != zenon_X387)
% 6.46/6.70  (-. (general zenon_X0 (skc7)))
% 6.46/6.70  (-. (way zenon_X64 zenon_X269))
% 6.46/6.70  ((skc8) != zenon_X505)
% 6.46/6.70  (-. (eventuality zenon_X24 (skc7)))
% 6.46/6.70  (-. (abstraction zenon_X42 zenon_X43))
% 6.46/6.70  ((skc8) != zenon_X121)
% 6.46/6.70  ((skc7) != zenon_X178)
% 6.46/6.70  (white (skc6) (skc8))
% 6.46/6.70  (zenon_X60 != zenon_X66)
% 6.46/6.70  ((skc8) != zenon_X442)
% 6.46/6.70  (location zenon_X62 (skc10))
% 6.46/6.70  (-. (event zenon_X20 zenon_X170))
% 6.46/6.70  (instrumentality zenon_X64 (skc8))
% 6.46/6.70  ((skc8) != zenon_X85)
% 6.46/6.70  ((skc10) != zenon_X399)
% 6.46/6.70  (zenon_X52 != zenon_X68)
% 6.46/6.70  (-. (entity zenon_X68 zenon_X185))
% 6.46/6.70  (-. (placename zenon_X62 zenon_X348))
% 6.46/6.70  (-. (car zenon_X56 zenon_X57))
% 6.46/6.70  (-. (event zenon_X2 zenon_X3))
% 6.46/6.70  (-. (entity zenon_X60 zenon_X423))
% 6.46/6.70  (-. (vehicle (skc6) zenon_X436))
% 6.46/6.70  (-. (event zenon_X24 zenon_X113))
% 6.46/6.70  ((skc8) != zenon_X168)
% 6.46/6.70  ((skc8) != zenon_X387)
% 6.46/6.70  (-. (way zenon_X2 zenon_X280))
% 6.46/6.70  (-. (artifact zenon_X14 (skc8)))
% 6.46/6.70  (-. (object zenon_X68 (skc8)))
% 6.46/6.70  ((skc7) != zenon_X473)
% 6.46/6.70  (-. (event zenon_X24 (skc7)))
% 6.46/6.70  (-. (entity zenon_X54 zenon_X541))
% 6.46/6.70  ((skc9) != zenon_X43)
% 6.46/6.70  (-. (general zenon_X62 (skc8)))
% 6.46/6.70  (-. (general zenon_X48 (skc11)))
% 6.46/6.70  (-. (general (skc6) (skc7)))
% 6.46/6.70  ((skc9) != zenon_X82)
% 6.46/6.70  (-. (hollywood_placename zenon_X54 zenon_X533))
% 6.46/6.70  (object zenon_X20 (skc10))
% 6.46/6.70  (singleton zenon_X6 (skc10))
% 6.46/6.70  (specific zenon_X24 (skc10))
% 6.46/6.70  ((skc7) != zenon_X256)
% 6.46/6.70  (-. (nonexistent zenon_X60 (skc11)))
% 6.46/6.70  ((skc8) != zenon_X256)
% 6.46/6.70  ((skc11) != zenon_X211)
% 6.46/6.70  (-. (instrumentality zenon_X24 zenon_X386))
% 6.46/6.70  ((skc8) != zenon_X413)
% 6.46/6.70  ((skc8) != zenon_X21)
% 6.46/6.70  ((skc8) != zenon_X295)
% 6.46/6.70  (-. (artifact zenon_X50 (skc8)))
% 6.46/6.70  (-. (street zenon_X0 zenon_X327))
% 6.46/6.70  (-. (existent zenon_X20 zenon_X103))
% 6.46/6.70  (-. (general zenon_X16 (skc8)))
% 6.46/6.70  (zenon_X48 != zenon_X50)
% 6.46/6.70  (-. (eventuality zenon_X14 zenon_X358))
% 6.46/6.70  (-. (existent zenon_X56 (skc11)))
% 6.46/6.70  (-. (artifact zenon_X18 zenon_X19))
% 6.46/6.70  (-. (existent zenon_X54 zenon_X528))
% 6.46/6.70  (existent (skc6) (skc10))
% 6.46/6.70  (-. (entity zenon_X50 zenon_X345))
% 6.46/6.70  (existent zenon_X26 (skc10))
% 6.46/6.70  (zenon_X48 != zenon_X66)
% 6.46/6.70  (-. (specific zenon_X68 (skc11)))
% 6.46/6.70  (existent zenon_X26 (skc8))
% 6.46/6.70  (eventuality zenon_X16 (skc7))
% 6.46/6.70  (-. (entity (skc6) zenon_X91))
% 6.46/6.70  (-. (city zenon_X60 zenon_X361))
% 6.46/6.70  (zenon_X50 != zenon_X2)
% 6.46/6.70  ((skc7) != zenon_X204)
% 6.46/6.70  (zenon_X62 != zenon_X66)
% 6.46/6.70  (-. (general (skc6) (skc8)))
% 6.46/6.70  (specific zenon_X16 (skc7))
% 6.46/6.70  (-. (nonexistent zenon_X60 (skc10)))
% 6.46/6.70  (specific zenon_X8 (skc11))
% 6.46/6.70  (-. (way zenon_X0 zenon_X264))
% 6.46/6.70  (-. (chevy zenon_X48 zenon_X500))
% 6.46/6.70  (zenon_X62 != zenon_X68)
% 6.46/6.70  (placename zenon_X54 (skc9))
% 6.46/6.70  (-. (entity zenon_X66 zenon_X230))
% 6.46/6.70  (zenon_X60 != zenon_X2)
% 6.46/6.70  (-. (eventuality zenon_X2 zenon_X178))
% 6.46/6.70  ((skc10) != zenon_X360)
% 6.46/6.70  (-. (instrumentality zenon_X26 (skc8)))
% 6.46/6.70  ((skc7) != zenon_X11)
% 6.46/6.70  (-. (barrel zenon_X66 zenon_X244))
% 6.46/6.70  (-. (entity zenon_X24 zenon_X197))
% 6.46/6.70  (-. (artifact zenon_X68 zenon_X136))
% 6.46/6.70  ((skc10) != zenon_X29)
% 6.46/6.70  (-. (street zenon_X48 zenon_X370))
% 6.46/6.70  ((skc11) != zenon_X379)
% 6.46/6.70  (-. (nonexistent zenon_X66 (skc11)))
% 6.46/6.70  (-. (way zenon_X16 zenon_X17))
% 6.46/6.70  (existent zenon_X66 (skc8))
% 6.46/6.70  (-. (nonexistent (skc6) (skc8)))
% 6.46/6.70  ((skc7) != zenon_X497)
% 6.46/6.70  ((skc11) != zenon_X121)
% 6.46/6.70  ((skc11) != zenon_X219)
% 6.46/6.70  (-. (specific zenon_X2 (skc11)))
% 6.46/6.70  ((skc8) != zenon_X222)
% 6.46/6.70  ((skc8) != zenon_X122)
% 6.46/6.70  ((skc8) != zenon_X308)
% 6.46/6.70  (zenon_X50 != zenon_X0)
% 6.46/6.70  (thing zenon_X22 (skc8))
% 6.46/6.70  (-. (event zenon_X62 zenon_X331))
% 6.46/6.70  (artifact zenon_X16 (skc8))
% 6.46/6.70  (nonexistent zenon_X10 (skc7))
% 6.46/6.70  (-. (placename zenon_X48 zenon_X246))
% 6.46/6.70  (zenon_X62 != zenon_X52)
% 6.46/6.70  ((skc10) != zenon_X25)
% 6.46/6.70  ((skc11) != zenon_X464)
% 6.46/6.70  (-. (eventuality zenon_X56 zenon_X473))
% 6.46/6.70  (-. (general zenon_X60 (skc11)))
% 6.46/6.70  (-. (artifact zenon_X50 zenon_X253))
% 6.46/6.70  (entity zenon_X20 (skc11))
% 6.46/6.70  ((skc10) != zenon_X108)
% 6.46/6.70  (-. (transport zenon_X50 zenon_X323))
% 6.46/6.70  (zenon_X54 != zenon_X26)
% 6.46/6.70  (-. (general zenon_X56 (skc7)))
% 6.46/6.70  (-. (barrel zenon_X54 zenon_X506))
% 6.46/6.70  ((skc11) != zenon_X192)
% 6.46/6.70  (specific zenon_X54 (skc10))
% 6.46/6.70  (zenon_X64 != zenon_X68)
% 6.46/6.70  (-. (hollywood_placename zenon_X56 zenon_X455))
% 6.46/6.70  (-. (barrel zenon_X16 zenon_X263))
% 6.46/6.70  ((skc10) != zenon_X91)
% 6.46/6.70  ((skc10) != zenon_X128)
% 6.46/6.70  (artifact zenon_X18 (skc11))
% 6.46/6.70  ((skc10) != zenon_X96)
% 6.46/6.70  (-. (specific zenon_X68 (skc8)))
% 6.46/6.70  (-. (entity zenon_X22 zenon_X23))
% 6.46/6.70  ((skc11) != zenon_X17)
% 6.46/6.70  (entity zenon_X48 (skc10))
% 6.46/6.70  ((skc8) != zenon_X369)
% 6.46/6.70  (-. (location zenon_X2 (skc10)))
% 6.46/6.70  (zenon_X60 != zenon_X0)
% 6.46/6.70  ((skc8) != zenon_X392)
% 6.46/6.70  (-. (entity zenon_X18 zenon_X262))
% 6.46/6.70  (-. (vehicle zenon_X56 zenon_X467))
% 6.46/6.70  ((skc9) != zenon_X110)
% 6.46/6.70  (-. (location zenon_X8 zenon_X116))
% 6.46/6.70  (object zenon_X18 (skc11))
% 6.46/6.70  (-. (transport zenon_X60 zenon_X61))
% 6.46/6.70  (impartial zenon_X30 (skc10))
% 6.46/6.70  (singleton zenon_X6 (skc11))
% 6.46/6.70  ((skc8) != zenon_X87)
% 6.46/6.70  ((skc8) != zenon_X281)
% 6.46/6.70  (-. (entity zenon_X60 zenon_X396))
% 6.46/6.70  ((skc8) != zenon_X330)
% 6.46/6.70  (zenon_X8 != zenon_X0)
% 6.46/6.70  ((skc9) != zenon_X533)
% 6.46/6.70  (-. (general zenon_X54 (skc11)))
% 6.46/6.70  (-. (transport zenon_X54 zenon_X537))
% 6.46/6.70  (-. (general zenon_X20 (skc8)))
% 6.46/6.70  (transport (skc6) (skc8))
% 6.46/6.70  ((skc10) != zenon_X378)
% 6.46/6.70  (-. (location zenon_X56 zenon_X438))
% 6.46/6.70  ((skc10) != zenon_X532)
% 6.46/6.70  (specific zenon_X66 (skc7))
% 6.46/6.70  ((skc7) != zenon_X322)
% 6.46/6.70  (zenon_X2 != zenon_X64)
% 6.46/6.70  ((skc11) != zenon_X93)
% 6.46/6.70  ((skc10) != zenon_X361)
% 6.46/6.70  ((skc8) != zenon_X385)
% 6.46/6.70  (artifact zenon_X8 (skc11))
% 6.46/6.70  ((skc10) != zenon_X515)
% 6.46/6.70  ((skc8) != zenon_X133)
% 6.46/6.70  (-. (entity zenon_X20 zenon_X77))
% 6.46/6.70  ((skc8) != zenon_X251)
% 6.46/6.70  (-. (specific zenon_X50 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X102)
% 6.46/6.70  (-. (placename zenon_X8 zenon_X303))
% 6.46/6.70  ((skc10) != zenon_X254)
% 6.46/6.70  (-. (instrumentality zenon_X20 zenon_X339))
% 6.46/6.70  ((skc7) != zenon_X162)
% 6.46/6.70  (entity zenon_X8 (skc8))
% 6.46/6.70  ((skc10) != zenon_X391)
% 6.46/6.70  (zenon_X56 != zenon_X2)
% 6.46/6.70  (-. (barrel zenon_X0 zenon_X1))
% 6.46/6.70  ((skc11) != zenon_X7)
% 6.46/6.70  (existent zenon_X66 (skc11))
% 6.46/6.70  (entity zenon_X60 (skc10))
% 6.46/6.70  (-. (transport zenon_X26 (skc8)))
% 6.46/6.70  (-. (entity zenon_X18 zenon_X111))
% 6.46/6.70  ((skc8) != zenon_X271)
% 6.46/6.70  (-. (entity zenon_X62 zenon_X270))
% 6.46/6.70  (unisex zenon_X32 (skc11))
% 6.46/6.70  ((skc10) != zenon_X164)
% 6.46/6.70  ((skc8) != zenon_X193)
% 6.46/6.70  ((skc8) != zenon_X448)
% 6.46/6.70  (-. (street zenon_X58 zenon_X485))
% 6.46/6.70  (specific zenon_X56 (skc10))
% 6.46/6.70  (-. (chevy zenon_X60 zenon_X536))
% 6.46/6.70  (zenon_X60 != zenon_X52)
% 6.46/6.70  (entity zenon_X14 (skc11))
% 6.46/6.70  ((skc10) != zenon_X287)
% 6.46/6.70  (instrumentality zenon_X56 (skc8))
% 6.46/6.70  (existent zenon_X24 (skc8))
% 6.46/6.70  (-. (transport zenon_X2 (skc8)))
% 6.46/6.70  (object zenon_X62 (skc8))
% 6.46/6.70  (way zenon_X16 (skc11))
% 6.46/6.70  ((skc7) != zenon_X149)
% 6.46/6.70  (object zenon_X56 (skc8))
% 6.46/6.70  (-. (location zenon_X64 zenon_X128))
% 6.46/6.70  (existent zenon_X50 (skc10))
% 6.46/6.70  ((skc10) != zenon_X122)
% 6.46/6.70  (-. (vehicle zenon_X52 zenon_X411))
% 6.46/6.70  ((skc8) != zenon_X318)
% 6.46/6.70  (-. (barrel zenon_X14 zenon_X338))
% 6.46/6.70  (-. (hollywood_placename zenon_X26 zenon_X233))
% 6.46/6.70  (eventuality zenon_X54 (skc7))
% 6.46/6.70  (-. (barrel zenon_X8 zenon_X239))
% 6.46/6.70  (existent zenon_X60 (skc10))
% 6.46/6.70  ((skc8) != zenon_X414)
% 6.46/6.70  (-. (barrel zenon_X60 zenon_X364))
% 6.46/6.70  (-. (nonexistent zenon_X56 (skc8)))
% 6.46/6.70  (object zenon_X60 (skc11))
% 6.46/6.70  ((skc11) != zenon_X120)
% 6.46/6.70  (-. (existent zenon_X0 (skc11)))
% 6.46/6.70  (-. (entity zenon_X20 zenon_X176))
% 6.46/6.70  (-. (existent zenon_X62 (skc11)))
% 6.46/6.70  (-. (way zenon_X50 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X27)
% 6.46/6.70  (zenon_X18 != zenon_X2)
% 6.46/6.70  ((skc11) != zenon_X387)
% 6.46/6.70  (zenon_X16 != zenon_X14)
% 6.46/6.70  (zenon_X54 != zenon_X66)
% 6.46/6.70  (instrumentality zenon_X66 (skc8))
% 6.46/6.70  (-. (event zenon_X26 zenon_X334))
% 6.46/6.70  (zenon_X48 != zenon_X60)
% 6.46/6.70  (entity zenon_X8 (skc11))
% 6.46/6.70  ((skc8) != zenon_X183)
% 6.46/6.70  (-. (object zenon_X54 zenon_X504))
% 6.46/6.70  (-. (entity zenon_X14 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X111)
% 6.46/6.70  (-. (location zenon_X0 (skc10)))
% 6.46/6.70  ((skc10) != zenon_X504)
% 6.46/6.70  (existent (skc6) (skc8))
% 6.46/6.70  (-. (general zenon_X66 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X249)
% 6.46/6.70  (zenon_X26 != zenon_X50)
% 6.46/6.70  (-. (entity zenon_X0 zenon_X121))
% 6.46/6.70  (-. (city zenon_X62 zenon_X278))
% 6.46/6.70  (-. (way zenon_X8 zenon_X403))
% 6.46/6.70  ((skc10) != zenon_X111)
% 6.46/6.70  (-. (specific zenon_X14 (skc8)))
% 6.46/6.70  ((skc10) != zenon_X141)
% 6.46/6.70  ((skc11) != zenon_X448)
% 6.46/6.70  ((skc11) != zenon_X119)
% 6.46/6.70  (-. (entity zenon_X16 zenon_X360))
% 6.46/6.70  ((skc10) != zenon_X528)
% 6.46/6.70  (-. (abstraction zenon_X44 zenon_X45))
% 6.46/6.70  (zenon_X26 != zenon_X68)
% 6.46/6.70  ((skc9) != zenon_X303)
% 6.46/6.70  (-. (street zenon_X64 zenon_X376))
% 6.46/6.70  ((skc10) != zenon_X463)
% 6.46/6.70  (-. (car zenon_X24 zenon_X494))
% 6.46/6.70  ((skc11) != zenon_X429)
% 6.46/6.70  (transport zenon_X16 (skc8))
% 6.46/6.70  (-. (eventuality zenon_X48 (skc7)))
% 6.46/6.70  (-. (entity zenon_X68 zenon_X71))
% 6.46/6.70  ((skc11) != zenon_X72)
% 6.46/6.70  ((skc9) != zenon_X150)
% 6.46/6.70  ((skc9) != zenon_X7)
% 6.46/6.70  (-. (general zenon_X52 (skc10)))
% 6.46/6.70  ((skc8) != zenon_X132)
% 6.46/6.70  (-. (way zenon_X18 zenon_X374))
% 6.46/6.70  (instrumentality zenon_X60 (skc8))
% 6.46/6.70  ((skc8) != zenon_X415)
% 6.46/6.70  (artifact zenon_X54 (skc8))
% 6.46/6.70  (-. (barrel zenon_X56 zenon_X459))
% 6.46/6.70  (-. (city zenon_X14 zenon_X319))
% 6.46/6.70  (placename (skc6) (skc9))
% 6.46/6.70  (-. (entity zenon_X56 zenon_X448))
% 6.46/6.70  ((skc11) != zenon_X269)
% 6.46/6.70  (zenon_X54 != zenon_X14)
% 6.46/6.70  (-. (specific zenon_X64 (skc7)))
% 6.46/6.70  (-. (location zenon_X24 zenon_X184))
% 6.46/6.70  (existent zenon_X64 (skc8))
% 6.46/6.70  (-. (event zenon_X48 (skc7)))
% 6.46/6.70  ((skc7) != zenon_X5)
% 6.46/6.70  (eventuality zenon_X2 (skc7))
% 6.46/6.70  ((skc11) != zenon_X29)
% 6.46/6.70  ((skc8) != zenon_X88)
% 6.46/6.70  (-. (entity zenon_X60 zenon_X308))
% 6.46/6.70  (zenon_X0 != zenon_X18)
% 6.46/6.70  ((skc7) != zenon_X131)
% 6.46/6.70  (-. (location zenon_X52 zenon_X53))
% 6.46/6.70  ((skc8) != zenon_X441)
% 6.46/6.70  (thing zenon_X22 (skc11))
% 6.46/6.70  (instrumentality (skc6) (skc8))
% 6.46/6.70  ((skc8) != zenon_X186)
% 6.46/6.70  ((skc8) != zenon_X453)
% 6.46/6.70  (artifact zenon_X16 (skc11))
% 6.46/6.70  ((skc10) != zenon_X121)
% 6.46/6.70  ((skc10) != zenon_X211)
% 6.46/6.70  (-. (way zenon_X14 zenon_X357))
% 6.46/6.70  ((skc8) != zenon_X340)
% 6.46/6.70  ((skc11) != zenon_X359)
% 6.46/6.70  ((skc11) != (skc10))
% 6.46/6.70  ((skc10) != zenon_X505)
% 6.46/6.70  (-. (existent zenon_X16 zenon_X292))
% 6.46/6.70  ((skc9) != zenon_X37)
% 6.46/6.70  (zenon_X58 != zenon_X2)
% 6.46/6.70  (-. (artifact zenon_X24 zenon_X306))
% 6.46/6.70  (-. (hollywood_placename zenon_X14 zenon_X371))
% 6.46/6.70  (-. (event zenon_X56 zenon_X481))
% 6.46/6.70  (-. (existent zenon_X0 (skc10)))
% 6.46/6.70  (entity zenon_X64 (skc8))
% 6.46/6.70  ((skc10) != zenon_X176)
% 6.46/6.70  (-. (general zenon_X14 (skc11)))
% 6.46/6.70  (-. (entity zenon_X50 zenon_X213))
% 6.46/6.70  (zenon_X62 != zenon_X2)
% 6.46/6.70  ((skc8) != zenon_X390)
% 6.46/6.70  (-. (instrumentality zenon_X56 zenon_X492))
% 6.46/6.70  ((skc11) != zenon_X176)
% 6.46/6.70  (-. (eventuality zenon_X68 zenon_X206))
% 6.46/6.70  (-. (nonexistent zenon_X24 (skc8)))
% 6.46/6.70  ((skc11) != zenon_X440)
% 6.46/6.70  (zenon_X24 != zenon_X68)
% 6.46/6.70  (-. (object zenon_X14 zenon_X353))
% 6.46/6.70  (-. (general zenon_X24 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X310)
% 6.46/6.70  ((skc8) != zenon_X423)
% 6.46/6.70  ((skc8) != zenon_X65)
% 6.46/6.70  (-. (general zenon_X18 (skc7)))
% 6.46/6.70  ((skc10) != zenon_X330)
% 6.46/6.70  ((skc9) != (skc10))
% 6.46/6.70  (-. (instrumentality zenon_X50 zenon_X281))
% 6.46/6.70  ((skc8) != zenon_X349)
% 6.46/6.70  (-. (general zenon_X0 (skc10)))
% 6.46/6.70  ((skc7) != zenon_X350)
% 6.46/6.70  (-. (artifact zenon_X56 zenon_X445))
% 6.46/6.70  (-. (existent zenon_X50 (skc8)))
% 6.46/6.70  (-. (artifact zenon_X2 zenon_X291))
% 6.46/6.70  (-. (object zenon_X68 zenon_X102))
% 6.46/6.70  (location zenon_X60 (skc10))
% 6.46/6.70  (zenon_X60 != zenon_X20)
% 6.46/6.70  ((skc10) != zenon_X33)
% 6.46/6.70  ((skc6) != zenon_X58)
% 6.46/6.70  (-. (general zenon_X60 (skc10)))
% 6.46/6.70  ((skc11) != zenon_X194)
% 6.46/6.70  (unisex zenon_X32 (skc10))
% 6.46/6.70  ((skc10) != zenon_X400)
% 6.46/6.70  (-. (nonexistent zenon_X26 (skc10)))
% 6.46/6.70  (zenon_X52 != zenon_X2)
% 6.46/6.70  (-. (chevy zenon_X66 zenon_X538))
% 6.46/6.70  (-. (general zenon_X58 (skc11)))
% 6.46/6.70  (way zenon_X8 (skc11))
% 6.46/6.70  (-. (specific (skc6) zenon_X94))
% 6.46/6.70  (-. (nonexistent zenon_X54 (skc8)))
% 6.46/6.70  (zenon_X8 != zenon_X62)
% 6.46/6.70  (-. (entity zenon_X60 zenon_X378))
% 6.46/6.70  ((skc8) != zenon_X119)
% 6.46/6.70  (zenon_X52 != zenon_X64)
% 6.46/6.70  (-. (nonexistent zenon_X64 (skc8)))
% 6.46/6.70  (zenon_X60 != zenon_X62)
% 6.46/6.70  (-. (specific zenon_X64 (skc10)))
% 6.46/6.70  ((skc11) != zenon_X101)
% 6.46/6.70  ((skc10) != zenon_X133)
% 6.46/6.70  (object zenon_X64 (skc11))
% 6.46/6.70  (-. (transport zenon_X58 zenon_X495))
% 6.46/6.70  (specific zenon_X56 (skc8))
% 6.46/6.70  (zenon_X18 != zenon_X50)
% 6.46/6.70  (singleton zenon_X6 (skc9))
% 6.46/6.70  (zenon_X48 != zenon_X14)
% 6.46/6.70  (-. (instrumentality zenon_X8 zenon_X406))
% 6.46/6.70  (general zenon_X44 (skc9))
% 6.46/6.70  (artifact zenon_X20 (skc8))
% 6.46/6.70  (-. (street zenon_X20 zenon_X430))
% 6.46/6.70  (-. (entity zenon_X2 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X398)
% 6.46/6.70  (zenon_X8 != zenon_X20)
% 6.46/6.70  (object zenon_X14 (skc11))
% 6.46/6.70  (-. (eventuality zenon_X16 zenon_X471))
% 6.46/6.70  (zenon_X24 != zenon_X64)
% 6.46/6.70  (-. (transport zenon_X2 zenon_X373))
% 6.46/6.70  (barrel (skc6) (skc7))
% 6.46/6.70  ((skc7) != zenon_X241)
% 6.46/6.70  (-. (nonexistent zenon_X48 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X349)
% 6.46/6.70  (-. (specific zenon_X26 (skc7)))
% 6.46/6.70  (-. (existent zenon_X66 (skc10)))
% 6.46/6.70  (zenon_X60 != zenon_X56)
% 6.46/6.70  (-. (general zenon_X20 (skc10)))
% 6.46/6.70  (event zenon_X8 (skc7))
% 6.46/6.70  (-. (object zenon_X66 zenon_X99))
% 6.46/6.70  (-. (city zenon_X64 zenon_X214))
% 6.46/6.70  ((skc8) != zenon_X164)
% 6.46/6.70  (placename zenon_X8 (skc9))
% 6.46/6.70  ((skc8) != zenon_X194)
% 6.46/6.70  ((skc11) != zenon_X396)
% 6.46/6.70  (-. (relname zenon_X36 zenon_X37))
% 6.46/6.70  (specific zenon_X18 (skc7))
% 6.46/6.70  (-. (chevy zenon_X2 zenon_X478))
% 6.46/6.70  (entity zenon_X66 (skc8))
% 6.46/6.70  ((skc8) != zenon_X265)
% 6.46/6.70  ((skc10) != zenon_X105)
% 6.46/6.70  ((skc6) != zenon_X24)
% 6.46/6.70  ((skc11) != zenon_X111)
% 6.46/6.70  (-. (location zenon_X66 zenon_X199))
% 6.46/6.70  (zenon_X2 != zenon_X24)
% 6.46/6.70  ((skc11) != zenon_X350)
% 6.46/6.70  ((skc8) != zenon_X71)
% 6.46/6.70  (zenon_X24 != zenon_X52)
% 6.46/6.70  (-. (entity zenon_X62 zenon_X400))
% 6.46/6.70  (zenon_X48 != zenon_X68)
% 6.46/6.70  ((skc10) != zenon_X285)
% 6.46/6.70  ((skc8) != zenon_X302)
% 6.46/6.70  (-. (placename zenon_X8 zenon_X223))
% 6.46/6.70  (-. (placename zenon_X60 zenon_X395))
% 6.46/6.70  (object zenon_X16 (skc11))
% 6.46/6.70  (vehicle zenon_X56 (skc8))
% 6.46/6.70  ((skc10) != zenon_X219)
% 6.46/6.70  ((skc8) != zenon_X317)
% 6.46/6.70  (zenon_X54 != zenon_X0)
% 6.46/6.70  (-. (event zenon_X66 zenon_X180))
% 6.46/6.70  (zenon_X66 != zenon_X2)
% 6.46/6.70  (-. (chevy zenon_X56 zenon_X527))
% 6.46/6.70  (zenon_X8 != zenon_X48)
% 6.46/6.70  (-. (artifact (skc6) zenon_X112))
% 6.46/6.70  (-. (placename zenon_X58 zenon_X434))
% 6.46/6.70  ((skc10) != zenon_X217)
% 6.46/6.70  ((skc11) != zenon_X298)
% 6.46/6.70  (-. (nonexistent zenon_X16 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X532)
% 6.46/6.70  ((skc8) != zenon_X520)
% 6.46/6.70  ((skc7) != zenon_X146)
% 6.46/6.70  ((skc10) != zenon_X193)
% 6.46/6.70  (-. (specific zenon_X62 (skc11)))
% 6.46/6.70  (-. (instrumentality zenon_X50 (skc8)))
% 6.46/6.70  (-. (general zenon_X18 (skc8)))
% 6.46/6.70  (-. (artifact zenon_X60 zenon_X392))
% 6.46/6.70  (zenon_X56 != zenon_X50)
% 6.46/6.70  ((skc8) != zenon_X504)
% 6.46/6.70  ((skc8) != zenon_X27)
% 6.46/6.70  (-. (entity zenon_X14 (skc10)))
% 6.46/6.70  ((skc8) != zenon_X462)
% 6.46/6.70  (vehicle (skc6) (skc8))
% 6.46/6.70  (-. (chevy zenon_X68 zenon_X529))
% 6.46/6.70  (-. (general zenon_X0 (skc11)))
% 6.46/6.70  (-. (vehicle zenon_X16 zenon_X476))
% 6.46/6.70  ((skc8) != zenon_X440)
% 6.46/6.70  (-. (object zenon_X26 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X197)
% 6.46/6.70  (-. (object zenon_X28 zenon_X29))
% 6.46/6.70  (zenon_X16 != zenon_X66)
% 6.46/6.70  ((skc8) != zenon_X261)
% 6.46/6.70  ((skc10) != zenon_X174)
% 6.46/6.70  (zenon_X56 != zenon_X18)
% 6.46/6.70  ((skc9) != zenon_X196)
% 6.46/6.70  ((skc11) != zenon_X384)
% 6.46/6.70  (zenon_X8 != zenon_X2)
% 6.46/6.70  (-. (event zenon_X52 zenon_X309))
% 6.46/6.70  ((skc8) != zenon_X298)
% 6.46/6.70  (-. (general zenon_X8 (skc7)))
% 6.46/6.70  (specific zenon_X56 (skc7))
% 6.46/6.70  (-. (nonexistent zenon_X26 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X270)
% 6.46/6.70  ((skc10) != zenon_X278)
% 6.46/6.70  (zenon_X8 != zenon_X66)
% 6.46/6.70  ((skc10) != zenon_X359)
% 6.46/6.70  ((skc7) != zenon_X165)
% 6.46/6.70  ((skc11) != zenon_X504)
% 6.46/6.70  (-. (entity zenon_X58 zenon_X435))
% 6.46/6.70  ((skc8) != zenon_X399)
% 6.46/6.70  (zenon_X56 != zenon_X52)
% 6.46/6.70  (-. (chevy zenon_X16 zenon_X539))
% 6.46/6.70  ((skc10) != zenon_X366)
% 6.46/6.70  ((skc8) != zenon_X458)
% 6.46/6.70  (-. (specific zenon_X18 zenon_X271))
% 6.46/6.70  (-. (location zenon_X18 zenon_X208))
% 6.46/6.70  ((skc8) != zenon_X406)
% 6.46/6.70  ((skc10) != zenon_X90)
% 6.46/6.70  (artifact zenon_X60 (skc8))
% 6.46/6.70  ((skc8) != zenon_X120)
% 6.46/6.70  (-. (nonexistent zenon_X16 (skc10)))
% 6.46/6.70  (-. (event (skc6) zenon_X97))
% 6.46/6.70  ((skc11) != zenon_X320)
% 6.46/6.70  ((skc8) != zenon_X131)
% 6.46/6.70  ((skc10) != zenon_X67)
% 6.46/6.70  ((skc11) != zenon_X171)
% 6.46/6.70  ((skc8) != zenon_X396)
% 6.46/6.70  (-. (transport zenon_X68 zenon_X365))
% 6.46/6.70  (zenon_X8 != zenon_X58)
% 6.46/6.70  (-. (object zenon_X52 zenon_X164))
% 6.46/6.70  ((skc8) != zenon_X436)
% 6.46/6.70  (-. (street zenon_X68 zenon_X277))
% 6.46/6.70  (zenon_X50 != zenon_X64)
% 6.46/6.70  (-. (location zenon_X48 zenon_X141))
% 6.46/6.70  (specific zenon_X50 (skc10))
% 6.46/6.70  ((skc11) != zenon_X173)
% 6.46/6.70  (-. (barrel zenon_X26 zenon_X284))
% 6.46/6.70  ((skc11) != zenon_X304)
% 6.46/6.70  (-. (existent zenon_X66 zenon_X67))
% 6.46/6.70  (location zenon_X50 (skc10))
% 6.46/6.70  (-. (object zenon_X18 (skc10)))
% 6.46/6.70  (event (skc6) (skc7))
% 6.46/6.70  ((skc8) != zenon_X218)
% 6.46/6.70  ((skc11) != zenon_X85)
% 6.46/6.70  ((skc10) != zenon_X103)
% 6.46/6.70  (-. (specific zenon_X50 zenon_X222))
% 6.46/6.70  (-. (specific zenon_X52 (skc8)))
% 6.46/6.70  (zenon_X56 != zenon_X58)
% 6.46/6.70  (-. (specific zenon_X18 (skc10)))
% 6.46/6.70  (-. (nonexistent zenon_X66 (skc8)))
% 6.46/6.70  (object zenon_X8 (skc8))
% 6.46/6.70  ((skc8) != zenon_X407)
% 6.46/6.70  ((skc7) != zenon_X113)
% 6.46/6.70  (-. (transport zenon_X0 zenon_X393))
% 6.46/6.70  ((skc8) != zenon_X316)
% 6.46/6.70  ((skc7) != zenon_X481)
% 6.46/6.70  ((skc8) != zenon_X198)
% 6.46/6.70  ((skc7) != zenon_X206)
% 6.46/6.70  (-. (nonexistent zenon_X20 (skc10)))
% 6.46/6.70  (zenon_X18 != zenon_X52)
% 6.46/6.70  ((skc11) != (skc8))
% 6.46/6.70  (zenon_X16 != zenon_X26)
% 6.46/6.70  (zenon_X16 != zenon_X0)
% 6.46/6.70  ((skc11) != zenon_X378)
% 6.46/6.70  ((skc8) != zenon_X404)
% 6.46/6.70  (specific (skc6) (skc8))
% 6.46/6.70  (-. (object zenon_X26 zenon_X133))
% 6.46/6.70  ((skc9) != zenon_X151)
% 6.46/6.70  (-. (entity zenon_X48 zenon_X194))
% 6.46/6.70  (-. (way zenon_X48 zenon_X288))
% 6.46/6.70  (-. (specific zenon_X26 zenon_X216))
% 6.46/6.70  (-. (object zenon_X50 zenon_X238))
% 6.46/6.70  (-. (general zenon_X16 (skc10)))
% 6.46/6.70  (artifact zenon_X64 (skc8))
% 6.46/6.70  (-. (location zenon_X58 zenon_X410))
% 6.46/6.70  (transport zenon_X20 (skc8))
% 6.46/6.70  (-. (existent zenon_X50 zenon_X211))
% 6.46/6.70  ((skc7) != zenon_X245)
% 6.46/6.70  (zenon_X54 != zenon_X24)
% 6.46/6.70  (-. (entity zenon_X54 zenon_X505))
% 6.46/6.70  (artifact zenon_X66 (skc11))
% 6.46/6.70  (-. (nonexistent (skc6) (skc11)))
% 6.46/6.70  (-. (nonexistent zenon_X20 (skc11)))
% 6.46/6.70  (-. (object zenon_X26 (skc8)))
% 6.46/6.70  (entity zenon_X64 (skc11))
% 6.46/6.70  (specific zenon_X16 (skc10))
% 6.46/6.70  (zenon_X14 != zenon_X0)
% 6.46/6.70  (zenon_X2 != zenon_X26)
% 6.46/6.70  (entity zenon_X16 (skc11))
% 6.46/6.70  (zenon_X54 != zenon_X50)
% 6.46/6.70  (entity (skc6) (skc10))
% 6.46/6.70  ((skc11) != zenon_X349)
% 6.46/6.70  (-. (city zenon_X0 zenon_X231))
% 6.46/6.70  (instrumentality zenon_X58 (skc8))
% 6.46/6.70  (-. (specific zenon_X52 (skc11)))
% 6.46/6.70  (entity zenon_X8 (skc10))
% 6.46/6.70  ((skc11) != zenon_X435)
% 6.46/6.70  (specific zenon_X18 (skc8))
% 6.46/6.70  ((skc10) != zenon_X132)
% 6.46/6.70  ((skc7) != zenon_X188)
% 6.46/6.70  (zenon_X50 != zenon_X68)
% 6.46/6.70  (zenon_X66 != zenon_X14)
% 6.46/6.70  (singleton zenon_X6 (skc7))
% 6.46/6.70  (-. (placename zenon_X64 zenon_X126))
% 6.46/6.70  (zenon_X24 != zenon_X50)
% 6.46/6.70  (entity zenon_X60 (skc11))
% 6.46/6.70  ((skc7) != zenon_X108)
% 6.46/6.70  ((skc8) != zenon_X67)
% 6.46/6.70  (-. (nonexistent zenon_X8 (skc10)))
% 6.46/6.70  (-. (eventuality zenon_X52 zenon_X165))
% 6.46/6.70  (transport zenon_X48 (skc8))
% 6.46/6.70  (unisex zenon_X46 (skc9))
% 6.46/6.70  ((skc7) != zenon_X439)
% 6.46/6.70  ((skc11) != zenon_X77)
% 6.46/6.70  (zenon_X60 != zenon_X58)
% 6.46/6.70  (transport zenon_X54 (skc8))
% 6.46/6.70  ((skc7) != zenon_X326)
% 6.46/6.70  (in (skc6) (skc7) (skc10))
% 6.46/6.70  (artifact zenon_X56 (skc8))
% 6.46/6.70  ((skc10) != zenon_X78)
% 6.46/6.70  (-. (entity zenon_X24 zenon_X25))
% 6.46/6.70  (-. (hollywood_placename zenon_X66 zenon_X154))
% 6.46/6.70  (-. (transport zenon_X20 zenon_X398))
% 6.46/6.70  (-. (barrel zenon_X64 zenon_X205))
% 6.46/6.70  (-. (artifact zenon_X2 (skc8)))
% 6.46/6.70  (-. (general zenon_X14 (skc7)))
% 6.46/6.70  (-. (event zenon_X14 zenon_X419))
% 6.46/6.70  (specific zenon_X60 (skc8))
% 6.46/6.70  (-. (existent zenon_X48 zenon_X179))
% 6.46/6.70  ((skc10) != zenon_X353)
% 6.46/6.70  (-. (entity zenon_X52 zenon_X140))
% 6.46/6.70  (-. (eventuality zenon_X4 zenon_X5))
% 6.46/6.70  (zenon_X52 != zenon_X66)
% 6.46/6.70  ((skc10) != zenon_X179)
% 6.46/6.70  (-. (hollywood_placename (skc6) zenon_X115))
% 6.46/6.70  (-. (eventuality zenon_X0 zenon_X220))
% 6.46/6.70  (zenon_X18 != zenon_X26)
% 6.46/6.70  (-. (eventuality zenon_X58 zenon_X470))
% 6.46/6.70  ((skc11) != zenon_X520)
% 6.46/6.70  (-. (event zenon_X64 (skc7)))
% 6.46/6.70  (artifact (skc6) (skc8))
% 6.46/6.70  (-. (eventuality zenon_X48 zenon_X146))
% 6.46/6.70  (-. (general zenon_X8 (skc8)))
% 6.46/6.70  ((skc9) != zenon_X250)
% 6.46/6.70  (-. (general zenon_X68 (skc7)))
% 6.46/6.70  ((skc8) != zenon_X25)
% 6.46/6.70  (-. (existent zenon_X24 zenon_X193))
% 6.46/6.70  (zenon_X14 != zenon_X2)
% 6.46/6.70  ((skc8) != zenon_X301)
% 6.46/6.70  (-. (object zenon_X14 (skc8)))
% 6.46/6.70  (actual_world (skc6))
% 6.46/6.70  (-. (artifact zenon_X52 (skc11)))
% 6.46/6.70  ((skc8) != zenon_X215)
% 6.46/6.70  (zenon_X20 != zenon_X64)
% 6.46/6.70  ((skc11) != zenon_X156)
% 6.46/6.70  (specific zenon_X66 (skc8))
% 6.46/6.70  (nonliving zenon_X28 (skc8))
% 6.46/6.70  (zenon_X58 != zenon_X50)
% 6.46/6.70  ((skc8) != zenon_X365)
% 6.46/6.70  (-. (barrel zenon_X62 zenon_X293))
% 6.46/6.70  (-. (specific zenon_X14 (skc10)))
% 6.46/6.70  (-. (object zenon_X0 zenon_X287))
% 6.46/6.70  ((skc11) != zenon_X67)
% 6.46/6.70  (object zenon_X62 (skc10))
% 6.46/6.70  (-. (existent zenon_X2 zenon_X272))
% 6.46/6.70  ((skc11) != zenon_X89)
% 6.46/6.70  (zenon_X18 != zenon_X14)
% 6.46/6.70  (city (skc6) (skc10))
% 6.46/6.70  ((skc8) != zenon_X108)
% 6.46/6.70  (-. (car zenon_X2 zenon_X466))
% 6.46/6.70  ((skc8) != zenon_X449)
% 6.46/6.70  (-. (nonexistent zenon_X64 (skc11)))
% 6.46/6.70  (artifact zenon_X54 (skc11))
% 6.46/6.70  ((skc7) != zenon_X100)
% 6.46/6.70  (-. (artifact zenon_X26 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X328)
% 6.46/6.70  (zenon_X56 != zenon_X24)
% 6.46/6.70  (entity zenon_X62 (skc10))
% 6.46/6.70  ((skc10) != zenon_X116)
% 6.46/6.70  (-. (city zenon_X24 zenon_X283))
% 6.46/6.70  (zenon_X8 != zenon_X24)
% 6.46/6.70  (-. (entity zenon_X20 zenon_X76))
% 6.46/6.70  (-. (street zenon_X62 zenon_X421))
% 6.46/6.70  (dirty (skc6) (skc8))
% 6.46/6.70  ((skc11) != zenon_X535)
% 6.46/6.70  (-. (entity zenon_X48 zenon_X251))
% 6.46/6.70  ((skc8) != zenon_X29)
% 6.46/6.70  (-. (hollywood_placename zenon_X18 zenon_X153))
% 6.46/6.70  (object zenon_X54 (skc11))
% 6.46/6.70  (unisex zenon_X12 (skc7))
% 6.46/6.70  ((skc11) != zenon_X133)
% 6.46/6.70  ((skc8) != zenon_X339)
% 6.46/6.70  (-. (general zenon_X0 (skc8)))
% 6.46/6.70  ((skc7) != zenon_X532)
% 6.46/6.70  (-. (existent zenon_X68 zenon_X135))
% 6.46/6.70  ((skc10) != zenon_X140)
% 6.46/6.70  (-. (placename zenon_X54 zenon_X518))
% 6.46/6.70  ((skc7) != zenon_X470)
% 6.46/6.70  (-. (specific zenon_X68 zenon_X188))
% 6.46/6.70  (-. (car zenon_X50 zenon_X457))
% 6.46/6.70  ((skc11) != zenon_X65)
% 6.46/6.70  ((skc6) != zenon_X60)
% 6.46/6.70  (-. (placename zenon_X54 zenon_X540))
% 6.46/6.70  ((skc10) != zenon_X423)
% 6.46/6.70  ((skc8) != zenon_X373)
% 6.46/6.70  (-. (placename zenon_X24 zenon_X196))
% 6.46/6.70  ((skc7) != zenon_X220)
% 6.46/6.70  (-. (vehicle zenon_X8 zenon_X462))
% 6.46/6.70  (car zenon_X54 (skc8))
% 6.46/6.70  (-. (entity zenon_X24 zenon_X275))
% 6.46/6.70  (zenon_X18 != zenon_X68)
% 6.46/6.70  (-. (existent zenon_X68 (skc10)))
% 6.46/6.70  (-. (general zenon_X50 (skc10)))
% 6.46/6.70  (entity zenon_X16 (skc10))
% 6.46/6.70  (present (skc6) (skc7))
% 6.46/6.70  (-. (barrel zenon_X68 zenon_X158))
% 6.46/6.70  (-. (chevy zenon_X24 zenon_X503))
% 6.46/6.70  ((skc8) != zenon_X377)
% 6.46/6.70  (-. (car zenon_X48 zenon_X508))
% 6.46/6.70  ((skc11) != zenon_X21)
% 6.46/6.70  (-. (street zenon_X54 zenon_X531))
% 6.46/6.70  (-. (location zenon_X2 zenon_X285))
% 6.46/6.70  ((skc10) != zenon_X320)
% 6.46/6.70  ((skc11) != zenon_X260)
% 6.46/6.70  ((skc11) != zenon_X104)
% 6.46/6.70  ((skc11) != zenon_X402)
% 6.46/6.70  ((skc10) != zenon_X292)
% 6.46/6.70  (-. (car zenon_X2 (skc8)))
% 6.46/6.70  (-. (artifact zenon_X52 (skc8)))
% 6.46/6.70  ((skc6) != zenon_X56)
% 6.46/6.70  ((skc11) != zenon_X531)
% 6.46/6.70  (entity zenon_X18 (skc11))
% 6.46/6.70  (-. (entity zenon_X56 zenon_X479))
% 6.46/6.70  ((skc11) != zenon_X265)
% 6.46/6.70  ((skc11) != zenon_X366)
% 6.46/6.70  (zenon_X24 != zenon_X58)
% 6.46/6.70  (-. (general zenon_X18 (skc11)))
% 6.46/6.70  (existent zenon_X64 (skc11))
% 6.46/6.70  (-. (chevy zenon_X14 zenon_X511))
% 6.46/6.70  (-. (placename zenon_X18 zenon_X110))
% 6.46/6.70  (-. (street zenon_X60 zenon_X482))
% 6.46/6.70  (zenon_X54 != zenon_X64)
% 6.46/6.70  ((skc8) != zenon_X366)
% 6.46/6.70  (-. (entity zenon_X8 zenon_X198))
% 6.46/6.70  ((skc11) != zenon_X288)
% 6.46/6.70  ((skc8) != zenon_X444)
% 6.46/6.70  ((skc8) != zenon_X152)
% 6.46/6.70  (-. (vehicle zenon_X26 zenon_X418))
% 6.46/6.70  (-. (general zenon_X8 (skc11)))
% 6.46/6.70  (-. (location zenon_X18 (skc10)))
% 6.46/6.70  ((skc8) != zenon_X306)
% 6.46/6.70  (-. (street zenon_X66 zenon_X336))
% 6.46/6.70  ((skc10) != zenon_X76)
% 6.46/6.70  (zenon_X16 != zenon_X50)
% 6.46/6.70  ((skc11) != (skc7))
% 6.46/6.70  (-. (hollywood_placename zenon_X0 zenon_X151))
% 6.46/6.70  (-. (entity zenon_X54 zenon_X520))
% 6.46/6.70  (zenon_X50 != zenon_X66)
% 6.46/6.70  (of (skc6) (skc9) (skc10))
% 6.46/6.70  (-. (object zenon_X64 zenon_X98))
% 6.46/6.70  (-. (event zenon_X54 zenon_X497))
% 6.46/6.70  (-. (artifact zenon_X20 zenon_X171))
% 6.46/6.70  ((skc11) != zenon_X251)
% 6.46/6.70  ((skc7) != zenon_X105)
% 6.46/6.70  (-. (specific zenon_X2 (skc8)))
% 6.46/6.70  ((skc7) != zenon_X144)
% 6.46/6.70  (-. (event zenon_X48 zenon_X204))
% 6.46/6.70  ((skc10) != zenon_X308)
% 6.46/6.70  (-. (entity zenon_X14 zenon_X429))
% 6.46/6.70  (-. (specific zenon_X60 zenon_X387))
% 6.46/6.70  (-. (artifact zenon_X62 zenon_X337))
% 6.46/6.70  (-. (chevy zenon_X0 zenon_X526))
% 6.46/6.70  (zenon_X0 != zenon_X68)
% 6.46/6.70  (-. (entity zenon_X54 zenon_X519))
% 6.46/6.70  (nonliving zenon_X28 (skc11))
% 6.46/6.70  (-. (general zenon_X48 (skc10)))
% 6.46/6.70  (-. (nonexistent zenon_X50 (skc10)))
% 6.46/6.70  ((skc10) != zenon_X104)
% 6.46/6.70  (object zenon_X24 (skc8))
% 6.46/6.70  (artifact zenon_X24 (skc11))
% 6.46/6.70  (-. (instrumentality zenon_X66 zenon_X316))
% 6.46/6.70  (object zenon_X48 (skc10))
% 6.46/6.70  ((skc11) != zenon_X528)
% 6.46/6.70  (down (skc6) (skc7) (skc11))
% 6.46/6.70  (-. (street zenon_X52 zenon_X333))
% 6.46/6.70  (-. (event zenon_X64 zenon_X100))
% 6.46/6.70  (-. (instrumentality zenon_X2 zenon_X362))
% 6.46/6.70  (-. (general zenon_X54 (skc8)))
% 6.46/6.70  (zenon_X48 != zenon_X58)
% 6.46/6.70  ((skc8) != zenon_X363)
% 6.46/6.70  ((skc11) != zenon_X267)
% 6.46/6.70  (entity zenon_X60 (skc8))
% 6.46/6.70  (-. (way zenon_X68 zenon_X267))
% 6.46/6.70  ((skc10) != zenon_X507)
% 6.46/6.70  (zenon_X16 != zenon_X62)
% 6.46/6.70  (-. (specific zenon_X52 (skc7)))
% 6.46/6.70  ((skc9) != zenon_X35)
% 6.46/6.70  (zenon_X62 != zenon_X64)
% 6.46/6.70  (-. (eventuality zenon_X18 zenon_X144))
% 6.46/6.70  (zenon_X16 != zenon_X56)
% 6.46/6.70  (-. (nonexistent zenon_X48 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X411)
% 6.46/6.70  ((skc11) != zenon_X505)
% 6.46/6.70  (-. (artifact zenon_X26 (skc11)))
% 6.46/6.70  (-. (object zenon_X20 zenon_X21))
% 6.46/6.70  (zenon_X16 != zenon_X68)
% 6.46/6.70  ((skc8) != zenon_X257)
% 6.46/6.70  (-. (entity zenon_X0 zenon_X228))
% 6.46/6.70  ((skc7) != zenon_X72)
% 6.46/6.70  (-. (existent zenon_X68 (skc8)))
% 6.46/6.70  (-. (entity zenon_X2 zenon_X408))
% 6.46/6.70  (nonliving zenon_X28 (skc10))
% 6.46/6.70  (-. (instrumentality zenon_X54 zenon_X502))
% 6.46/6.70  ((skc10) != zenon_X94)
% 6.46/6.70  (-. (existent zenon_X52 zenon_X104))
% 6.46/6.70  (artifact zenon_X48 (skc8))
% 6.46/6.70  ((skc8) != zenon_X176)
% 6.46/6.70  ((skc10) != zenon_X286)
% 6.46/6.70  (-. (placename zenon_X56 zenon_X447))
% 6.46/6.70  ((skc11) != zenon_X25)
% 6.46/6.70  ((skc7) != zenon_X387)
% 6.46/6.70  (nonhuman zenon_X42 (skc9))
% 6.46/6.70  (-. (artifact zenon_X0 zenon_X255))
% 6.46/6.70  (-. (artifact zenon_X16 zenon_X315))
% 6.46/6.70  (placename zenon_X0 (skc9))
% 6.46/6.70  (-. (hollywood_placename zenon_X50 zenon_X226))
% 6.46/6.70  (-. (transport zenon_X66 zenon_X369))
% 6.46/6.70  (existent (skc6) (skc11))
% 6.46/6.70  (-. (city zenon_X48 zenon_X237))
% 6.46/6.70  (-. (nonexistent zenon_X8 (skc11)))
% 6.46/6.70  (zenon_X60 != zenon_X64)
% 6.46/6.70  ((skc11) != zenon_X463)
% 6.46/6.70  (-. (existent zenon_X68 (skc11)))
% 6.46/6.70  (-. (entity zenon_X8 zenon_X304))
% 6.46/6.70  ((skc11) != zenon_X414)
% 6.46/6.70  (-. (chevy zenon_X26 zenon_X525))
% 6.46/6.70  (-. (eventuality zenon_X50 zenon_X273))
% 6.46/6.70  (-. (nonexistent zenon_X56 (skc10)))
% 6.46/6.70  (-. (way zenon_X54 zenon_X535))
% 6.46/6.70  (-. (object zenon_X62 zenon_X346))
% 6.46/6.70  ((skc10) != zenon_X85)
% 6.46/6.70  (zenon_X48 != zenon_X62)
% 6.46/6.70  ((skc8) != zenon_X78)
% 6.46/6.70  ((skc10) != zenon_X93)
% 6.46/6.70  (-. (chevy zenon_X62 zenon_X522))
% 6.46/6.70  ((skc10) != zenon_X458)
% 6.46/6.70  ((skc7) != zenon_X271)
% 6.46/6.70  ((skc6) != zenon_X18)
% 6.46/6.70  (-. (chevy zenon_X54 zenon_X55))
% 6.46/6.70  (-. (entity zenon_X18 zenon_X172))
% 6.46/6.70  (-. (eventuality zenon_X66 zenon_X149))
% 6.46/6.70  (-. (car zenon_X54 zenon_X516))
% 6.46/6.70  ((skc11) != zenon_X299)
% 6.46/6.70  (location zenon_X54 (skc10))
% 6.46/6.70  ((skc6) != zenon_X68)
% 6.46/6.70  ((skc8) != zenon_X359)
% 6.46/6.70  ((skc8) != zenon_X90)
% 6.46/6.70  (-. (street zenon_X56 zenon_X484))
% 6.46/6.70  (relname zenon_X34 (skc9))
% 6.46/6.70  (-. (way zenon_X52 zenon_X259))
% 6.46/6.70  (zenon_X52 != zenon_X14)
% 6.46/6.70  ((skc8) != zenon_X337)
% 6.46/6.70  (existent zenon_X48 (skc10))
% 6.46/6.70  (-. (eventuality zenon_X62 zenon_X352))
% 6.46/6.70  ((skc10) != zenon_X225)
% 6.46/6.70  ((skc8) != zenon_X351)
% 6.46/6.70  ((skc10) != zenon_X409)
% 6.46/6.70  (-. (object zenon_X68 (skc11)))
% 6.46/6.70  (zenon_X48 != zenon_X64)
% 6.46/6.70  (zenon_X0 != zenon_X20)
% 6.46/6.70  (zenon_X8 != zenon_X68)
% 6.46/6.70  ((skc11) != zenon_X188)
% 6.46/6.70  (zenon_X8 != zenon_X16)
% 6.46/6.70  ((skc11) != zenon_X423)
% 6.46/6.70  ((skc7) != zenon_X1)
% 6.46/6.70  (-. (placename zenon_X14 zenon_X297))
% 6.46/6.70  (street (skc6) (skc11))
% 6.46/6.70  ((skc8) != zenon_X389)
% 6.46/6.70  ((skc10) != zenon_X98)
% 6.46/6.70  (zenon_X60 != zenon_X18)
% 6.46/6.70  ((skc10) != zenon_X168)
% 6.46/6.70  (-. (chevy zenon_X52 zenon_X498))
% 6.46/6.70  (-. (entity (skc6) zenon_X96))
% 6.46/6.70  (-. (placename zenon_X16 (skc9)))
% 6.46/6.70  ((skc10) != zenon_X208)
% 6.46/6.70  ((skc10) != zenon_X435)
% 6.46/6.70  (object zenon_X20 (skc11))
% 6.46/6.70  (-. (entity zenon_X66 (skc10)))
% 6.46/6.70  (-. (entity zenon_X2 (skc11)))
% 6.46/6.70  ((skc11) != zenon_X271)
% 6.46/6.70  (-. (specific zenon_X62 (skc7)))
% 6.46/6.70  (-. (specific zenon_X16 zenon_X350))
% 6.46/6.70  ((skc6) != zenon_X26)
% 6.46/6.70  (-. (specific zenon_X54 zenon_X532))
% 6.46/6.70  ((skc8) != zenon_X76)
% 6.46/6.70  (zenon_X16 != zenon_X58)
% 6.46/6.70  ((skc7) != zenon_X170)
% 6.46/6.70  (zenon_X56 != zenon_X0)
% 6.46/6.70  ((skc10) != zenon_X298)
% 6.46/6.70  ((skc10) != zenon_X129)
% 6.46/6.70  ((skc8) != zenon_X104)
% 6.46/6.70  ((skc8) != zenon_X156)
% 6.46/6.70  ((skc8) != zenon_X248)
% 6.46/6.70  (-. (vehicle zenon_X50 zenon_X444))
% 6.46/6.70  (entity (skc6) (skc8))
% 6.46/6.70  ((skc11) != zenon_X186)
% 6.46/6.70  ((skc10) != zenon_X130)
% 6.46/6.70  ((skc9) != zenon_X47)
% 6.46/6.70  ((skc10) != zenon_X101)
% 6.46/6.70  (-. (entity zenon_X68 zenon_X189))
% 6.46/6.70  ((skc8) != zenon_X188)
% 6.46/6.70  (-. (street zenon_X26 zenon_X268))
% 6.46/6.70  (eventuality zenon_X56 (skc7))
% 6.46/6.70  (zenon_X54 != zenon_X60)
% 6.46/6.70  ((skc7) != zenon_X463)
% 6.46/6.70  ((skc8) != zenon_X254)
% 6.46/6.70  (-. (location zenon_X20 zenon_X210))
% 6.46/6.70  (-. (location zenon_X64 (skc10)))
% 6.46/6.70  ((skc8) != zenon_X77)
% 6.46/6.70  ((skc11) != zenon_X317)
% 6.46/6.70  (-. (specific zenon_X56 (skc11)))
% 6.46/6.70  (object zenon_X8 (skc11))
% 6.46/6.70  ((skc9) != (skc8))
% 6.46/6.70  ((skc11) != zenon_X88)
% 6.46/6.70  ((skc11) != zenon_X103)
% 6.46/6.70  (way zenon_X54 (skc11))
% 6.46/6.70  ((skc8) != zenon_X479)
% 6.46/6.70  (-. (placename zenon_X24 (skc9)))
% 6.46/6.70  ((skc7) != zenon_X73)
% 6.46/6.70  (zenon_X20 != zenon_X26)
% 6.46/6.70  (object zenon_X16 (skc8))
% 6.46/6.70  (zenon_X20 != zenon_X52)
% 6.46/6.70  (-. (specific zenon_X2 (skc10)))
% 6.46/6.70  (-. (transport (skc6) zenon_X390))
% 6.46/6.70  (-. (vehicle zenon_X64 zenon_X356))
% 6.46/6.70  (way (skc6) (skc11))
% 6.46/6.70  ((skc6) != zenon_X62)
% 6.46/6.70  (entity zenon_X56 (skc10))
% 6.46/6.70  ((skc8) != zenon_X428)
% 6.46/6.70  (-. (general zenon_X60 (skc8)))
% 6.46/6.70  ((skc11) != zenon_X152)
% 6.46/6.70  (-. (object zenon_X56 zenon_X458))
% 6.46/6.70  (specific zenon_X16 (skc8))
% 6.46/6.70  (existent zenon_X56 (skc8))
% 6.46/6.70  (artifact zenon_X48 (skc11))
% 6.46/6.70  ((skc10) != zenon_X302)
% 6.46/6.70  (-. (transport zenon_X0 (skc8)))
% 6.46/6.70  (zenon_X62 != zenon_X58)
% 6.46/6.70  (-. (object zenon_X32 zenon_X33))
% 6.46/6.70  (zenon_X56 != zenon_X14)
% 6.46/6.70  (-. (specific zenon_X20 zenon_X101))
% 6.46/6.70  ((skc8) != zenon_X135)
% 6.46/6.70  ((skc10) != zenon_X448)
% 6.46/6.70  (-. (way zenon_X62 zenon_X341))
% 6.46/6.70  ((skc8) != zenon_X105)
% 6.46/6.70  ((skc8) != zenon_X409)
% 6.46/6.70  (-. (city zenon_X54 zenon_X507))
% 6.46/6.70  (-. (instrumentality zenon_X52 zenon_X282))
% 6.46/6.70  (-. (existent zenon_X60 zenon_X399))
% 6.46/6.70  ((skc11) != zenon_X541)
% 6.46/6.70  (specific zenon_X68 (skc7))
% 6.46/6.70  ((skc11) != zenon_X222)
% 6.46/6.70  (-. (entity zenon_X62 zenon_X349))
% 6.46/6.70  (instrumentality zenon_X18 (skc8))
% 6.46/6.70  (zenon_X54 != zenon_X2)
% 6.46/6.70  ((skc11) != zenon_X515)
% 6.46/6.70  (-. (object zenon_X52 (skc11)))
% 6.46/6.70  (instrumentality zenon_X24 (skc8))
% 6.46/6.70  ((skc8) != zenon_X225)
% 6.46/6.70  ((skc9) != zenon_X517)
% 6.46/6.70  (-. (instrumentality (skc6) zenon_X328))
% 6.46/6.70  ((skc10) != zenon_X31)
% 6.46/6.70  (specific zenon_X0 (skc10))
% 6.46/6.70  (-. (event zenon_X0 zenon_X245))
% 6.46/6.70  (zenon_X16 != zenon_X52)
% 6.46/6.70  ((skc9) != zenon_X39)
% 6.46/6.70  (-. (transport zenon_X50 (skc8)))
% 6.46/6.70  (specific zenon_X14 (skc7))
% 6.46/6.70  ((skc11) != zenon_X235)
% 6.46/6.70  (-. (entity zenon_X16 zenon_X168))
% 6.46/6.70  ((skc10) != zenon_X520)
% 6.46/6.70  (-. (specific zenon_X48 (skc7)))
% 6.46/6.70  (existent zenon_X16 (skc10))
% 6.46/6.70  (-. (vehicle zenon_X62 zenon_X443))
% 6.46/6.70  (-. (existent zenon_X0 (skc8)))
% 6.46/6.70  (existent zenon_X62 (skc8))
% 6.46/6.70  ((skc10) != zenon_X304)
% 6.46/6.70  (existent zenon_X20 (skc11))
% 6.46/6.70  (specific zenon_X60 (skc11))
% 6.46/6.70  (transport zenon_X56 (skc8))
% 6.46/6.70  (-. (general zenon_X62 (skc10)))
% 6.46/6.70  (-. (way (skc6) zenon_X169))
% 6.46/6.70  ((skc8) != zenon_X496)
% 6.46/6.70  (-. (instrumentality zenon_X0 zenon_X300))
% 6.46/6.70  (-. (specific zenon_X0 zenon_X131))
% 6.46/6.70  (zenon_X64 != zenon_X14)
% 6.46/6.70  ((skc8) != zenon_X23)
% 6.46/6.70  (existent zenon_X48 (skc11))
% 6.46/6.70  (-. (nonexistent zenon_X16 (skc11)))
% 6.46/6.70  ((skc8) != zenon_X528)
% 6.46/6.70  ((skc8) != zenon_X342)
% 6.46/6.70  (transport zenon_X8 (skc8))
% 6.46/6.70  ((skc8) != zenon_X275)
% 6.46/6.70  (-. (entity zenon_X8 zenon_X87))
% 6.46/6.70  (-. (entity zenon_X26 zenon_X192))
% 6.46/6.70  ((skc8) != zenon_X516)
% 6.46/6.70  ((skc8) != zenon_X101)
% 6.46/6.70  ((skc10) != zenon_X402)
% 6.46/6.70  (zenon_X20 != zenon_X18)
% 6.46/6.70  ((skc8) != zenon_X291)
% 6.46/6.70  ((skc8) != zenon_X72)
% 6.46/6.70  (-. (placename zenon_X60 (skc9)))
% 6.46/6.70  (object (skc6) (skc11))
% 6.46/6.70  (-. (object zenon_X0 (skc10)))
% 6.46/6.70  (-. (hollywood_placename zenon_X52 zenon_X200))
% 6.46/6.70  (zenon_X56 != zenon_X48)
% 6.46/6.70  ((skc11) != zenon_X353)
% 6.46/6.70  (-. (general (skc6) (skc10)))
% 6.46/6.70  (-. (nonexistent zenon_X62 (skc8)))
% 6.46/6.70  (-. (entity zenon_X8 zenon_X225))
% 6.46/6.70  ((skc8) != zenon_X253)
% 6.46/6.70  (-. (placename zenon_X16 zenon_X167))
% 6.46/6.70  (-. (specific zenon_X24 (skc7)))
% 6.46/6.70  (specific (skc6) (skc10))
% 6.46/6.70  (-. (car zenon_X64 zenon_X454))
% 6.46/6.70  ((skc11) != zenon_X179)
% 6.46/6.70  (-. (car zenon_X62 zenon_X501))
% 6.46/6.70  (-. (general zenon_X64 (skc11)))
% 6.46/6.70  ((skc6) != zenon_X16)
% 6.46/6.70  ((skc11) != zenon_X27)
% 6.46/6.70  (-. (general zenon_X66 (skc8)))
% 6.46/6.70  (zenon_X16 != zenon_X2)
% 6.46/6.70  (-. (hollywood_placename zenon_X20 zenon_X86))
% 6.46/6.70  ((skc11) != zenon_X330)
% 6.46/6.70  (-. (hollywood_placename zenon_X60 zenon_X372))
% 6.46/6.70  (-. (instrumentality zenon_X64 zenon_X351))
% 6.46/6.70  (existent zenon_X54 (skc8))
% 6.46/6.70  ((skc11) != zenon_X270)
% 6.46/6.70  (-. (car zenon_X68 zenon_X472))
% 6.46/6.70  ((skc9) != zenon_X540)
% 6.46/6.70  (-. (entity zenon_X58 zenon_X440))
% 6.46/6.70  (-. (eventuality zenon_X20 zenon_X107))
% 6.46/6.70  (event zenon_X56 (skc7))
% 6.46/6.70  ((skc8) != zenon_X519)
% 6.46/6.70  ((skc10) != zenon_X438)
% 6.46/6.70  ((skc7) != zenon_X358)
% 6.46/6.70  (-. (chevy zenon_X18 zenon_X510))
% 6.46/6.70  (-. (entity zenon_X62 zenon_X317))
% 6.46/6.70  (-. (car zenon_X52 zenon_X452))
% 6.46/6.70  ((skc11) != zenon_X129)
% 6.46/6.70  (-. (entity zenon_X14 zenon_X298))
% 6.46/6.70  (existent zenon_X18 (skc8))
% 6.46/6.70  ((skc10) != zenon_X87)
% 6.46/6.70  (-. (entity zenon_X52 (skc8)))
% 6.46/6.70  (zenon_X8 != zenon_X18)
% 6.46/6.70  (-. (placename zenon_X20 (skc9)))
% 6.46/6.70  ((skc10) != zenon_X21)
% 6.46/6.70  (-. (specific zenon_X20 (skc7)))
% 6.46/6.70  (-. (event zenon_X58 zenon_X424))
% 6.46/6.70  (-. (object zenon_X60 zenon_X402))
% 6.46/6.70  (entity zenon_X54 (skc8))
% 6.46/6.70  (zenon_X14 != zenon_X50)
% 6.46/6.70  (eventuality zenon_X60 (skc7))
% 6.46/6.70  ((skc10) != zenon_X72)
% 6.46/6.70  (-. (instrumentality zenon_X16 zenon_X340))
% 6.46/6.70  (event zenon_X54 (skc7))
% 6.46/6.70  (-. (barrel zenon_X18 zenon_X134))
% 6.46/6.70  (-. (street zenon_X16 zenon_X379))
% 6.46/6.70  (thing zenon_X22 (skc10))
% 6.46/6.70  (-. (event zenon_X18 zenon_X258))
% 6.46/6.70  ((skc10) != zenon_X509)
% 6.46/6.70  (-. (way zenon_X26 (skc11)))
% 6.46/6.70  ((skc11) != zenon_X76)
% 6.46/6.70  (-. (location zenon_X62 zenon_X329))
% 6.46/6.70  (zenon_X20 != zenon_X14)
% 6.46/6.70  ((skc8) != zenon_X513)
% 6.46/6.70  ((skc11) != zenon_X131)
% 6.46/6.70  (-. (entity zenon_X52 zenon_X143))
% 6.46/6.70  (-. (entity zenon_X2 zenon_X155))
% 6.46/6.70  ((skc11) != zenon_X218)
% 6.46/6.70  (zenon_X62 != zenon_X0)
% 6.46/6.70  (-. (event zenon_X50 zenon_X325))
% 6.46/6.70  ((skc10) != zenon_X317)
% 6.46/6.70  (specific zenon_X8 (skc10))
% 6.46/6.70  (-. (general zenon_X48 (skc8)))
% 6.46/6.70  ((skc11) != zenon_X91)
% 6.46/6.70  (-. (instrumentality zenon_X48 zenon_X301))
% 6.46/6.70  (-. (nonexistent zenon_X14 (skc11)))
% 6.46/6.70  (entity zenon_X48 (skc8))
% 6.46/6.70  (-. (transport zenon_X56 zenon_X469))
% 6.46/6.70  ((skc8) != zenon_X292)
% 6.46/6.70  (object zenon_X24 (skc11))
% 6.46/6.70  (-. (general zenon_X58 (skc8)))
% 6.46/6.70  (-. (event zenon_X20 (skc7)))
% 6.46/6.70  (-. (general zenon_X60 (skc7)))
% 6.46/6.70  (-. (general zenon_X20 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X210)
% 6.46/6.70  ((skc11) != zenon_X183)
% 6.46/6.70  (-. (entity zenon_X50 zenon_X310))
% 6.46/6.70  (-. (way zenon_X0 (skc11)))
% 6.46/6.70  (-. (location zenon_X54 zenon_X509))
% 6.46/6.70  (-. (specific zenon_X50 (skc11)))
% 6.46/6.70  ((skc10) != zenon_X238)
% 6.46/6.70  (-. (barrel zenon_X20 zenon_X163))
% 6.46/6.70  (location (skc6) (skc10))
% 6.46/6.70  (entity zenon_X52 (skc10))
% 6.46/6.70  ((skc8) != zenon_X320)
% 6.46/6.70  (event zenon_X0 (skc7))
% 6.46/6.70  (-. (artifact zenon_X0 (skc8)))
% 6.46/6.70  (entity zenon_X50 (skc10))
% 6.46/6.70  ((skc10) != zenon_X120)
% 6.46/6.70  (-. (location zenon_X16 zenon_X290))
% 6.46/6.70  (-. (entity zenon_X26 (skc11)))
% 6.46/6.70  ((skc8) != zenon_X197)
% 6.46/6.70  (-. (entity zenon_X26 (skc10)))
% 6.46/6.70  (specific zenon_X8 (skc8))
% 6.46/6.70  (specific zenon_X16 (skc11))
% 6.46/6.70  (-. (vehicle zenon_X50 (skc8)))
% 6.46/6.70  (-. (abstraction zenon_X40 zenon_X41))
% 6.46/6.70  (impartial zenon_X30 (skc8))
% 6.46/6.70  ((skc8) != zenon_X93)
% 6.46/6.70  ((skc11) != zenon_X264)
% 6.46/6.70  (zenon_X20 != zenon_X50)
% 6.46/6.70  (zenon_X62 != zenon_X14)
% 6.46/6.70  ((skc10) != zenon_X479)
% 6.46/6.70  (-. (city zenon_X68 zenon_X124))
% 6.46/6.70  (-. (general zenon_X64 (skc8)))
% 6.46/6.70  ((skc11) != zenon_X275)
% 6.46/6.70  (-. (way zenon_X58 zenon_X464))
% 6.46/6.70  (zenon_X0 != zenon_X52)
% 6.46/6.70  (-. (transport zenon_X24 zenon_X318))
% 6.46/6.70  (object zenon_X48 (skc8))
% 6.46/6.70  (-. (general zenon_X54 (skc10)))
% 6.46/6.70  (thing zenon_X40 (skc9))
% 6.46/6.70  (entity zenon_X54 (skc10))
% 6.46/6.70  (-. (general zenon_X24 (skc8)))
% 6.46/6.70  ((skc11) != zenon_X253)
% 6.46/6.70  (-. (hollywood_placename zenon_X62 zenon_X401))
% 6.46/6.70  (-. (abstraction zenon_X46 zenon_X47))
% 6.46/6.70  ((skc11) != zenon_X33)
% 6.46/6.70  (artifact zenon_X64 (skc11))
% 6.46/6.70  (-. (car zenon_X26 zenon_X496))
% 6.46/6.70  (-. (entity zenon_X48 zenon_X248))
% 6.46/6.70  ((skc11) != zenon_X31)
% 6.46/6.70  ((skc11) != zenon_X230)
% 6.46/6.70  (zenon_X60 != zenon_X50)
% 6.46/6.70  (-. (way zenon_X56 zenon_X451))
% 6.46/6.70  (-. (placename (skc6) zenon_X82))
% 6.46/6.70  (zenon_X18 != zenon_X64)
% 6.46/6.70  ((skc8) != zenon_X255)
% 6.46/6.70  (-. (entity zenon_X14 zenon_X384))
% 6.46/6.70  ((skc8) != zenon_X492)
% 6.46/6.70  (specific zenon_X2 (skc7))
% 6.46/6.70  ((skc8) != zenon_X514)
% 6.46/6.70  ((skc10) != zenon_X123)
% 6.46/6.70  ((skc10) != zenon_X276)
% 6.46/6.70  (zenon_X58 != zenon_X0)
% 6.46/6.70  (-. (car zenon_X60 zenon_X493))
% 6.46/6.70  (location zenon_X8 (skc10))
% 6.46/6.70  (-. (nonexistent zenon_X62 (skc10)))
% 6.46/6.70  ((skc11) != zenon_X108)
% 6.46/6.70  (specific zenon_X64 (skc11))
% 6.46/6.70  ((skc10) != zenon_X256)
% 6.46/6.70  (-. (object zenon_X66 (skc10)))
% 6.46/6.70  (-. (general zenon_X54 (skc7)))
% 6.46/6.70  (artifact zenon_X66 (skc8))
% 6.46/6.70  ((skc11) != zenon_X19)
% 6.46/6.70  ((skc11) != zenon_X215)
% 6.46/6.70  (-. (barrel zenon_X2 zenon_X145))
% 6.46/6.70  (-. (street zenon_X2 zenon_X412))
% 6.46/6.70  ((skc11) != zenon_X532)
% 6.46/6.70  ((skc8) != zenon_X94)
% 6.46/6.70  ((skc11) != zenon_X96)
% 6.46/6.70  (-. (hollywood_placename zenon_X58 zenon_X420))
% 6.46/6.70  ((skc11) != zenon_X143)
% 6.46/6.70  ((skc7) != zenon_X7)
% 6.46/6.70  (-. (location zenon_X66 (skc10)))
% 6.46/6.70  ((skc8) != zenon_X59)
% 6.46/6.70  ((skc8) != zenon_X112)
% 6.46/6.70  (-. (street (skc6) zenon_X299))
% 6.46/6.70  (-. (car (skc6) zenon_X449))
% 6.46/6.70  ((skc8) != zenon_X378)
% 6.46/6.70  (zenon_X58 != zenon_X14)
% 6.46/6.70  (-. (vehicle zenon_X14 zenon_X488))
% 6.46/6.70  ((skc7) != zenon_X13)
% 6.46/6.70  (-. (object zenon_X68 (skc10)))
% 6.46/6.70  ((skc10) != zenon_X131)
% 6.46/6.70  (-. (object zenon_X8 zenon_X122))
% 6.46/6.70  (zenon_X8 != zenon_X60)
% 6.46/6.70  (-. (entity zenon_X68 (skc8)))
% 6.46/6.70  (-. (artifact zenon_X14 zenon_X342))
% 6.46/6.70  (-. (eventuality zenon_X26 zenon_X242))
% 6.46/6.70  ((skc11) != zenon_X15)
% 6.46/6.70  ((skc11) != zenon_X292)
% 6.46/6.70  (object zenon_X60 (skc8))
% 6.46/6.70  (-. (vehicle zenon_X20 zenon_X413))
% 6.46/6.70  (-. (placename zenon_X8 zenon_X224))
% 6.46/6.70  (-. (placename zenon_X34 zenon_X35))
% 6.46/6.70  (-. (entity zenon_X66 zenon_X89))
% 6.46/6.70  ((skc10) != zenon_X212)
% 6.46/6.70  (-. (existent zenon_X14 zenon_X335))
% 6.46/6.70  (eventuality zenon_X0 (skc7))
% 6.46/6.70  (-. (transport zenon_X48 zenon_X404))
% 6.46/6.70  ((skc8) != (skc7))
% 6.46/6.70  (existent zenon_X26 (skc11))
% 6.46/6.70  ((skc11) != zenon_X302)
% 6.46/6.70  (thing zenon_X4 (skc7))
% 6.46/6.70  (zenon_X58 != zenon_X64)
% 6.46/6.70  ((skc10) != zenon_X88)
% 6.46/6.70  (-. (instrumentality zenon_X60 zenon_X465))
% 6.46/6.70  (object zenon_X54 (skc8))
% 6.46/6.70  (-. (transport zenon_X64 zenon_X389))
% 6.46/6.70  ((skc9) != zenon_X49)
% 6.46/6.70  (-. (hollywood_placename zenon_X2 zenon_X232))
% 6.46/6.70  (-. (barrel zenon_X50 zenon_X229))
% 6.46/6.70  (-. (general zenon_X66 (skc7)))
% 6.46/6.70  ((skc10) != zenon_X519)
% 6.46/6.70  (zenon_X14 != zenon_X26)
% 6.46/6.70  (-. (object (skc6) zenon_X78))
% 6.46/6.70  (-. (entity zenon_X66 zenon_X186))
% 6.46/6.70  ((skc11) != zenon_X400)
% 6.46/6.70  (artifact zenon_X8 (skc8))
% 6.46/6.70  (entity (skc6) (skc11))
% 6.46/6.70  (specific zenon_X62 (skc10))
% 6.46/6.70  (-. (location zenon_X68 zenon_X106))
% 6.46/6.70  ((skc8) != zenon_X315)
% 6.46/6.70  (-. (entity zenon_X18 zenon_X152))
% 6.46/6.70  (zenon_X16 != zenon_X64)
% 6.46/6.70  ((skc11) != zenon_X197)
% 6.46/6.70  (-. (vehicle zenon_X48 zenon_X415))
% 6.46/6.70  (-. (event zenon_X60 zenon_X322))
% 6.46/6.70  (-. (existent zenon_X8 zenon_X219))
% 6.46/6.70  (specific zenon_X52 (skc10))
% 6.46/6.70  (zenon_X54 != zenon_X56)
% 6.46/6.70  (zenon_X24 != zenon_X14)
% 6.46/6.70  ((skc8) != zenon_X219)
% 6.46/6.70  (existent zenon_X8 (skc8))
% 6.46/6.70  (-. (hollywood_placename zenon_X68 zenon_X137))
% 6.46/6.70  (-. (vehicle zenon_X24 zenon_X427))
% 6.46/6.70  ((skc11) != zenon_X164)
% 6.46/6.70  (zenon_X58 != zenon_X68)
% 6.46/6.70  ((skc7) != zenon_X320)
% 6.46/6.70  (-. (barrel zenon_X24 zenon_X209))
% 6.46/6.70  (zenon_X48 != zenon_X24)
% 6.46/6.70  ((skc11) != zenon_X193)
% 6.46/6.70  ((skc10) != zenon_X7)
% 6.46/6.70  (-. (instrumentality zenon_X58 zenon_X428))
% 6.46/6.70  (-. (street zenon_X50 zenon_X397))
% 6.46/6.70  (zenon_X56 != zenon_X68)
% 6.46/6.70  ((skc9) != zenon_X395)
% 6.46/6.70  (zenon_X48 != zenon_X20)
% 6.46/6.70  ((skc10) != zenon_X213)
% 6.46/6.70  ((skc8) != zenon_X304)
% 6.46/6.70  ((skc8) != zenon_X61)
% 6.46/6.70  (-. (entity zenon_X26 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X467)
% 6.46/6.70  (-. (existent zenon_X62 zenon_X330))
% 6.46/6.70  (-. (entity zenon_X64 zenon_X127))
% 6.46/6.70  (-. (transport zenon_X8 zenon_X442))
% 6.46/6.70  (-. (relation zenon_X38 zenon_X39))
% 6.46/6.70  (event zenon_X16 (skc7))
% 6.46/6.70  (-. (vehicle zenon_X52 (skc8)))
% 6.46/6.70  (object zenon_X56 (skc10))
% 6.46/6.70  (-. (chevy zenon_X64 zenon_X512))
% 6.46/6.70  (object zenon_X54 (skc10))
% 6.46/6.70  ((skc9) != zenon_X167)
% 6.46/6.70  (-. (way zenon_X68 (skc11)))
% 6.46/6.70  (zenon_X26 != zenon_X66)
% 6.46/6.70  (specific zenon_X48 (skc11))
% 6.46/6.70  ((skc10) != zenon_X483)
% 6.46/6.70  (-. (eventuality zenon_X64 zenon_X73))
% 6.46/6.70  (zenon_X54 != zenon_X62)
% 6.46/6.70  (-. (specific zenon_X64 zenon_X65))
% 6.46/6.70  (vehicle zenon_X8 (skc8))
% 6.46/6.70  (-. (nonexistent zenon_X20 (skc8)))
% 6.46/6.70  (-. (artifact zenon_X26 zenon_X156))
% 6.46/6.70  (-. (barrel zenon_X48 zenon_X157))
% 6.46/6.70  ((skc11) != zenon_X409)
% 6.46/6.70  (-. (barrel zenon_X58 zenon_X405))
% 6.46/6.70  (-. (car zenon_X18 zenon_X453))
% 6.46/6.70  ((skc11) != zenon_X243)
% 6.46/6.70  (-. (car zenon_X58 zenon_X486))
% 6.46/6.70  (-. (placename zenon_X20 zenon_X75))
% 6.46/6.70  (artifact zenon_X58 (skc11))
% 6.46/6.70  (-. (location zenon_X60 zenon_X391))
% 6.46/6.70  ((skc10) != zenon_X53)
% 6.46/6.70  (specific zenon_X54 (skc11))
% 6.46/6.70  ((skc8) != zenon_X211)
% 6.46/6.70  ((skc7) != zenon_X129)
% 6.46/6.70  (zenon_X20 != zenon_X62)
% 6.46/6.70  (specific (skc6) (skc11))
% 6.46/6.70  (-. (general zenon_X16 (skc7)))
% 6.46/6.70  (-. (general zenon_X24 (skc10)))
% 6.46/6.70  ((skc7) != zenon_X9)
% 6.46/6.70  (-. (car zenon_X20 zenon_X450))
% 6.46/6.70  (-. (existent zenon_X52 (skc8)))
% 6.46/6.70  ((skc8) != zenon_X472)
% 6.46/6.70  ((skc8) != zenon_X323)
% 6.46/6.70  (-. (placename zenon_X48 zenon_X247))
% 6.46/6.70  ((skc7) != zenon_X263)
% 6.46/6.70  ((skc8) != zenon_X270)
% 6.46/6.70  (existent zenon_X8 (skc10))
% 6.46/6.70  ((skc8) != zenon_X63)
% 6.46/6.70  ((skc8) != zenon_X7)
% 6.46/6.70  (-. (specific zenon_X2 zenon_X132))
% 6.46/6.70  (-. (placename zenon_X54 zenon_X517))
% 6.46/6.70  (-. (nonexistent zenon_X24 (skc11)))
% 6.46/6.70  ((skc8) != zenon_X393)
% 6.46/6.70  ((skc11) != zenon_X122)
% 6.46/6.70  ((skc8) != zenon_X386)
% 6.46/6.70  ((skc9) != zenon_X45)
% 6.46/6.70  (specific zenon_X24 (skc11))
% 6.46/6.70  (-. (specific zenon_X58 zenon_X439))
% 6.46/6.70  ((skc8) != zenon_X155)
% 6.46/6.70  (zenon_X60 != zenon_X14)
% 6.46/6.70  (zenon_X16 != zenon_X20)
% 6.46/6.70  (-. (placename zenon_X66 (skc9)))
% 6.46/6.70  (-. (city zenon_X66 zenon_X202))
% 6.46/6.70  (-. (object zenon_X2 zenon_X174))
% 6.46/6.70  (zenon_X8 != zenon_X50)
% 6.46/6.70  ((skc8) != zenon_X360)
% 6.46/6.70  (entity zenon_X20 (skc8))
% 6.46/6.70  (zenon_X8 != zenon_X56)
% 6.46/6.70  (zenon_X56 != zenon_X66)
% 6.46/6.70  (relation zenon_X36 (skc9))
% 6.46/6.70  (instrumentality zenon_X8 (skc8))
% 6.46/6.70  (existent zenon_X24 (skc10))
% 6.46/6.70  (-. (object zenon_X16 zenon_X359))
% 6.46/6.70  (object zenon_X60 (skc10))
% 6.46/6.70  (-. (street zenon_X18 zenon_X307))
% 6.46/6.70  (entity zenon_X20 (skc10))
% 6.46/6.70  ((skc6) != zenon_X14)
% 6.46/6.70  (-. (entity zenon_X24 zenon_X235))
% 6.46/6.70  ((skc9) != (skc11))
% 6.46/6.70  ((skc8) != zenon_X346)
% 6.46/6.70  (-. (entity zenon_X16 zenon_X276))
% 6.46/6.70  (existent zenon_X20 (skc8))
% 6.46/6.70  ((skc8) != zenon_X262)
% 6.46/6.70  (artifact zenon_X18 (skc8))
% 6.46/6.70  (-. (city zenon_X26 zenon_X240))
% 6.46/6.70  (zenon_X16 != zenon_X48)
% 6.46/6.70  (-. (eventuality zenon_X62 (skc7)))
% 6.46/6.70  ((skc9) != zenon_X41)
% 6.46/6.70  ((skc10) != zenon_X51)
% 6.46/6.70  ((skc8) != zenon_X148)
% 6.46/6.70  (-. (way zenon_X20 zenon_X332))
% 6.46/6.70  ((skc8) != zenon_X495)
% 6.46/6.70  (-. (placename zenon_X66 zenon_X118))
% 6.46/6.70  (zenon_X2 != zenon_X48)
% 6.46/6.70  (-. (object zenon_X14 (skc10)))
% 6.46/6.70  (object zenon_X18 (skc8))
% 6.46/6.70  ((skc10) != zenon_X65)
% 6.46/6.70  ((skc10) != zenon_X198)
% 6.46/6.70  (artifact zenon_X58 (skc8))
% 6.46/6.70  (entity zenon_X48 (skc11))
% 6.46/6.70  ((skc10) != zenon_X248)
% 6.46/6.70  (zenon_X24 != zenon_X62)
% 6.46/6.70  ((skc11) != zenon_X392)
% 6.46/6.70  (-. (entity zenon_X68 (skc11)))
% 6.46/6.70  ((skc11) != zenon_X198)
% 6.46/6.70  (-. (existent zenon_X0 zenon_X243))
% 6.46/6.70  ((skc8) != zenon_X103)
% 6.46/6.70  (-. (hollywood_placename zenon_X16 zenon_X294))
% 6.46/6.70  ((skc10) != zenon_X243)
% 6.46/6.70  (-. (entity zenon_X52 (skc11)))
% 6.46/6.70  (-. (way zenon_X2 (skc11)))
% 6.46/6.70  (entity zenon_X58 (skc8))
% 6.46/6.70  (zenon_X54 != zenon_X48)
% 6.46/6.70  (way zenon_X14 (skc11))
% 6.46/6.70  (-. (vehicle zenon_X2 (skc8)))
% 6.46/6.70  ((skc6) != zenon_X2)
% 6.46/6.70  ((skc10) != zenon_X350)
% 6.46/6.70  ((skc10) != zenon_X23)
% 6.46/6.70  (-. (city zenon_X56 zenon_X475))
% 6.46/6.70  ((skc8) != zenon_X55)
% 6.46/6.70  ((skc11) != zenon_X127)
% 6.46/6.70  ((skc11) != zenon_X87)
% 6.46/6.70  (specific zenon_X48 (skc8))
% 6.46/6.70  (zenon_X54 != zenon_X52)
% 6.46/6.70  (-. (location zenon_X0 zenon_X130))
% 6.46/6.70  (zenon_X54 != zenon_X18)
% 6.46/6.70  (-. (eventuality zenon_X10 zenon_X11))
% 6.46/6.70  ((skc8) != zenon_X172)
% 6.46/6.70  (existent zenon_X18 (skc11))
% 6.46/6.70  (-. (placename zenon_X48 zenon_X250))
% 6.46/6.70  (entity zenon_X56 (skc8))
% 6.46/6.70  (-. (existent zenon_X52 (skc11)))
% 6.46/6.70  (zenon_X24 != zenon_X18)
% 6.46/6.70  (-. (car zenon_X68 (skc8)))
% 6.46/6.70  ((skc7) != zenon_X366)
% 6.46/6.70  ((skc11) != zenon_X94)
% 6.46/6.70  (zenon_X48 != zenon_X26)
% 6.46/6.70  ((skc8) != zenon_X477)
% 6.46/6.70  ((skc7) != zenon_X132)
% 6.46/6.70  (zenon_X0 != zenon_X2)
% 6.46/6.70  (location zenon_X16 (skc10))
% 6.46/6.70  ((skc8) != zenon_X173)
% 6.46/6.70  (entity zenon_X18 (skc8))
% 6.46/6.70  ((skc11) != zenon_X148)
% 6.46/6.70  ((skc10) != zenon_X460)
% 6.46/6.70  ((skc8) != zenon_X57)
% 6.46/6.70  ((skc10) != zenon_X275)
% 6.46/6.70  ((skc10) != zenon_X345)
% 6.46/6.70  (-. (general zenon_X2 (skc7)))
% 6.46/6.70  ((skc11) != zenon_X78)
% 6.46/6.70  ((skc10) != zenon_X192)
% 6.46/6.70  ((skc8) != zenon_X435)
% 6.46/6.70  (-. (specific zenon_X66 (skc10)))
% 6.46/6.70  (zenon_X16 != zenon_X24)
% 6.46/6.70  (-. (way zenon_X50 zenon_X266))
% 6.46/6.70  (-. (object zenon_X64 (skc10)))
% 6.46/6.70  (-. (nonexistent zenon_X54 (skc10)))
% 6.46/6.70  (-. (instrumentality zenon_X26 zenon_X261))
% 6.46/6.70  (-. (barrel (skc6) zenon_X162))
% 6.46/6.70  (entity zenon_X62 (skc8))
% 6.46/6.70  (-. (object zenon_X58 (skc10)))
% 6.46/6.70  (existent zenon_X14 (skc11))
% 6.46/6.70  ((skc11) != zenon_X274)
% 6.46/6.70  (-. (entity zenon_X56 zenon_X483))
% 6.46/6.70  (specific zenon_X60 (skc10))
% 6.46/6.70  ((skc8) != zenon_X89)
% 6.46/6.70  (-. (city (skc6) zenon_X212))
% 6.46/6.70  (existent zenon_X8 (skc11))
% 6.46/6.70  ((skc10) != zenon_X290)
% 6.46/6.70  ((skc10) != zenon_X329)
% 6.46/6.70  ((skc11) != zenon_X266)
% 6.46/6.70  (-. (location zenon_X26 zenon_X175))
% 6.46/6.70  (-. (object zenon_X48 zenon_X88))
% 6.46/6.70  (-. (nonexistent (skc6) (skc10)))
% 6.46/6.70  ((skc7) != zenon_X92)
% 6.46/6.70  (-. (entity zenon_X48 zenon_X173))
% 6.46/6.70  (-. (car zenon_X50 (skc8)))
% 6.46/6.70  (zenon_X58 != zenon_X26)
% 6.46/6.70  (zenon_X24 != zenon_X26)
% 6.46/6.70  (zenon_X0 != zenon_X66)
% 6.46/6.70  (-. (thing zenon_X6 zenon_X7))
% 6.46/6.70  (specific zenon_X8 (skc7))
% 6.46/6.70  ((skc8) != zenon_X502)
% 6.46/6.70  (-. (specific zenon_X8 zenon_X129))
% 6.46/6.70  (placename zenon_X48 (skc9))
% 6.46/6.70  (-. (street zenon_X24 zenon_X425))
% 6.46/6.70  ((skc11) != zenon_X102)
% 6.46/6.70  (-. (entity zenon_X52 zenon_X123))
% 6.46/6.70  ((skc8) != zenon_X476)
% 6.46/6.70  (specific zenon_X0 (skc8))
% 6.46/6.70  ((skc10) != zenon_X173)
% 6.46/6.70  (-. (specific zenon_X24 zenon_X72))
% 6.46/6.70  ((skc8) != zenon_X192)
% 6.46/6.70  ((skc11) != zenon_X280)
% 6.46/6.70  (-. (entity zenon_X26 zenon_X27))
% 6.46/6.70  ((skc7) != zenon_X65)
% 6.46/6.70  (-. (object zenon_X30 zenon_X31))
% 6.46/6.70  (existent zenon_X62 (skc10))
% 6.46/6.70  (zenon_X8 != zenon_X64)
% 6.46/6.70  ((skc10) != zenon_X235)
% 6.46/6.70  ((skc6) != zenon_X52)
% 6.46/6.70  (-. (hollywood_placename zenon_X48 zenon_X49))
% 6.46/6.70  (zenon_X48 != zenon_X52)
% 6.46/6.70  (-. (way zenon_X26 zenon_X260))
% 6.46/6.70  (-. (specific zenon_X56 zenon_X463))
% 6.46/6.70  (-. (general zenon_X8 (skc10)))
% 6.46/6.70  ((skc7) != zenon_X94)
% 6.46/6.70  (-. (nonexistent zenon_X52 (skc10)))
% 6.46/6.70  (-. (entity zenon_X66 zenon_X119))
% 6.46/6.70  (-. (nonexistent zenon_X24 (skc10)))
% 6.46/6.70  (-. (entity zenon_X16 zenon_X254))
% 6.46/6.70  ((skc10) != (skc7))
% 6.46/6.70  (zenon_X8 != zenon_X52)
% 6.46/6.70  (-. (placename (skc6) zenon_X79))
% 6.46/6.70  (-. (way zenon_X24 zenon_X324))
% 6.46/6.70  (artifact zenon_X62 (skc8))
% 6.46/6.70  (zenon_X48 != zenon_X18)
% 6.46/6.70  (existent zenon_X54 (skc11))
% 6.46/6.70  (instrumentality zenon_X48 (skc8))
% 6.46/6.70  (specific zenon_X64 (skc8))
% 6.46/6.70  ((skc8) != zenon_X235)
% 6.46/6.70  (-. (transport zenon_X62 zenon_X407))
% 6.46/6.70  (-. (object zenon_X2 (skc10)))
% 6.46/6.70  ((skc11) != zenon_X132)
% 6.46/6.70  (zenon_X60 != zenon_X68)
% 6.46/6.70  (object zenon_X20 (skc8))
% 6.46/6.70  ((skc11) != zenon_X375)
% 6.46/6.70  ((skc11) != zenon_X335)
% 6.46/6.70  ((skc11) != zenon_X399)
% 6.46/6.70  (-. (artifact zenon_X8 zenon_X183))
% 6.46/6.70  (-. (entity zenon_X18 (skc10)))
% 6.46/6.70  ((skc9) != zenon_X247)
% 6.46/6.70  (-. (entity zenon_X64 zenon_X215))
% 6.46/6.70  (-. (specific zenon_X14 zenon_X366))
% 6.46/6.70  (zenon_X8 != zenon_X14)
% 6.46/6.70  (-. (transport zenon_X52 zenon_X321))
% 6.46/6.70  (-. (entity zenon_X8 zenon_X302))
% 6.46/6.70  (-. (specific zenon_X48 zenon_X108))
% 6.46/6.70  ((skc11) != zenon_X112)
% 6.46/6.70  (zenon_X20 != zenon_X58)
% 6.46/6.70  (-. (general zenon_X58 (skc7)))
% 6.46/6.70  (-. (car zenon_X8 zenon_X477))
% 6.46/6.70  (zenon_X62 != zenon_X26)
% 6.46/6.70  (zenon_X24 != zenon_X66)
% 6.46/6.70  (-. (event zenon_X16 zenon_X326))
% 6.46/6.70  ((skc8) != zenon_X171)
% 6.46/6.70  (-. (location zenon_X14 zenon_X368))
% 6.46/6.70  ((skc11) != zenon_X71)
% 6.46/6.70  ((skc10) != zenon_X77)
% 6.46/6.70  (existent zenon_X58 (skc11))
% 6.46/6.70  (-. (street zenon_X8 zenon_X375))
% 6.46/6.70  (-. (eventuality zenon_X20 (skc7)))
% 6.46/6.70  (specific zenon_X66 (skc11))
% 6.46/6.70  ((skc9) != zenon_X118)
% 6.46/6.70  (zenon_X54 != zenon_X20)
% 6.46/6.70  ((skc10) != zenon_X188)
% 6.46/6.70  (object zenon_X48 (skc11))
% 6.46/6.70  ((skc11) != zenon_X403)
% 6.46/6.70  ((skc6) != zenon_X48)
% 6.46/6.70  (artifact zenon_X24 (skc8))
% 6.46/6.70  (-. (instrumentality zenon_X68 zenon_X367))
% 6.46/6.70  ((skc8) != zenon_X91)
% 6.46/6.70  ((skc8) != zenon_X445)
% 6.46/6.70  ((skc10) != zenon_X143)
% 6.46/6.70  (-. (general zenon_X16 (skc11)))
% 6.46/6.70  (-. (vehicle zenon_X68 zenon_X383))
% 6.46/6.70  (-. (entity zenon_X58 zenon_X414))
% 6.46/6.70  (-. (entity zenon_X64 (skc10)))
% 6.46/6.70  (-. (transport zenon_X18 zenon_X363))
% 6.46/6.70  ((skc9) != zenon_X518)
% 6.46/6.70  (-. (entity zenon_X64 zenon_X93))
% 6.46/6.70  (object (skc6) (skc8))
% 6.46/6.70  (existent zenon_X24 (skc11))
% 6.46/6.70  ((skc7) != zenon_X459)
% 6.46/6.70  (-. (placename zenon_X18 (skc9)))
% 6.46/6.70  (-. (eventuality zenon_X60 zenon_X416))
% 6.46/6.70  (-. (nonexistent zenon_X48 (skc10)))
% 6.46/6.70  (-. (city zenon_X2 zenon_X279))
% 6.46/6.70  ((skc11) != zenon_X256)
% 6.46/6.70  (-. (placename zenon_X50 zenon_X344))
% 6.46/6.70  (zenon_X56 != zenon_X64)
% 6.46/6.70  (zenon_X14 != zenon_X68)
% 6.46/6.70  (-. (vehicle zenon_X0 zenon_X431))
% 6.46/6.70  (artifact zenon_X14 (skc11))
% 6.46/6.70  (-. (entity zenon_X68 (skc10)))
% 6.46/6.70  ((skc8) != zenon_X466)
% 6.46/6.70  (unisex zenon_X32 (skc8))
% 6.46/6.70  ((skc9) != zenon_X115)
% 6.46/6.70  ((skc9) != zenon_X246)
% 6.46/6.70  (-. (event zenon_X8 zenon_X241))
% 6.46/6.70  (-. (city zenon_X58 zenon_X354))
% 6.46/6.70  (existent zenon_X60 (skc8))
% 6.46/6.70  (existent zenon_X58 (skc8))
% 6.46/6.70  ((skc11) != zenon_X439)
% 6.46/6.70  (-. (general (skc6) (skc11)))
% 6.46/6.70  ((skc8) != zenon_X179)
% 6.46/6.70  ((skc11) != zenon_X315)
% 6.46/6.70  (-. (vehicle zenon_X60 zenon_X417))
% 6.46/6.70  ((skc9) != zenon_X75)
% 6.46/6.70  (zenon_X2 != zenon_X20)
% 6.46/6.70  (existent zenon_X20 (skc10))
% 6.46/6.70  ((skc8) != zenon_X276)
% 6.46/6.70  (-. (car zenon_X0 (skc8)))
% 6.46/6.70  ((skc11) != zenon_X257)
% 6.46/6.70  ((skc8) != zenon_X31)
% 6.46/6.70  (-. (car zenon_X16 zenon_X468))
% 6.46/6.70  ((skc8) != zenon_X249)
% 6.46/6.70  (-. (location zenon_X68 (skc10)))
% 6.46/6.70  (zenon_X52 != zenon_X58)
% 6.46/6.70  (-. (entity zenon_X48 zenon_X249))
% 6.46/6.70  ((skc7) != zenon_X506)
% 6.46/6.70  (-. (location (skc6) zenon_X114))
% 6.46/6.70  (-. (artifact zenon_X52 zenon_X148))
% 6.46/6.70  (-. (vehicle zenon_X58 zenon_X59))
% 6.46/6.70  (object (skc6) (skc10))
% 6.46/6.70  (specific zenon_X18 (skc11))
% 6.46/6.70  (-. (instrumentality zenon_X62 zenon_X63))
% 6.46/6.70  (-. (entity zenon_X62 (skc11)))
% 6.46/6.70  (-. (city zenon_X50 zenon_X51))
% 6.46/6.70  (-. (way zenon_X66 zenon_X274))
% 6.46/6.70  (-. (eventuality zenon_X24 zenon_X92))
% 6.46/6.70  ((skc11) != zenon_X172)
% 6.46/6.70  (-. (transport zenon_X68 (skc8)))
% 6.46/6.70  (-. (barrel zenon_X52 zenon_X201))
% 6.46/6.70  ((skc10) != zenon_X194)
% 6.46/6.70  (specific zenon_X58 (skc11))
% 6.46/6.70  (-. (chevy zenon_X50 zenon_X499))
% 6.46/6.70  (-. (eventuality zenon_X8 zenon_X9))
% 6.46/6.70  ((skc7) != zenon_X471)
% 6.46/6.70  (vehicle zenon_X54 (skc8))
% 6.46/6.70  ((skc11) != zenon_X23)
% 6.46/6.70  ((skc7) != zenon_X216)
% 6.46/6.70  (specific zenon_X58 (skc7))
% 6.46/6.70  (zenon_X54 != zenon_X16)
% 6.46/6.70  ((skc8) != zenon_X465)
% 6.46/6.70  ((skc11) != zenon_X342)
% 6.46/6.70  (zenon_X56 != zenon_X26)
% 6.46/6.70  (object zenon_X52 (skc10))
% 6.46/6.70  (instrumentality zenon_X54 (skc8))
% 6.46/6.70  (eventuality zenon_X8 (skc7))
% 6.46/6.70  (existent zenon_X54 (skc10))
% 6.46/6.70  (-. (existent zenon_X56 zenon_X460))
% 6.46/6.70  (-. (car zenon_X66 zenon_X456))
% 6.46/6.70  (-. (specific zenon_X68 (skc10)))
% 6.46/6.70  (-. (object zenon_X18 zenon_X120))
% 6.46/6.70  (existent zenon_X56 (skc10))
% 6.46/6.70  (zenon_X66 != zenon_X68)
% 6.46/6.70  ((skc8) != zenon_X460)
% 6.46/6.70  (-. (object zenon_X52 (skc8)))
% 6.46/6.70  ((skc8) != (skc10))
% 6.46/6.70  ((skc7) != zenon_X3)
% 6.46/6.70  (object zenon_X8 (skc10))
% 6.46/6.70  (-. (nonexistent zenon_X8 (skc8)))
% 6.46/6.70  (abstraction zenon_X38 (skc9))
% 6.46/6.70  (-. (entity zenon_X0 zenon_X161))
% 6.46/6.70  (zenon_X60 != zenon_X24)
% 6.46/6.70  (hollywood_placename (skc6) (skc9))
% 6.46/6.70  (specific zenon_X0 (skc11))
% 6.46/6.70  (zenon_X62 != zenon_X18)
% 6.46/6.70  ((skc10) != zenon_X89)
% 6.46/6.70  (specific zenon_X14 (skc11))
% 6.46/6.70  (-. (object zenon_X58 zenon_X409))
% 6.46/6.70  (agent (skc6) (skc7) (skc8))
% 6.46/6.70  ((skc10) != zenon_X184)
% 6.46/6.70  ((skc11) != zenon_X249)
% 6.46/6.70  ((skc8) != zenon_X230)
% 6.46/6.70  (-. (instrumentality zenon_X18 zenon_X377))
% 6.46/6.70  ((skc11) != zenon_X262)
% 6.46/6.70  ((skc8) != zenon_X33)
% 6.46/6.70  (specific zenon_X62 (skc8))
% 6.46/6.70  ((skc10) != zenon_X71)
% 6.46/6.70  (-. (city zenon_X8 zenon_X217))
% 6.46/6.70  (existent zenon_X16 (skc11))
% 6.46/6.70  ((skc10) != zenon_X271)
% 6.46/6.70  (zenon_X54 != zenon_X58)
% 6.46/6.70  ((skc11) != zenon_X254)
% 6.46/6.70  ((skc10) != zenon_X346)
% 6.46/6.70  (object zenon_X16 (skc10))
% 6.46/6.70  (chevy (skc6) (skc8))
% 6.46/6.70  (existent zenon_X48 (skc8))
% 6.46/6.70  ((skc10) != zenon_X106)
% 6.46/6.70  ((skc7) != zenon_X352)
% 6.46/6.70  (-. (nonexistent zenon_X60 (skc8)))
% 6.46/6.70  (entity zenon_X66 (skc11))
% 6.46/6.70  ((skc8) != zenon_X402)
% 6.46/6.70  (object zenon_X24 (skc10))
% 6.46/6.70  (entity zenon_X16 (skc8))
% 6.46/6.70  ((skc8) != zenon_X400)
% 6.46/6.70  ((skc8) != zenon_X96)
% 6.46/6.70  ((skc9) != zenon_X348)
% 6.46/6.70  (-. (chevy zenon_X58 zenon_X524))
% 6.46/6.70  ((skc9) != zenon_X79)
% 6.46/6.70  ((skc8) != zenon_X350)
% 6.46/6.70  (zenon_X16 != zenon_X18)
% 6.46/6.70  (-. (nonexistent zenon_X26 (skc8)))
% 6.46/6.70  (zenon_X0 != zenon_X48)
% 6.46/6.70  (entity zenon_X58 (skc11))
% 6.46/6.70  ((skc11) != zenon_X308)
% 6.46/6.70  (existent zenon_X16 (skc8))
% 6.46/6.70  (existent zenon_X60 (skc11))
% 6.46/6.70  (-. (specific zenon_X52 zenon_X105))
% 6.46/6.70  ((skc8) != zenon_X537)
% 6.46/6.70  ((skc6) != zenon_X0)
% 6.46/6.70  ((skc11) != zenon_X519)
% 6.46/6.70  ((skc11) != zenon_X374)
% 6.46/6.70  (zenon_X0 != zenon_X24)
% 6.46/6.70  ((skc11) != zenon_X168)
% 6.46/6.70  ((skc8) != zenon_X19)
% 6.46/6.70  (zenon_X20 != zenon_X66)
% 6.46/6.70  (zenon_X66 != zenon_X64)
% 6.46/6.70  ((skc11) != zenon_X324)
% 6.46/6.70  ((skc10) != zenon_X99)
% 6.46/6.70  (zenon_X56 != zenon_X20)
% 6.46/6.70  ((skc11) != zenon_X225)
% 6.46/6.70  ((skc9) != zenon_X224)
% 6.46/6.70  (lonely (skc6) (skc11))
% 6.46/6.70  (specific zenon_X54 (skc8))
% 6.46/6.70  (-. (car zenon_X0 zenon_X441))
% 6.46/6.70  (-. (instrumentality zenon_X14 zenon_X461))
% 6.46/6.70  ((skc9) != (skc7))
% 6.46/6.70  ((skc10) != zenon_X135)
% 6.46/6.70  (artifact (skc6) (skc11))
% 6.46/6.70  (-. (vehicle zenon_X2 zenon_X385))
% 6.46/6.70  ((skc11) != zenon_X514)
% 6.46/6.70  (-. (street zenon_X14 zenon_X15))
% 6.46/6.70  (transport zenon_X58 (skc8))
% 6.46/6.70  (zenon_X26 != zenon_X0)
% 6.46/6.70  ((skc7) != zenon_X416)
% 6.46/6.70  ((skc8) != zenon_X457)
% 6.46/6.70  ((skc8) != zenon_X99)
% 6.46/6.70  (-. (existent zenon_X26 zenon_X85))
% 6.46/6.70  ((skc11) != zenon_X460)
% 6.46/6.70  ((skc8) != zenon_X469)
% 6.46/6.70  (object zenon_X64 (skc8))
% 6.46/6.70  ((skc11) != zenon_X357)
% 6.46/6.70  ((skc11) != zenon_X105)
% 6.46/6.70  (-. (placename zenon_X62 (skc9)))
% 6.46/6.70  (-. (existent zenon_X64 zenon_X257))
% 6.46/6.70  (-. (hollywood_placename zenon_X64 zenon_X147))
% 6.46/6.70  ((skc10) != zenon_X251)
% 6.46/6.70  ((skc8) != zenon_X439)
% 6.46/6.70  ((skc7) != zenon_X107)
% 6.46/6.70  ((skc10) != zenon_X222)
% 6.46/6.70  ((skc6) != zenon_X64)
% 6.46/6.70  (zenon_X8 != zenon_X26)
% 6.46/6.70  ((skc8) != zenon_X515)
% 6.46/6.70  ((skc6) != zenon_X20)
% 6.46/6.70  (-. (nonexistent zenon_X54 (skc11)))
% 6.46/6.70  ((skc11) != zenon_X306)
% 6.46/6.70  ((skc11) != zenon_X135)
% 6.46/6.70  (-. (specific zenon_X62 zenon_X320))
% 6.46/6.70  *)
% 6.46/6.70  (* NO-PROOF *)
% 6.46/6.70  % SZS status GaveUp
% 6.46/6.70  Number of rewrites on terms: 0
% 6.46/6.70  Number of rewrites on props: 0
% 6.46/6.70  nodes searched: 110681
% 6.46/6.70  max branch formulas: 3244
% 6.46/6.70  proof nodes created: 3220
% 6.46/6.70  formulas created: 129086
% 6.46/6.70  
%------------------------------------------------------------------------------