↑ Up

ZenonModulo---0.5.0.UNK-Non.f

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

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

% Result   : Unknown 2.68s 2.89s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13  % Problem  : NLP126-1 : TPTP v8.2.0. Released v2.4.0.
% 0.12/0.13  % Command  : run_zenon_modulo %d %s
% 0.15/0.35  % Computer : n014.cluster.edu
% 0.15/0.35  % Model    : x86_64 x86_64
% 0.15/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.35  % Memory   : 8042.1875MB
% 0.15/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.15/0.35  % CPULimit : 300
% 0.15/0.35  % WCLimit  : 300
% 0.15/0.35  % DateTime : Sat Jun 22 22:03:08 EDT 2024
% 0.15/0.35  % CPUTime  : 
% 2.68/2.89  Zenon error: exhausted search space without finding a proof
% 2.68/2.89  (* Current branch:
% 2.68/2.89  (-. (entity zenon_X66 (skc7)))
% 2.68/2.89  (zenon_X54 != zenon_X68)
% 2.68/2.89  (specific zenon_X60 (skc7))
% 2.68/2.89  (-. (artifact zenon_X64 zenon_X189))
% 2.68/2.89  ((skc6) != zenon_X157)
% 2.68/2.89  ((skc7) != zenon_X71)
% 2.68/2.89  ((skc7) != zenon_X175)
% 2.68/2.89  (-. (entity zenon_X8 (skc7)))
% 2.68/2.89  (singleton zenon_X6 (skc8))
% 2.68/2.89  ((skc7) != zenon_X355)
% 2.68/2.89  (artifact zenon_X20 (skc7))
% 2.68/2.89  (-. (hollywood_placename zenon_X24 zenon_X196))
% 2.68/2.89  (object zenon_X60 (skc7))
% 2.68/2.89  (artifact zenon_X14 (skc9))
% 2.68/2.89  (-. (city zenon_X18 zenon_X294))
% 2.68/2.89  (-. (entity zenon_X54 zenon_X523))
% 2.68/2.89  ((skc8) != zenon_X252)
% 2.68/2.89  (-. (general (skc5) (skc9)))
% 2.68/2.89  (zenon_X0 != zenon_X64)
% 2.68/2.89  (zenon_X52 != zenon_X18)
% 2.68/2.89  (-. (city zenon_X20 zenon_X226))
% 2.68/2.89  (zenon_X20 != zenon_X68)
% 2.68/2.89  (-. (nonexistent zenon_X18 (skc9)))
% 2.68/2.89  (zenon_X26 != zenon_X52)
% 2.68/2.89  (relation zenon_X36 (skc8))
% 2.68/2.89  (unisex zenon_X12 (skc6))
% 2.68/2.89  ((skc6) != zenon_X219)
% 2.68/2.89  ((skc8) != zenon_X39)
% 2.68/2.89  (specific zenon_X58 (skc6))
% 2.68/2.89  (-. (way zenon_X0 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X161)
% 2.68/2.89  (-. (vehicle zenon_X16 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X487)
% 2.68/2.89  (-. (chevy zenon_X20 zenon_X489))
% 2.68/2.89  (-. (city zenon_X16 zenon_X390))
% 2.68/2.89  (-. (transport zenon_X26 zenon_X396))
% 2.68/2.89  ((skc7) != zenon_X304)
% 2.68/2.89  ((skc6) != zenon_X518)
% 2.68/2.89  ((skc9) != zenon_X116)
% 2.68/2.89  (-. (entity zenon_X26 zenon_X161))
% 2.68/2.89  ((skc7) != zenon_X357)
% 2.68/2.89  ((skc8) != zenon_X371)
% 2.68/2.89  ((skc9) != zenon_X160)
% 2.68/2.89  ((skc6) != zenon_X121)
% 2.68/2.89  (artifact zenon_X56 (skc9))
% 2.68/2.89  ((skc9) != zenon_X404)
% 2.68/2.89  (artifact zenon_X26 (skc9))
% 2.68/2.89  ((skc7) != zenon_X108)
% 2.68/2.89  ((skc7) != zenon_X74)
% 2.68/2.89  (zenon_X66 != zenon_X8)
% 2.68/2.89  (-. (specific zenon_X66 zenon_X147))
% 2.68/2.89  ((skc9) != zenon_X321)
% 2.68/2.89  (-. (eventuality zenon_X12 zenon_X13))
% 2.68/2.89  (-. (specific zenon_X0 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X408)
% 2.68/2.89  ((skc7) != zenon_X89)
% 2.68/2.89  ((skc6) != zenon_X163)
% 2.68/2.89  (-. (hollywood_placename zenon_X8 zenon_X122))
% 2.68/2.89  (zenon_X66 != zenon_X60)
% 2.68/2.89  (-. (transport zenon_X14 zenon_X388))
% 2.68/2.89  (-. (placename zenon_X52 zenon_X269))
% 2.68/2.89  (-. (nonexistent zenon_X14 (skc9)))
% 2.68/2.89  (-. (object zenon_X52 (skc9)))
% 2.68/2.89  (-. (car zenon_X14 zenon_X509))
% 2.68/2.89  ((skc6) != zenon_X5)
% 2.68/2.89  (-. (artifact zenon_X48 zenon_X194))
% 2.68/2.89  (-. (vehicle zenon_X54 zenon_X487))
% 2.68/2.89  (artifact zenon_X24 (skc9))
% 2.68/2.89  ((skc9) != zenon_X501)
% 2.68/2.89  (-. (way zenon_X64 zenon_X264))
% 2.68/2.89  (-. (abstraction zenon_X42 zenon_X43))
% 2.68/2.89  ((skc8) != zenon_X532)
% 2.68/2.89  (eventuality (skc5) (skc6))
% 2.68/2.89  (artifact zenon_X26 (skc7))
% 2.68/2.89  (artifact zenon_X62 (skc7))
% 2.68/2.89  (-. (event zenon_X20 zenon_X120))
% 2.68/2.89  (-. (artifact zenon_X8 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X410)
% 2.68/2.89  (zenon_X52 != zenon_X68)
% 2.68/2.89  ((skc5) != zenon_X24)
% 2.68/2.89  ((skc7) != zenon_X33)
% 2.68/2.89  (-. (placename zenon_X62 zenon_X317))
% 2.68/2.89  (-. (entity zenon_X68 zenon_X179))
% 2.68/2.89  (-. (car zenon_X56 zenon_X57))
% 2.68/2.89  (-. (event zenon_X2 zenon_X3))
% 2.68/2.89  ((skc9) != zenon_X85)
% 2.68/2.89  (-. (nonexistent zenon_X54 (skc7)))
% 2.68/2.89  (-. (event zenon_X24 zenon_X113))
% 2.68/2.89  ((skc7) != zenon_X416)
% 2.68/2.89  (-. (way zenon_X2 zenon_X300))
% 2.68/2.89  ((skc7) != zenon_X29)
% 2.68/2.89  (zenon_X24 != zenon_X16)
% 2.68/2.89  ((skc7) != zenon_X182)
% 2.68/2.89  ((skc8) != zenon_X372)
% 2.68/2.89  (event zenon_X50 (skc6))
% 2.68/2.89  ((skc9) != zenon_X254)
% 2.68/2.89  (zenon_X26 != zenon_X62)
% 2.68/2.89  ((skc9) != zenon_X164)
% 2.68/2.89  (-. (general zenon_X52 (skc7)))
% 2.68/2.89  (-. (hollywood_placename zenon_X54 zenon_X504))
% 2.68/2.89  (-. (entity zenon_X0 (skc7)))
% 2.68/2.89  (-. (entity zenon_X62 zenon_X410))
% 2.68/2.89  ((skc7) != zenon_X519)
% 2.68/2.89  ((skc9) != zenon_X374)
% 2.68/2.89  (specific zenon_X64 (skc9))
% 2.68/2.89  (-. (entity zenon_X54 zenon_X559))
% 2.68/2.89  (placename zenon_X24 (skc8))
% 2.68/2.89  (-. (instrumentality zenon_X24 zenon_X303))
% 2.68/2.89  (-. (general zenon_X18 (skc6)))
% 2.68/2.89  ((skc7) != zenon_X199)
% 2.68/2.89  ((skc9) != zenon_X240)
% 2.68/2.89  (-. (street zenon_X0 zenon_X382))
% 2.68/2.89  (-. (existent zenon_X20 zenon_X115))
% 2.68/2.89  ((skc9) != zenon_X362)
% 2.68/2.89  (specific zenon_X16 (skc9))
% 2.68/2.89  (-. (eventuality zenon_X14 zenon_X296))
% 2.68/2.89  (-. (artifact zenon_X18 zenon_X19))
% 2.68/2.89  ((skc6) != zenon_X151)
% 2.68/2.89  (-. (existent zenon_X54 zenon_X485))
% 2.68/2.89  (abstraction zenon_X38 (skc8))
% 2.68/2.89  (-. (entity zenon_X50 zenon_X315))
% 2.68/2.89  (zenon_X48 != zenon_X66)
% 2.68/2.89  (-. (event zenon_X20 (skc6)))
% 2.68/2.89  (entity zenon_X26 (skc7))
% 2.68/2.89  (zenon_X58 != zenon_X56)
% 2.68/2.89  (-. (city zenon_X60 zenon_X369))
% 2.68/2.89  (-. (existent zenon_X0 (skc7)))
% 2.68/2.89  (zenon_X50 != zenon_X2)
% 2.68/2.89  ((skc7) != zenon_X191)
% 2.68/2.89  (specific zenon_X52 (skc6))
% 2.68/2.89  ((skc7) != zenon_X262)
% 2.68/2.89  (zenon_X62 != zenon_X66)
% 2.68/2.89  ((skc6) != zenon_X120)
% 2.68/2.89  (zenon_X62 != zenon_X60)
% 2.68/2.89  ((skc8) != zenon_X98)
% 2.68/2.89  (-. (way zenon_X0 zenon_X287))
% 2.68/2.89  (-. (chevy zenon_X48 zenon_X491))
% 2.68/2.89  (-. (specific zenon_X20 (skc6)))
% 2.68/2.89  ((skc7) != zenon_X21)
% 2.68/2.89  (zenon_X62 != zenon_X68)
% 2.68/2.89  (zenon_X50 != zenon_X20)
% 2.68/2.89  ((skc7) != zenon_X483)
% 2.68/2.89  (-. (placename zenon_X66 (skc8)))
% 2.68/2.89  (zenon_X60 != zenon_X2)
% 2.68/2.89  (-. (entity zenon_X66 zenon_X165))
% 2.68/2.89  ((skc7) != zenon_X328)
% 2.68/2.89  (artifact zenon_X20 (skc9))
% 2.68/2.89  (zenon_X24 != zenon_X60)
% 2.68/2.89  (specific zenon_X54 (skc7))
% 2.68/2.89  (-. (barrel zenon_X66 zenon_X180))
% 2.68/2.89  ((skc7) != zenon_X225)
% 2.68/2.89  (-. (entity zenon_X24 zenon_X244))
% 2.68/2.89  (-. (artifact zenon_X68 zenon_X199))
% 2.68/2.89  ((skc9) != zenon_X278)
% 2.68/2.89  ((skc9) != zenon_X75)
% 2.68/2.89  (-. (street zenon_X48 zenon_X398))
% 2.68/2.89  ((skc7) != zenon_X392)
% 2.68/2.89  (actual_world (skc5))
% 2.68/2.89  (zenon_X26 != zenon_X48)
% 2.68/2.89  (-. (way zenon_X16 zenon_X17))
% 2.68/2.89  ((skc9) != zenon_X318)
% 2.68/2.89  ((skc7) != zenon_X228)
% 2.68/2.89  (zenon_X50 != zenon_X0)
% 2.68/2.89  (existent zenon_X18 (skc9))
% 2.68/2.89  ((skc7) != zenon_X363)
% 2.68/2.89  (-. (event zenon_X62 zenon_X284))
% 2.68/2.89  (-. (placename zenon_X48 zenon_X97))
% 2.68/2.89  (event zenon_X26 (skc6))
% 2.68/2.89  (zenon_X58 != zenon_X48)
% 2.68/2.89  (-. (eventuality zenon_X56 zenon_X503))
% 2.68/2.89  (-. (artifact zenon_X50 zenon_X293))
% 2.68/2.89  (zenon_X24 != zenon_X20)
% 2.68/2.89  ((skc7) != zenon_X232)
% 2.68/2.89  (specific zenon_X52 (skc7))
% 2.68/2.89  (-. (transport zenon_X50 zenon_X435))
% 2.68/2.89  (-. (general zenon_X56 (skc7)))
% 2.68/2.89  (-. (barrel zenon_X54 zenon_X500))
% 2.68/2.89  (zenon_X64 != zenon_X68)
% 2.68/2.89  (-. (general zenon_X58 (skc6)))
% 2.68/2.89  ((skc9) != zenon_X559)
% 2.68/2.89  (car zenon_X14 (skc7))
% 2.68/2.89  (-. (hollywood_placename zenon_X56 zenon_X481))
% 2.68/2.89  (-. (barrel zenon_X16 zenon_X322))
% 2.68/2.89  (existent zenon_X62 (skc7))
% 2.68/2.89  (-. (specific zenon_X0 (skc9)))
% 2.68/2.89  ((skc6) != zenon_X178)
% 2.68/2.89  (zenon_X62 != zenon_X20)
% 2.68/2.89  (-. (entity zenon_X22 zenon_X23))
% 2.68/2.89  ((skc7) != zenon_X449)
% 2.68/2.89  ((skc8) != zenon_X307)
% 2.68/2.89  (location zenon_X50 (skc7))
% 2.68/2.89  (zenon_X60 != zenon_X0)
% 2.68/2.89  ((skc7) != zenon_X427)
% 2.68/2.89  (-. (placename (skc5) zenon_X80))
% 2.68/2.89  (-. (entity zenon_X18 zenon_X167))
% 2.68/2.89  (-. (vehicle zenon_X56 zenon_X492))
% 2.68/2.89  (-. (location zenon_X8 zenon_X154))
% 2.68/2.89  (-. (transport zenon_X60 zenon_X61))
% 2.68/2.89  (-. (artifact zenon_X24 (skc7)))
% 2.68/2.89  (-. (entity zenon_X60 zenon_X308))
% 2.68/2.89  (-. (transport zenon_X54 zenon_X546))
% 2.68/2.89  (zenon_X18 != zenon_X16)
% 2.68/2.89  (-. (specific zenon_X2 (skc9)))
% 2.68/2.89  (entity zenon_X62 (skc7))
% 2.68/2.89  (zenon_X50 != zenon_X24)
% 2.68/2.89  (-. (location zenon_X56 zenon_X497))
% 2.68/2.89  ((skc9) != zenon_X458)
% 2.68/2.89  (zenon_X2 != zenon_X64)
% 2.68/2.89  (-. (nonexistent zenon_X58 (skc7)))
% 2.68/2.89  (transport zenon_X48 (skc7))
% 2.68/2.89  (-. (hollywood_placename (skc5) zenon_X109))
% 2.68/2.89  (-. (general zenon_X0 (skc6)))
% 2.68/2.89  (-. (entity zenon_X20 zenon_X93))
% 2.68/2.89  ((skc7) != zenon_X475)
% 2.68/2.89  (-. (instrumentality zenon_X20 zenon_X330))
% 2.68/2.89  (artifact zenon_X16 (skc9))
% 2.68/2.89  ((skc9) != zenon_X191)
% 2.68/2.89  (zenon_X56 != zenon_X2)
% 2.68/2.89  (object zenon_X14 (skc7))
% 2.68/2.89  (-. (barrel zenon_X0 zenon_X1))
% 2.68/2.89  ((skc8) != (skc9))
% 2.68/2.89  (-. (entity zenon_X18 zenon_X277))
% 2.68/2.89  (entity zenon_X50 (skc9))
% 2.68/2.89  (-. (entity zenon_X62 zenon_X376))
% 2.68/2.89  ((skc9) != zenon_X76)
% 2.68/2.89  (-. (nonexistent zenon_X20 (skc9)))
% 2.68/2.89  ((skc6) != zenon_X145)
% 2.68/2.89  ((skc9) != zenon_X115)
% 2.68/2.89  ((skc6) != zenon_X241)
% 2.68/2.89  ((skc9) != zenon_X277)
% 2.68/2.89  (-. (entity zenon_X2 (skc9)))
% 2.68/2.89  (-. (street zenon_X58 zenon_X479))
% 2.68/2.89  (-. (chevy zenon_X60 zenon_X535))
% 2.68/2.89  (car zenon_X54 (skc7))
% 2.68/2.89  (-. (nonexistent zenon_X66 (skc9)))
% 2.68/2.89  ((skc9) != zenon_X189)
% 2.68/2.89  (event zenon_X24 (skc6))
% 2.68/2.89  (-. (location zenon_X64 zenon_X267))
% 2.68/2.89  (-. (vehicle (skc5) zenon_X392))
% 2.68/2.89  (-. (barrel zenon_X14 zenon_X377))
% 2.68/2.89  (-. (hollywood_placename zenon_X26 zenon_X125))
% 2.68/2.89  (-. (entity zenon_X60 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X273)
% 2.68/2.89  (object zenon_X18 (skc9))
% 2.68/2.89  ((skc5) != zenon_X66)
% 2.68/2.89  (-. (general zenon_X60 (skc6)))
% 2.68/2.89  ((skc9) != zenon_X151)
% 2.68/2.89  (-. (barrel zenon_X60 zenon_X335))
% 2.68/2.89  (-. (entity zenon_X50 zenon_X472))
% 2.68/2.89  (unisex zenon_X46 (skc8))
% 2.68/2.89  ((skc7) != zenon_X272)
% 2.68/2.89  ((skc7) != zenon_X462)
% 2.68/2.89  ((skc9) != zenon_X153)
% 2.68/2.89  (zenon_X16 != zenon_X60)
% 2.68/2.89  (-. (entity zenon_X20 zenon_X132))
% 2.68/2.89  (specific zenon_X20 (skc7))
% 2.68/2.89  (entity zenon_X20 (skc9))
% 2.68/2.89  (-. (general zenon_X48 (skc7)))
% 2.68/2.89  (zenon_X18 != zenon_X2)
% 2.68/2.89  (zenon_X50 != zenon_X8)
% 2.68/2.89  ((skc9) != zenon_X391)
% 2.68/2.89  (specific zenon_X26 (skc7))
% 2.68/2.89  ((skc9) != zenon_X220)
% 2.68/2.89  (zenon_X54 != zenon_X66)
% 2.68/2.89  ((skc7) != zenon_X278)
% 2.68/2.89  (-. (event zenon_X26 zenon_X173))
% 2.68/2.89  (-. (specific zenon_X60 (skc9)))
% 2.68/2.89  (-. (object zenon_X54 zenon_X530))
% 2.68/2.89  (zenon_X26 != zenon_X18)
% 2.68/2.89  (-. (chevy (skc5) zenon_X519))
% 2.68/2.89  (thing zenon_X4 (skc6))
% 2.68/2.89  (specific zenon_X24 (skc7))
% 2.68/2.89  (-. (entity zenon_X68 (skc9)))
% 2.68/2.89  (-. (entity zenon_X16 zenon_X254))
% 2.68/2.89  ((skc9) != zenon_X258)
% 2.68/2.89  (artifact zenon_X50 (skc9))
% 2.68/2.89  ((skc7) != zenon_X360)
% 2.68/2.89  (object zenon_X48 (skc7))
% 2.68/2.89  (zenon_X14 != zenon_X64)
% 2.68/2.89  (-. (entity zenon_X0 zenon_X176))
% 2.68/2.89  (-. (way zenon_X8 zenon_X281))
% 2.68/2.89  (-. (city zenon_X62 zenon_X460))
% 2.68/2.89  ((skc7) != zenon_X433)
% 2.68/2.89  (object zenon_X50 (skc7))
% 2.68/2.89  (-. (entity zenon_X26 zenon_X187))
% 2.68/2.89  (-. (abstraction zenon_X44 zenon_X45))
% 2.68/2.89  (zenon_X26 != zenon_X68)
% 2.68/2.89  (-. (street zenon_X64 zenon_X401))
% 2.68/2.89  ((skc7) != zenon_X516)
% 2.68/2.89  (vehicle zenon_X50 (skc7))
% 2.68/2.89  (-. (car zenon_X24 zenon_X474))
% 2.68/2.89  (zenon_X58 != zenon_X8)
% 2.68/2.89  (-. (general zenon_X26 (skc6)))
% 2.68/2.89  (-. (entity zenon_X68 zenon_X71))
% 2.68/2.89  ((skc7) != zenon_X27)
% 2.68/2.89  ((skc9) != zenon_X234)
% 2.68/2.89  (impartial zenon_X30 (skc7))
% 2.68/2.89  ((skc9) != zenon_X7)
% 2.68/2.89  (-. (way zenon_X18 zenon_X414))
% 2.68/2.89  (zenon_X52 != zenon_X16)
% 2.68/2.89  ((skc9) != zenon_X225)
% 2.68/2.89  (-. (barrel zenon_X56 zenon_X550))
% 2.68/2.89  ((skc7) != zenon_X236)
% 2.68/2.89  (-. (entity zenon_X56 zenon_X542))
% 2.68/2.89  ((skc9) != zenon_X290)
% 2.68/2.89  (-. (specific zenon_X64 (skc7)))
% 2.68/2.89  (-. (location zenon_X24 zenon_X354))
% 2.68/2.89  (nonexistent zenon_X10 (skc6))
% 2.68/2.89  (-. (nonexistent zenon_X20 (skc7)))
% 2.68/2.89  ((skc9) != zenon_X244)
% 2.68/2.89  (instrumentality zenon_X14 (skc7))
% 2.68/2.89  (specific zenon_X66 (skc6))
% 2.68/2.89  (zenon_X14 != zenon_X62)
% 2.68/2.89  (-. (placename zenon_X50 zenon_X313))
% 2.68/2.89  ((skc8) != zenon_X243)
% 2.68/2.89  (specific zenon_X50 (skc9))
% 2.68/2.89  ((skc8) != zenon_X299)
% 2.68/2.89  (-. (general zenon_X16 (skc9)))
% 2.68/2.89  (-. (entity zenon_X60 zenon_X379))
% 2.68/2.89  (-. (eventuality zenon_X54 zenon_X524))
% 2.68/2.89  ((skc7) != zenon_X140)
% 2.68/2.89  (-. (location zenon_X52 zenon_X53))
% 2.68/2.89  ((skc6) != zenon_X7)
% 2.68/2.89  (-. (way zenon_X68 (skc9)))
% 2.68/2.89  (zenon_X52 != zenon_X8)
% 2.68/2.89  (-. (way zenon_X14 zenon_X442))
% 2.68/2.89  (zenon_X2 != zenon_X68)
% 2.68/2.89  ((skc7) != zenon_X270)
% 2.68/2.89  ((skc7) != zenon_X258)
% 2.68/2.89  ((skc5) != zenon_X16)
% 2.68/2.89  (zenon_X58 != zenon_X2)
% 2.68/2.89  (-. (artifact zenon_X24 zenon_X175))
% 2.68/2.89  ((skc7) != zenon_X198)
% 2.68/2.89  (-. (hollywood_placename zenon_X14 zenon_X378))
% 2.68/2.89  (-. (placename zenon_X50 zenon_X471))
% 2.68/2.89  (zenon_X26 != zenon_X2)
% 2.68/2.89  (-. (event zenon_X56 zenon_X478))
% 2.68/2.89  ((skc9) != zenon_X91)
% 2.68/2.89  (zenon_X26 != zenon_X54)
% 2.68/2.89  ((skc6) != zenon_X457)
% 2.68/2.89  (zenon_X62 != zenon_X2)
% 2.68/2.89  ((skc7) != zenon_X127)
% 2.68/2.89  ((skc9) != zenon_X138)
% 2.68/2.89  (-. (eventuality zenon_X68 zenon_X241))
% 2.68/2.89  (-. (general zenon_X56 (skc9)))
% 2.68/2.89  (-. (nonexistent zenon_X24 (skc9)))
% 2.68/2.89  ((skc8) != zenon_X246)
% 2.68/2.89  (zenon_X24 != zenon_X68)
% 2.68/2.89  (-. (object zenon_X14 zenon_X364))
% 2.68/2.89  (-. (general zenon_X18 (skc7)))
% 2.68/2.89  ((skc9) != zenon_X387)
% 2.68/2.89  ((skc9) != zenon_X272)
% 2.68/2.89  ((skc9) != zenon_X287)
% 2.68/2.89  (specific zenon_X50 (skc7))
% 2.68/2.89  (-. (event zenon_X48 (skc6)))
% 2.68/2.89  (-. (instrumentality zenon_X50 zenon_X339))
% 2.68/2.89  (-. (artifact zenon_X2 zenon_X259))
% 2.68/2.89  (-. (object zenon_X68 zenon_X114))
% 2.68/2.89  (zenon_X60 != zenon_X20)
% 2.68/2.89  ((skc9) != zenon_X90)
% 2.68/2.89  (event zenon_X58 (skc6))
% 2.68/2.89  (artifact zenon_X58 (skc7))
% 2.68/2.89  (instrumentality zenon_X56 (skc7))
% 2.68/2.89  (-. (specific (skc5) zenon_X84))
% 2.68/2.89  (eventuality zenon_X60 (skc6))
% 2.68/2.89  (zenon_X52 != zenon_X2)
% 2.68/2.89  ((skc9) != zenon_X415)
% 2.68/2.89  (-. (chevy zenon_X66 zenon_X476))
% 2.68/2.89  (-. (object zenon_X68 (skc9)))
% 2.68/2.89  (instrumentality zenon_X58 (skc7))
% 2.68/2.89  (-. (entity zenon_X60 zenon_X384))
% 2.68/2.89  (zenon_X52 != zenon_X64)
% 2.68/2.89  ((skc7) != zenon_X463)
% 2.68/2.89  (artifact zenon_X48 (skc9))
% 2.68/2.89  ((skc7) != zenon_X423)
% 2.68/2.89  (transport zenon_X54 (skc7))
% 2.68/2.89  ((skc9) != zenon_X126)
% 2.68/2.89  (vehicle zenon_X20 (skc7))
% 2.68/2.89  (-. (artifact zenon_X2 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X240)
% 2.68/2.89  (object zenon_X54 (skc7))
% 2.68/2.89  (vehicle zenon_X26 (skc7))
% 2.68/2.89  (event zenon_X0 (skc6))
% 2.68/2.89  ((skc6) != zenon_X461)
% 2.68/2.89  (-. (transport zenon_X58 zenon_X451))
% 2.68/2.89  ((skc9) != zenon_X21)
% 2.68/2.89  (object zenon_X66 (skc9))
% 2.68/2.89  (singleton zenon_X6 (skc9))
% 2.68/2.89  (-. (instrumentality zenon_X8 zenon_X319))
% 2.68/2.89  (down (skc5) (skc6) (skc9))
% 2.68/2.89  ((skc9) != zenon_X67)
% 2.68/2.89  (-. (street zenon_X20 zenon_X400))
% 2.68/2.89  (entity zenon_X54 (skc7))
% 2.68/2.89  ((skc7) != zenon_X164)
% 2.68/2.89  ((skc9) != zenon_X65)
% 2.68/2.89  (zenon_X8 != zenon_X20)
% 2.68/2.89  (-. (eventuality zenon_X16 zenon_X131))
% 2.68/2.89  (zenon_X24 != zenon_X64)
% 2.68/2.89  ((skc9) != zenon_X176)
% 2.68/2.89  (-. (transport zenon_X2 zenon_X393))
% 2.68/2.89  (-. (location zenon_X2 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X76)
% 2.68/2.89  (thing zenon_X40 (skc8))
% 2.68/2.89  ((skc9) != zenon_X145)
% 2.68/2.89  ((skc7) != zenon_X229)
% 2.68/2.89  (-. (entity zenon_X52 zenon_X347))
% 2.68/2.89  ((skc9) != zenon_X96)
% 2.68/2.89  (zenon_X58 != zenon_X66)
% 2.68/2.89  (zenon_X18 != zenon_X0)
% 2.68/2.89  (-. (object zenon_X66 zenon_X126))
% 2.68/2.89  ((skc7) != zenon_X290)
% 2.68/2.89  (-. (city zenon_X64 zenon_X286))
% 2.68/2.89  (specific zenon_X54 (skc6))
% 2.68/2.89  ((skc8) != zenon_X45)
% 2.68/2.89  ((skc9) != zenon_X221)
% 2.68/2.89  (-. (existent zenon_X60 (skc9)))
% 2.68/2.89  (-. (relname zenon_X36 zenon_X37))
% 2.68/2.89  ((skc5) != zenon_X62)
% 2.68/2.89  (-. (placename zenon_X56 (skc8)))
% 2.68/2.89  (specific zenon_X18 (skc7))
% 2.68/2.89  (-. (chevy zenon_X2 zenon_X488))
% 2.68/2.89  ((skc9) != zenon_X411)
% 2.68/2.89  (-. (location zenon_X66 zenon_X174))
% 2.68/2.89  ((skc5) != zenon_X20)
% 2.68/2.89  (-. (nonexistent zenon_X48 (skc9)))
% 2.68/2.89  (zenon_X24 != zenon_X52)
% 2.68/2.89  (zenon_X48 != zenon_X68)
% 2.68/2.89  (-. (object zenon_X0 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X91)
% 2.68/2.89  (-. (placename zenon_X60 zenon_X307))
% 2.68/2.89  (artifact zenon_X18 (skc9))
% 2.68/2.89  ((skc9) != zenon_X165)
% 2.68/2.89  (transport zenon_X20 (skc7))
% 2.68/2.89  (zenon_X54 != zenon_X0)
% 2.68/2.89  (-. (event zenon_X66 zenon_X137))
% 2.68/2.89  (zenon_X66 != zenon_X2)
% 2.68/2.89  (zenon_X18 != zenon_X8)
% 2.68/2.89  ((skc6) != zenon_X283)
% 2.68/2.89  (zenon_X8 != zenon_X48)
% 2.68/2.89  (-. (placename zenon_X58 zenon_X448))
% 2.68/2.89  ((skc9) != zenon_X23)
% 2.68/2.89  (-. (nonexistent (skc5) (skc7)))
% 2.68/2.89  (-. (entity zenon_X64 (skc7)))
% 2.68/2.89  ((skc5) != zenon_X56)
% 2.68/2.89  (-. (artifact zenon_X60 zenon_X455))
% 2.68/2.89  (-. (chevy zenon_X68 zenon_X486))
% 2.68/2.89  (-. (vehicle zenon_X16 zenon_X438))
% 2.68/2.89  (-. (entity zenon_X58 zenon_X531))
% 2.68/2.89  ((skc7) != zenon_X67)
% 2.68/2.89  (-. (object zenon_X28 zenon_X29))
% 2.68/2.89  ((skc8) != zenon_X269)
% 2.68/2.89  ((skc8) != zenon_X317)
% 2.68/2.89  ((skc9) != zenon_X204)
% 2.68/2.89  (-. (event zenon_X52 zenon_X280))
% 2.68/2.89  ((skc7) != zenon_X430)
% 2.68/2.89  (entity zenon_X24 (skc9))
% 2.68/2.89  (specific zenon_X56 (skc7))
% 2.68/2.89  ((skc7) != zenon_X319)
% 2.68/2.89  (vehicle (skc5) (skc7))
% 2.68/2.89  (zenon_X14 != zenon_X52)
% 2.68/2.89  (-. (entity zenon_X58 zenon_X449))
% 2.68/2.89  (-. (chevy zenon_X16 zenon_X517))
% 2.68/2.89  (-. (specific zenon_X18 zenon_X145))
% 2.68/2.89  (-. (location zenon_X18 zenon_X301))
% 2.68/2.89  ((skc9) != zenon_X336)
% 2.68/2.89  (-. (vehicle zenon_X18 zenon_X403))
% 2.68/2.89  ((skc8) != zenon_X448)
% 2.68/2.89  (-. (transport zenon_X68 zenon_X386))
% 2.68/2.89  ((skc7) != zenon_X289)
% 2.68/2.89  (-. (object zenon_X52 zenon_X272))
% 2.68/2.89  ((skc7) != zenon_X492)
% 2.68/2.89  (-. (street zenon_X68 zenon_X389))
% 2.68/2.89  ((skc7) != zenon_X359)
% 2.68/2.89  (zenon_X50 != zenon_X64)
% 2.68/2.89  ((skc7) != zenon_X419)
% 2.68/2.89  (-. (location zenon_X48 zenon_X302))
% 2.68/2.89  (-. (general zenon_X52 (skc6)))
% 2.68/2.89  ((skc9) != zenon_X167)
% 2.68/2.89  (-. (car zenon_X16 (skc7)))
% 2.68/2.89  (placename zenon_X58 (skc8))
% 2.68/2.89  ((skc9) != zenon_X187)
% 2.68/2.89  (-. (location zenon_X0 (skc7)))
% 2.68/2.89  (-. (barrel zenon_X26 zenon_X168))
% 2.68/2.89  (-. (nonexistent zenon_X52 (skc7)))
% 2.68/2.89  (-. (existent zenon_X66 zenon_X67))
% 2.68/2.89  ((skc7) != zenon_X90)
% 2.68/2.89  ((skc9) != zenon_X315)
% 2.68/2.89  (-. (location zenon_X24 (skc7)))
% 2.68/2.89  (transport zenon_X50 (skc7))
% 2.68/2.89  ((skc6) != zenon_X106)
% 2.68/2.89  (-. (specific zenon_X50 zenon_X289))
% 2.68/2.89  (chevy (skc5) (skc7))
% 2.68/2.89  (-. (way zenon_X52 (skc9)))
% 2.68/2.89  ((skc5) != zenon_X2)
% 2.68/2.89  ((skc9) != zenon_X338)
% 2.68/2.89  ((skc7) != zenon_X340)
% 2.68/2.89  ((skc9) != zenon_X496)
% 2.68/2.89  (-. (transport zenon_X0 zenon_X327))
% 2.68/2.89  ((skc9) != zenon_X83)
% 2.68/2.89  ((skc7) != zenon_X469)
% 2.68/2.89  (-. (existent zenon_X24 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X380)
% 2.68/2.89  (eventuality zenon_X50 (skc6))
% 2.68/2.89  ((skc9) != zenon_X530)
% 2.68/2.89  (eventuality zenon_X16 (skc6))
% 2.68/2.89  (zenon_X14 != zenon_X60)
% 2.68/2.89  (zenon_X16 != zenon_X0)
% 2.68/2.89  ((skc9) != zenon_X480)
% 2.68/2.89  (artifact zenon_X48 (skc7))
% 2.68/2.89  (-. (object zenon_X26 zenon_X133))
% 2.68/2.89  (-. (entity zenon_X48 zenon_X135))
% 2.68/2.89  (-. (way zenon_X48 zenon_X220))
% 2.68/2.89  (-. (specific zenon_X26 zenon_X151))
% 2.68/2.89  ((skc9) != zenon_X182)
% 2.68/2.89  (-. (object zenon_X50 zenon_X257))
% 2.68/2.89  (zenon_X18 != zenon_X66)
% 2.68/2.89  ((skc7) != zenon_X25)
% 2.68/2.89  (-. (existent zenon_X50 zenon_X229))
% 2.68/2.89  (zenon_X52 != zenon_X0)
% 2.68/2.89  ((skc7) != zenon_X321)
% 2.68/2.89  ((skc5) != zenon_X48)
% 2.68/2.89  ((skc9) != zenon_X183)
% 2.68/2.89  (zenon_X54 != zenon_X24)
% 2.68/2.89  (-. (entity zenon_X54 zenon_X521))
% 2.68/2.89  ((skc7) != zenon_X83)
% 2.68/2.89  (object zenon_X26 (skc7))
% 2.68/2.89  ((skc9) != zenon_X186)
% 2.68/2.89  (zenon_X50 != zenon_X48)
% 2.68/2.89  (zenon_X14 != zenon_X0)
% 2.68/2.89  (-. (city zenon_X0 zenon_X333))
% 2.68/2.89  ((skc7) != zenon_X437)
% 2.68/2.89  (transport zenon_X58 (skc7))
% 2.68/2.89  (nonliving zenon_X28 (skc9))
% 2.68/2.89  (eventuality zenon_X24 (skc6))
% 2.68/2.89  (-. (specific zenon_X2 (skc7)))
% 2.68/2.89  (entity zenon_X54 (skc9))
% 2.68/2.89  (-. (general zenon_X50 (skc6)))
% 2.68/2.89  ((skc9) != zenon_X27)
% 2.68/2.89  ((skc7) != zenon_X308)
% 2.68/2.89  ((skc7) != zenon_X543)
% 2.68/2.89  ((skc6) != zenon_X503)
% 2.68/2.89  ((skc9) != zenon_X557)
% 2.68/2.89  (zenon_X50 != zenon_X68)
% 2.68/2.89  (singleton zenon_X6 (skc7))
% 2.68/2.89  (-. (placename zenon_X64 zenon_X217))
% 2.68/2.89  (-. (entity zenon_X68 (skc7)))
% 2.68/2.89  (entity zenon_X18 (skc7))
% 2.68/2.89  ((skc7) != zenon_X106)
% 2.68/2.89  ((skc7) != zenon_X93)
% 2.68/2.89  ((skc6) != zenon_X146)
% 2.68/2.89  (-. (eventuality zenon_X52 zenon_X197))
% 2.68/2.89  ((skc7) != zenon_X391)
% 2.68/2.89  ((skc9) != zenon_X289)
% 2.68/2.89  ((skc6) != zenon_X113)
% 2.68/2.89  ((skc9) != zenon_X194)
% 2.68/2.89  ((skc7) != zenon_X376)
% 2.68/2.89  (-. (general zenon_X24 (skc7)))
% 2.68/2.89  (-. (general zenon_X50 (skc9)))
% 2.68/2.89  ((skc5) != zenon_X18)
% 2.68/2.89  (-. (entity zenon_X26 zenon_X469))
% 2.68/2.89  (-. (entity zenon_X24 zenon_X25))
% 2.68/2.89  (-. (hollywood_placename zenon_X66 zenon_X193))
% 2.68/2.89  (-. (transport zenon_X20 zenon_X360))
% 2.68/2.89  ((skc5) != zenon_X60)
% 2.68/2.89  (-. (barrel zenon_X64 zenon_X156))
% 2.68/2.89  (-. (general zenon_X14 (skc6)))
% 2.68/2.89  ((skc7) != zenon_X231)
% 2.68/2.89  (-. (general zenon_X14 (skc7)))
% 2.68/2.89  (zenon_X58 != zenon_X60)
% 2.68/2.89  ((skc9) != zenon_X162)
% 2.68/2.89  (-. (event zenon_X14 zenon_X417))
% 2.68/2.89  (artifact zenon_X54 (skc9))
% 2.68/2.89  (-. (event zenon_X68 (skc6)))
% 2.68/2.89  (-. (existent zenon_X48 zenon_X119))
% 2.68/2.89  ((skc6) != zenon_X9)
% 2.68/2.89  ((skc7) != zenon_X129)
% 2.68/2.89  ((skc9) != zenon_X233)
% 2.68/2.89  ((skc7) != zenon_X421)
% 2.68/2.89  (existent zenon_X26 (skc7))
% 2.68/2.89  (existent zenon_X24 (skc9))
% 2.68/2.89  (-. (entity zenon_X52 zenon_X270))
% 2.68/2.89  (-. (eventuality zenon_X4 zenon_X5))
% 2.68/2.89  ((skc9) != zenon_X147)
% 2.68/2.89  ((skc7) != zenon_X51)
% 2.68/2.89  (zenon_X24 != zenon_X2)
% 2.68/2.89  (zenon_X52 != zenon_X66)
% 2.68/2.89  (-. (existent zenon_X68 (skc7)))
% 2.68/2.89  (-. (eventuality zenon_X58 zenon_X457))
% 2.68/2.89  ((skc8) != zenon_X43)
% 2.68/2.89  (-. (specific zenon_X8 (skc9)))
% 2.68/2.89  (-. (eventuality zenon_X48 zenon_X112))
% 2.68/2.89  (entity zenon_X14 (skc9))
% 2.68/2.89  ((skc6) != zenon_X1)
% 2.68/2.89  ((skc6) != zenon_X3)
% 2.68/2.89  ((skc6) != zenon_X89)
% 2.68/2.89  (zenon_X26 != zenon_X64)
% 2.68/2.89  (zenon_X14 != zenon_X2)
% 2.68/2.89  (-. (existent zenon_X24 zenon_X160))
% 2.68/2.89  ((skc7) != zenon_X130)
% 2.68/2.89  (specific (skc5) (skc9))
% 2.68/2.89  (-. (general zenon_X54 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X114)
% 2.68/2.89  (artifact (skc5) (skc9))
% 2.68/2.89  (instrumentality zenon_X18 (skc7))
% 2.68/2.89  (entity zenon_X18 (skc9))
% 2.68/2.89  (zenon_X20 != zenon_X64)
% 2.68/2.89  (zenon_X26 != zenon_X24)
% 2.68/2.89  ((skc7) != zenon_X158)
% 2.68/2.89  (existent zenon_X64 (skc9))
% 2.68/2.89  ((skc8) != zenon_X109)
% 2.68/2.89  (-. (barrel zenon_X62 zenon_X255))
% 2.68/2.89  (relname zenon_X34 (skc8))
% 2.68/2.89  (specific zenon_X50 (skc6))
% 2.68/2.89  (impartial zenon_X30 (skc9))
% 2.68/2.89  ((skc7) != zenon_X542)
% 2.68/2.89  (-. (object zenon_X0 zenon_X129))
% 2.68/2.89  ((skc9) != zenon_X161)
% 2.68/2.89  (-. (existent zenon_X2 zenon_X138))
% 2.68/2.89  (instrumentality zenon_X54 (skc7))
% 2.68/2.89  (event (skc5) (skc6))
% 2.68/2.89  ((skc7) != zenon_X441)
% 2.68/2.89  (transport zenon_X18 (skc7))
% 2.68/2.89  (-. (car zenon_X2 zenon_X439))
% 2.68/2.89  ((skc7) != zenon_X160)
% 2.68/2.89  (zenon_X60 != zenon_X8)
% 2.68/2.89  (-. (city zenon_X24 zenon_X295))
% 2.68/2.89  (-. (entity zenon_X20 zenon_X74))
% 2.68/2.89  (-. (street zenon_X62 zenon_X424))
% 2.68/2.89  (zenon_X52 != zenon_X20)
% 2.68/2.89  (zenon_X24 != zenon_X8)
% 2.68/2.89  (-. (entity zenon_X48 zenon_X102))
% 2.68/2.89  (-. (hollywood_placename zenon_X18 zenon_X205))
% 2.68/2.89  (zenon_X26 != zenon_X60)
% 2.68/2.89  ((skc6) != zenon_X285)
% 2.68/2.89  ((skc8) != zenon_X196)
% 2.68/2.89  (-. (general zenon_X56 (skc6)))
% 2.68/2.89  ((skc7) != zenon_X59)
% 2.68/2.89  ((skc7) != zenon_X385)
% 2.68/2.89  (zenon_X24 != zenon_X56)
% 2.68/2.89  (-. (specific zenon_X64 (skc6)))
% 2.68/2.89  ((skc9) != zenon_X518)
% 2.68/2.89  (specific zenon_X54 (skc9))
% 2.68/2.89  ((skc7) != zenon_X370)
% 2.68/2.89  ((skc7) != zenon_X224)
% 2.68/2.89  ((skc7) != zenon_X518)
% 2.68/2.89  (-. (existent zenon_X68 zenon_X153))
% 2.68/2.89  (-. (entity zenon_X60 zenon_X463))
% 2.68/2.89  (-. (placename zenon_X54 zenon_X548))
% 2.68/2.89  (-. (placename zenon_X20 (skc8)))
% 2.68/2.89  (-. (specific zenon_X68 zenon_X192))
% 2.68/2.89  (-. (car zenon_X50 zenon_X445))
% 2.68/2.89  ((skc9) != zenon_X102)
% 2.68/2.89  ((skc7) != zenon_X115)
% 2.68/2.89  (-. (car zenon_X64 (skc7)))
% 2.68/2.89  (-. (placename zenon_X24 zenon_X243))
% 2.68/2.89  ((skc7) != zenon_X257)
% 2.68/2.89  (-. (vehicle zenon_X8 zenon_X395))
% 2.68/2.89  (-. (entity zenon_X8 (skc9)))
% 2.68/2.89  ((skc8) != zenon_X314)
% 2.68/2.89  ((skc7) != zenon_X525)
% 2.68/2.89  (zenon_X26 != zenon_X20)
% 2.68/2.89  ((skc6) != zenon_X296)
% 2.68/2.89  (-. (general zenon_X48 (skc9)))
% 2.68/2.89  (-. (placename zenon_X24 zenon_X246))
% 2.68/2.89  (zenon_X18 != zenon_X68)
% 2.68/2.89  (-. (entity zenon_X56 zenon_X557))
% 2.68/2.89  (existent zenon_X20 (skc9))
% 2.68/2.89  (-. (chevy zenon_X24 zenon_X522))
% 2.68/2.89  (-. (barrel zenon_X68 zenon_X238))
% 2.68/2.89  ((skc7) != zenon_X143)
% 2.68/2.89  (-. (existent (skc5) zenon_X91))
% 2.68/2.89  (event zenon_X14 (skc6))
% 2.68/2.89  (artifact zenon_X50 (skc7))
% 2.68/2.89  (-. (car zenon_X48 zenon_X483))
% 2.68/2.89  (specific zenon_X14 (skc9))
% 2.68/2.89  ((skc7) != zenon_X379)
% 2.68/2.89  (-. (street zenon_X54 zenon_X528))
% 2.68/2.89  (-. (location zenon_X2 zenon_X260))
% 2.68/2.89  (object zenon_X24 (skc9))
% 2.68/2.89  (-. (general zenon_X20 (skc9)))
% 2.68/2.89  (transport (skc5) (skc7))
% 2.68/2.89  (-. (entity zenon_X56 zenon_X501))
% 2.68/2.89  (eventuality zenon_X14 (skc6))
% 2.68/2.89  (-. (nonexistent zenon_X62 (skc7)))
% 2.68/2.89  ((skc9) != zenon_X441)
% 2.68/2.89  (-. (entity zenon_X14 zenon_X512))
% 2.68/2.89  (-. (chevy zenon_X14 zenon_X552))
% 2.68/2.89  (-. (placename zenon_X18 zenon_X276))
% 2.68/2.89  (instrumentality zenon_X20 (skc7))
% 2.68/2.89  (zenon_X54 != zenon_X64)
% 2.68/2.89  (-. (street zenon_X60 zenon_X368))
% 2.68/2.89  (-. (entity zenon_X8 zenon_X159))
% 2.68/2.89  ((skc7) != zenon_X187)
% 2.68/2.89  (-. (event zenon_X64 (skc6)))
% 2.68/2.89  ((skc6) != zenon_X87)
% 2.68/2.89  (-. (vehicle zenon_X26 zenon_X459))
% 2.68/2.89  (instrumentality zenon_X60 (skc7))
% 2.68/2.89  (-. (placename zenon_X48 zenon_X101))
% 2.68/2.89  (-. (object zenon_X2 (skc7)))
% 2.68/2.89  (-. (street zenon_X66 zenon_X434))
% 2.68/2.89  (zenon_X14 != zenon_X8)
% 2.68/2.89  ((skc9) != zenon_X358)
% 2.68/2.89  (-. (artifact zenon_X68 (skc7)))
% 2.68/2.89  (-. (hollywood_placename zenon_X0 zenon_X144))
% 2.68/2.89  (zenon_X50 != zenon_X66)
% 2.68/2.89  ((skc9) != zenon_X237)
% 2.68/2.89  ((skc9) != zenon_X190)
% 2.68/2.89  (-. (object zenon_X64 zenon_X130))
% 2.68/2.89  (-. (event zenon_X54 zenon_X482))
% 2.68/2.89  (-. (artifact zenon_X20 zenon_X139))
% 2.68/2.89  ((skc9) != zenon_X158)
% 2.68/2.89  ((skc7) != zenon_X223)
% 2.68/2.89  (zenon_X52 != zenon_X60)
% 2.68/2.89  (-. (event zenon_X48 zenon_X124))
% 2.68/2.89  (-. (specific zenon_X60 zenon_X344))
% 2.68/2.89  (-. (entity zenon_X14 zenon_X404))
% 2.68/2.89  (-. (chevy zenon_X0 zenon_X536))
% 2.68/2.89  (-. (entity zenon_X54 zenon_X549))
% 2.68/2.89  (zenon_X0 != zenon_X68)
% 2.68/2.89  ((skc7) != zenon_X530)
% 2.68/2.89  (-. (instrumentality zenon_X66 zenon_X249))
% 2.68/2.89  ((skc6) != zenon_X387)
% 2.68/2.89  (zenon_X62 != zenon_X16)
% 2.68/2.89  (entity zenon_X14 (skc7))
% 2.68/2.89  ((skc8) != zenon_X101)
% 2.68/2.89  (-. (street zenon_X52 zenon_X440))
% 2.68/2.89  ((skc7) != zenon_X162)
% 2.68/2.89  (-. (event zenon_X64 zenon_X118))
% 2.68/2.89  (-. (instrumentality zenon_X2 zenon_X262))
% 2.68/2.89  ((skc6) != zenon_X136)
% 2.68/2.89  ((skc9) != zenon_X25)
% 2.68/2.89  (-. (artifact (skc5) zenon_X278))
% 2.68/2.89  (-. (way zenon_X68 zenon_X266))
% 2.68/2.89  (existent zenon_X56 (skc9))
% 2.68/2.89  (-. (location zenon_X64 (skc7)))
% 2.68/2.89  (zenon_X62 != zenon_X64)
% 2.68/2.89  ((skc9) != zenon_X245)
% 2.68/2.89  (-. (eventuality zenon_X18 zenon_X136))
% 2.68/2.89  ((skc7) != zenon_X354)
% 2.68/2.89  ((skc8) != (skc6))
% 2.68/2.89  ((skc5) != zenon_X64)
% 2.68/2.89  (-. (object zenon_X8 (skc7)))
% 2.68/2.89  (-. (object zenon_X20 zenon_X21))
% 2.68/2.89  (zenon_X16 != zenon_X68)
% 2.68/2.89  (-. (general zenon_X66 (skc9)))
% 2.68/2.89  (-. (entity zenon_X0 zenon_X399))
% 2.68/2.89  ((skc7) != zenon_X157)
% 2.68/2.89  (-. (entity zenon_X2 zenon_X177))
% 2.68/2.89  (-. (location zenon_X16 (skc7)))
% 2.68/2.89  ((skc6) != zenon_X84)
% 2.68/2.89  (-. (existent zenon_X52 zenon_X198))
% 2.68/2.89  ((skc9) != zenon_X247)
% 2.68/2.89  ((skc7) != zenon_X472)
% 2.68/2.89  (-. (placename zenon_X26 zenon_X185))
% 2.68/2.89  (-. (placename zenon_X56 zenon_X541))
% 2.68/2.89  ((skc9) != zenon_X143)
% 2.68/2.89  (-. (general zenon_X62 (skc6)))
% 2.68/2.89  ((skc7) != zenon_X344)
% 2.68/2.89  (specific (skc5) (skc6))
% 2.68/2.89  ((skc9) != zenon_X110)
% 2.68/2.89  (-. (vehicle zenon_X64 (skc7)))
% 2.68/2.89  (specific zenon_X26 (skc9))
% 2.68/2.89  (entity (skc5) (skc7))
% 2.68/2.89  (-. (nonexistent zenon_X26 (skc9)))
% 2.68/2.89  (-. (artifact zenon_X0 zenon_X182))
% 2.68/2.89  ((skc8) != zenon_X125)
% 2.68/2.89  (-. (artifact zenon_X16 zenon_X412))
% 2.68/2.89  (zenon_X14 != zenon_X20)
% 2.68/2.89  (object zenon_X18 (skc7))
% 2.68/2.89  ((skc8) != zenon_X276)
% 2.68/2.89  ((skc6) != zenon_X168)
% 2.68/2.89  (-. (transport zenon_X66 zenon_X297))
% 2.68/2.89  (-. (hollywood_placename zenon_X50 zenon_X291))
% 2.68/2.89  (-. (artifact zenon_X0 (skc7)))
% 2.68/2.89  (-. (city zenon_X48 zenon_X329))
% 2.68/2.89  (zenon_X58 != zenon_X24)
% 2.68/2.89  (existent zenon_X58 (skc7))
% 2.68/2.89  ((skc8) != zenon_X313)
% 2.68/2.89  ((skc7) != zenon_X154)
% 2.68/2.89  (zenon_X60 != zenon_X64)
% 2.68/2.89  (-. (nonexistent zenon_X60 (skc7)))
% 2.68/2.89  ((skc9) != zenon_X19)
% 2.68/2.89  (zenon_X24 != zenon_X0)
% 2.68/2.89  (-. (chevy zenon_X26 zenon_X526))
% 2.68/2.89  ((skc5) != zenon_X52)
% 2.68/2.89  (-. (eventuality zenon_X50 zenon_X219))
% 2.68/2.89  (-. (nonexistent zenon_X56 (skc9)))
% 2.68/2.89  (entity zenon_X56 (skc7))
% 2.68/2.89  (-. (way zenon_X54 zenon_X544))
% 2.68/2.89  ((skc6) != zenon_X131)
% 2.68/2.89  (-. (object zenon_X62 zenon_X290))
% 2.68/2.89  (entity zenon_X66 (skc9))
% 2.68/2.89  (-. (placename zenon_X54 (skc8)))
% 2.68/2.89  (-. (artifact zenon_X58 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X145)
% 2.68/2.89  (-. (chevy zenon_X54 zenon_X55))
% 2.68/2.89  ((skc6) != zenon_X200)
% 2.68/2.89  ((skc7) != zenon_X293)
% 2.68/2.89  (eventuality zenon_X62 (skc6))
% 2.68/2.89  (-. (eventuality zenon_X66 zenon_X142))
% 2.68/2.89  (vehicle zenon_X52 (skc7))
% 2.68/2.89  ((skc7) != zenon_X537)
% 2.68/2.89  (object zenon_X20 (skc9))
% 2.68/2.89  (-. (transport zenon_X2 (skc7)))
% 2.68/2.89  ((skc8) != zenon_X426)
% 2.68/2.89  (-. (street zenon_X56 zenon_X555))
% 2.68/2.89  ((skc9) != zenon_X106)
% 2.68/2.89  (-. (way zenon_X52 zenon_X411))
% 2.68/2.89  ((skc7) != zenon_X546)
% 2.68/2.89  ((skc9) != zenon_X119)
% 2.68/2.89  ((skc7) != zenon_X509)
% 2.68/2.89  ((skc6) != zenon_X140)
% 2.68/2.89  (-. (eventuality zenon_X62 zenon_X285))
% 2.68/2.89  ((skc6) != zenon_X197)
% 2.68/2.89  ((skc7) != zenon_X119)
% 2.68/2.89  (agent (skc5) (skc6) (skc7))
% 2.68/2.89  (-. (car (skc5) zenon_X407))
% 2.68/2.89  ((skc7) != zenon_X523)
% 2.68/2.89  ((skc9) != zenon_X344)
% 2.68/2.89  (artifact zenon_X52 (skc7))
% 2.68/2.89  (zenon_X48 != zenon_X64)
% 2.68/2.89  (zenon_X0 != zenon_X20)
% 2.68/2.89  (zenon_X8 != zenon_X68)
% 2.68/2.89  ((skc6) != zenon_X86)
% 2.68/2.89  ((skc7) != zenon_X253)
% 2.68/2.89  ((skc8) != zenon_X184)
% 2.68/2.89  (-. (chevy zenon_X8 zenon_X510))
% 2.68/2.89  (specific zenon_X14 (skc6))
% 2.68/2.89  ((skc7) != zenon_X237)
% 2.68/2.89  (-. (specific zenon_X8 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X260)
% 2.68/2.89  (zenon_X62 != zenon_X8)
% 2.68/2.89  (-. (placename zenon_X14 zenon_X372))
% 2.68/2.89  ((skc7) != zenon_X337)
% 2.68/2.89  (-. (placename zenon_X16 (skc8)))
% 2.68/2.89  (zenon_X66 != zenon_X0)
% 2.68/2.89  (-. (chevy zenon_X52 zenon_X527))
% 2.68/2.89  ((skc9) != zenon_X311)
% 2.68/2.89  (instrumentality (skc5) (skc7))
% 2.68/2.89  (-. (city zenon_X52 zenon_X235))
% 2.68/2.89  (-. (specific zenon_X16 zenon_X222))
% 2.68/2.89  ((skc5) != zenon_X58)
% 2.68/2.89  (-. (way zenon_X60 zenon_X361))
% 2.68/2.89  ((skc7) != zenon_X506)
% 2.68/2.89  ((skc9) != zenon_X29)
% 2.68/2.89  (-. (specific zenon_X54 zenon_X518))
% 2.68/2.89  ((skc9) != zenon_X298)
% 2.68/2.89  (-. (entity (skc5) zenon_X85))
% 2.68/2.89  ((skc7) != zenon_X526)
% 2.68/2.89  (zenon_X14 != zenon_X48)
% 2.68/2.89  (specific zenon_X62 (skc7))
% 2.68/2.89  ((skc9) != zenon_X123)
% 2.68/2.89  ((skc7) != zenon_X315)
% 2.68/2.89  (zenon_X56 != zenon_X0)
% 2.68/2.89  ((skc6) != zenon_X284)
% 2.68/2.89  ((skc7) != zenon_X339)
% 2.68/2.89  (-. (object zenon_X66 (skc7)))
% 2.68/2.89  ((skc9) != zenon_X198)
% 2.68/2.89  (-. (vehicle zenon_X50 zenon_X452))
% 2.68/2.89  (-. (existent zenon_X0 (skc9)))
% 2.68/2.89  ((skc9) != zenon_X17)
% 2.68/2.89  (-. (entity zenon_X68 zenon_X274))
% 2.68/2.89  (zenon_X54 != zenon_X60)
% 2.68/2.89  ((skc6) != zenon_X13)
% 2.68/2.89  ((skc7) != zenon_X406)
% 2.68/2.89  ((skc9) != zenon_X188)
% 2.68/2.89  (-. (location zenon_X20 zenon_X340))
% 2.68/2.89  (entity zenon_X20 (skc7))
% 2.68/2.89  ((skc9) != zenon_X328)
% 2.68/2.89  ((skc9) != zenon_X218)
% 2.68/2.89  ((skc9) != zenon_X129)
% 2.68/2.89  (specific (skc5) (skc7))
% 2.68/2.89  ((skc7) != zenon_X485)
% 2.68/2.89  ((skc7) != zenon_X132)
% 2.68/2.89  ((skc7) != zenon_X61)
% 2.68/2.89  ((skc6) != zenon_X261)
% 2.68/2.89  ((skc7) != zenon_X450)
% 2.68/2.89  ((skc9) != zenon_X135)
% 2.68/2.89  (present (skc5) (skc6))
% 2.68/2.89  (-. (instrumentality (skc5) zenon_X201))
% 2.68/2.89  ((skc7) != zenon_X459)
% 2.68/2.89  (-. (vehicle zenon_X64 zenon_X385))
% 2.68/2.89  (-. (placename zenon_X62 (skc8)))
% 2.68/2.89  ((skc7) != zenon_X63)
% 2.68/2.89  (eventuality zenon_X58 (skc6))
% 2.68/2.89  ((skc7) != zenon_X455)
% 2.68/2.89  ((skc7) != zenon_X139)
% 2.68/2.89  (-. (object zenon_X56 zenon_X496))
% 2.68/2.89  (way zenon_X14 (skc9))
% 2.68/2.89  (existent zenon_X48 (skc7))
% 2.68/2.89  (-. (object zenon_X32 zenon_X33))
% 2.68/2.89  ((skc7) != zenon_X552)
% 2.68/2.89  (-. (nonexistent zenon_X62 (skc9)))
% 2.68/2.89  (object (skc5) (skc7))
% 2.68/2.89  (instrumentality zenon_X62 (skc7))
% 2.68/2.89  ((skc7) != zenon_X404)
% 2.68/2.89  (-. (specific zenon_X20 zenon_X89))
% 2.68/2.89  (-. (way zenon_X62 zenon_X415))
% 2.68/2.89  (-. (barrel (skc5) zenon_X141))
% 2.68/2.89  (-. (city zenon_X54 zenon_X545))
% 2.68/2.89  ((skc6) != zenon_X280)
% 2.68/2.89  (-. (existent zenon_X60 zenon_X363))
% 2.68/2.89  (-. (instrumentality zenon_X52 zenon_X304))
% 2.68/2.89  ((skc9) != zenon_X549)
% 2.68/2.89  (-. (artifact zenon_X0 (skc9)))
% 2.68/2.89  (zenon_X14 != zenon_X18)
% 2.68/2.89  (instrumentality zenon_X48 (skc7))
% 2.68/2.89  (-. (entity zenon_X62 zenon_X318))
% 2.68/2.89  (zenon_X54 != zenon_X2)
% 2.68/2.89  ((skc7) != zenon_X55)
% 2.68/2.89  (event zenon_X52 (skc6))
% 2.68/2.89  (-. (entity zenon_X50 zenon_X337))
% 2.68/2.89  (zenon_X58 != zenon_X62)
% 2.68/2.89  ((skc6) != zenon_X391)
% 2.68/2.89  (entity zenon_X48 (skc7))
% 2.68/2.89  (zenon_X50 != zenon_X60)
% 2.68/2.89  (specific zenon_X14 (skc7))
% 2.68/2.89  (-. (general (skc5) (skc7)))
% 2.68/2.89  (specific zenon_X18 (skc6))
% 2.68/2.89  (-. (entity zenon_X16 zenon_X253))
% 2.68/2.89  (thing zenon_X22 (skc9))
% 2.68/2.89  (-. (vehicle zenon_X62 zenon_X402))
% 2.68/2.89  ((skc7) != zenon_X110)
% 2.68/2.89  ((skc6) != zenon_X104)
% 2.68/2.89  (existent zenon_X60 (skc7))
% 2.68/2.89  (-. (instrumentality zenon_X0 zenon_X312))
% 2.68/2.89  (-. (specific zenon_X0 zenon_X140))
% 2.68/2.89  ((skc9) != zenon_X384)
% 2.68/2.89  ((skc9) != zenon_X95)
% 2.68/2.89  (-. (entity zenon_X18 zenon_X282))
% 2.68/2.89  ((skc8) != zenon_X41)
% 2.68/2.89  (zenon_X50 != zenon_X16)
% 2.68/2.89  ((skc9) != zenon_X257)
% 2.68/2.89  ((skc7) != zenon_X445)
% 2.68/2.89  (hollywood_placename (skc5) (skc8))
% 2.68/2.89  ((skc9) != zenon_X442)
% 2.68/2.89  ((skc9) != zenon_X425)
% 2.68/2.89  (-. (entity zenon_X8 zenon_X108))
% 2.68/2.89  (-. (entity zenon_X26 zenon_X186))
% 2.68/2.89  ((skc5) != zenon_X54)
% 2.68/2.89  ((skc9) != zenon_X373)
% 2.68/2.89  ((skc7) != zenon_X135)
% 2.68/2.89  ((skc7) != zenon_X397)
% 2.68/2.89  ((skc8) != zenon_X548)
% 2.68/2.89  (eventuality zenon_X52 (skc6))
% 2.68/2.89  ((skc9) != zenon_X259)
% 2.68/2.89  (-. (transport zenon_X64 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X403)
% 2.68/2.89  (-. (hollywood_placename zenon_X52 zenon_X299))
% 2.68/2.89  (zenon_X56 != zenon_X48)
% 2.68/2.89  (car zenon_X50 (skc7))
% 2.68/2.89  ((skc9) != zenon_X282)
% 2.68/2.89  (-. (object zenon_X24 zenon_X183))
% 2.68/2.89  (specific zenon_X66 (skc9))
% 2.68/2.89  ((skc7) != zenon_X451)
% 2.68/2.89  ((skc6) != zenon_X334)
% 2.68/2.89  (of (skc5) (skc8) (skc7))
% 2.68/2.89  (-. (entity zenon_X8 zenon_X343))
% 2.68/2.89  (-. (placename zenon_X16 zenon_X252))
% 2.68/2.89  (-. (car zenon_X64 zenon_X408))
% 2.68/2.89  (-. (placename zenon_X26 zenon_X184))
% 2.68/2.89  (zenon_X16 != zenon_X2)
% 2.68/2.89  (-. (way zenon_X2 (skc9)))
% 2.68/2.89  (-. (hollywood_placename zenon_X20 zenon_X152))
% 2.68/2.89  ((skc6) != zenon_X223)
% 2.68/2.89  (-. (hollywood_placename zenon_X60 zenon_X381))
% 2.68/2.89  ((skc7) != zenon_X153)
% 2.68/2.89  (placename zenon_X52 (skc8))
% 2.68/2.89  ((skc9) != zenon_X300)
% 2.68/2.89  (-. (instrumentality zenon_X64 zenon_X215))
% 2.68/2.89  ((skc9) != zenon_X93)
% 2.68/2.89  ((skc7) != zenon_X282)
% 2.68/2.89  ((skc7) != zenon_X330)
% 2.68/2.89  (-. (car zenon_X68 zenon_X543))
% 2.68/2.89  (-. (entity zenon_X58 zenon_X437))
% 2.68/2.89  (-. (eventuality zenon_X20 zenon_X107))
% 2.68/2.89  ((skc6) != zenon_X345)
% 2.68/2.89  ((skc9) != zenon_X472)
% 2.68/2.89  (-. (entity zenon_X62 zenon_X328))
% 2.68/2.89  (-. (car zenon_X52 zenon_X446))
% 2.68/2.89  (car zenon_X26 (skc7))
% 2.68/2.89  (-. (entity zenon_X14 zenon_X373))
% 2.68/2.89  ((skc6) != zenon_X107)
% 2.68/2.89  (-. (artifact zenon_X8 (skc7)))
% 2.68/2.89  ((skc9) != zenon_X199)
% 2.68/2.89  (-. (event zenon_X58 zenon_X461))
% 2.68/2.89  (-. (object zenon_X60 zenon_X355))
% 2.68/2.89  ((skc7) != zenon_X402)
% 2.68/2.89  (-. (instrumentality zenon_X16 zenon_X428))
% 2.68/2.89  (-. (barrel zenon_X18 zenon_X148))
% 2.68/2.89  ((skc8) != zenon_X77)
% 2.68/2.89  (zenon_X24 != zenon_X48)
% 2.68/2.89  (-. (street zenon_X16 zenon_X454))
% 2.68/2.89  (-. (existent zenon_X2 (skc7)))
% 2.68/2.89  (-. (event zenon_X18 zenon_X261))
% 2.68/2.89  ((skc8) != zenon_X181)
% 2.68/2.89  ((skc9) != zenon_X485)
% 2.68/2.89  (-. (location zenon_X62 zenon_X305))
% 2.68/2.89  (-. (placename zenon_X58 zenon_X532))
% 2.68/2.89  ((skc7) != zenon_X521)
% 2.68/2.89  ((skc7) != zenon_X480)
% 2.68/2.89  (-. (entity zenon_X52 zenon_X228))
% 2.68/2.89  (zenon_X52 != zenon_X62)
% 2.68/2.89  (thing zenon_X22 (skc7))
% 2.68/2.89  (-. (object zenon_X8 (skc9)))
% 2.68/2.89  (-. (entity zenon_X2 zenon_X258))
% 2.68/2.89  (zenon_X62 != zenon_X0)
% 2.68/2.89  (eventuality zenon_X26 (skc6))
% 2.68/2.89  (-. (event zenon_X50 zenon_X325))
% 2.68/2.89  (-. (instrumentality zenon_X48 zenon_X331))
% 2.68/2.89  (zenon_X26 != zenon_X56)
% 2.68/2.89  ((skc7) != zenon_X318)
% 2.68/2.89  (-. (transport zenon_X56 zenon_X537))
% 2.68/2.89  ((skc9) != zenon_X132)
% 2.68/2.89  ((skc9) != zenon_X412)
% 2.68/2.89  (-. (object (skc5) zenon_X76))
% 2.68/2.89  (-. (general zenon_X60 (skc7)))
% 2.68/2.89  (entity zenon_X58 (skc7))
% 2.68/2.89  (-. (general (skc5) (skc6)))
% 2.68/2.89  (-. (eventuality zenon_X48 (skc6)))
% 2.68/2.89  (entity zenon_X50 (skc7))
% 2.68/2.89  (-. (entity zenon_X50 zenon_X321))
% 2.68/2.89  ((skc7) != zenon_X327)
% 2.68/2.89  (-. (location zenon_X54 zenon_X553))
% 2.68/2.89  (-. (barrel zenon_X20 zenon_X150))
% 2.68/2.89  ((skc9) != zenon_X104)
% 2.68/2.89  ((skc9) != zenon_X71)
% 2.68/2.89  (-. (eventuality (skc5) zenon_X86))
% 2.68/2.89  (existent zenon_X48 (skc9))
% 2.68/2.89  ((skc7) != zenon_X138)
% 2.68/2.89  (-. (location zenon_X16 zenon_X380))
% 2.68/2.89  (-. (entity zenon_X2 zenon_X171))
% 2.68/2.89  (old (skc5) (skc7))
% 2.68/2.89  ((skc9) != zenon_X74)
% 2.68/2.89  (-. (abstraction zenon_X40 zenon_X41))
% 2.68/2.89  ((skc7) != zenon_X19)
% 2.68/2.89  (-. (instrumentality zenon_X8 (skc7)))
% 2.68/2.89  (-. (general zenon_X50 (skc7)))
% 2.68/2.89  (-. (city zenon_X68 zenon_X310))
% 2.68/2.89  (-. (specific zenon_X58 (skc9)))
% 2.68/2.89  (-. (way zenon_X58 zenon_X456))
% 2.68/2.89  ((skc5) != zenon_X0)
% 2.68/2.89  (-. (existent zenon_X52 (skc9)))
% 2.68/2.89  ((skc9) != zenon_X363)
% 2.68/2.89  (-. (transport zenon_X24 zenon_X433))
% 2.68/2.89  ((skc7) != zenon_X533)
% 2.68/2.89  (-. (hollywood_placename zenon_X62 zenon_X288))
% 2.68/2.89  ((skc7) != zenon_X407)
% 2.68/2.89  (-. (abstraction zenon_X46 zenon_X47))
% 2.68/2.89  (-. (car zenon_X26 zenon_X506))
% 2.68/2.89  (-. (entity zenon_X48 zenon_X99))
% 2.68/2.89  (-. (general zenon_X26 (skc7)))
% 2.68/2.89  (zenon_X52 != zenon_X48)
% 2.68/2.89  (object zenon_X58 (skc7))
% 2.68/2.89  (-. (way zenon_X56 zenon_X508))
% 2.68/2.89  (-. (specific zenon_X48 (skc6)))
% 2.68/2.89  ((skc9) != zenon_X133)
% 2.68/2.89  (zenon_X18 != zenon_X64)
% 2.68/2.89  (existent zenon_X20 (skc7))
% 2.68/2.89  ((skc9) != (skc6))
% 2.68/2.89  (zenon_X58 != zenon_X0)
% 2.68/2.89  (-. (car zenon_X60 zenon_X554))
% 2.68/2.89  ((skc9) != zenon_X114)
% 2.68/2.89  (zenon_X50 != zenon_X58)
% 2.68/2.89  (-. (general zenon_X54 (skc7)))
% 2.68/2.89  (-. (street zenon_X2 zenon_X413))
% 2.68/2.89  (-. (nonexistent zenon_X50 (skc9)))
% 2.68/2.89  ((skc9) != zenon_X293)
% 2.68/2.89  ((skc8) != zenon_X346)
% 2.68/2.89  (white (skc5) (skc7))
% 2.68/2.89  (eventuality zenon_X18 (skc6))
% 2.68/2.89  (-. (placename zenon_X58 zenon_X447))
% 2.68/2.89  (-. (hollywood_placename zenon_X58 zenon_X426))
% 2.68/2.89  (object zenon_X52 (skc7))
% 2.68/2.89  ((skc7) != zenon_X514)
% 2.68/2.89  ((skc7) != zenon_X7)
% 2.68/2.89  (-. (placename zenon_X52 zenon_X268))
% 2.68/2.89  (specific zenon_X56 (skc9))
% 2.68/2.89  (-. (transport (skc5) zenon_X309))
% 2.68/2.89  (singleton zenon_X6 (skc6))
% 2.68/2.89  (-. (entity zenon_X2 (skc7)))
% 2.68/2.89  (-. (vehicle zenon_X14 zenon_X462))
% 2.68/2.89  (-. (object zenon_X8 zenon_X116))
% 2.68/2.89  (-. (eventuality zenon_X26 zenon_X146))
% 2.68/2.89  (-. (artifact zenon_X14 zenon_X458))
% 2.68/2.89  ((skc7) != zenon_X84)
% 2.68/2.89  (-. (general zenon_X62 (skc9)))
% 2.68/2.89  (-. (vehicle zenon_X20 zenon_X427))
% 2.68/2.89  (-. (placename zenon_X34 zenon_X35))
% 2.68/2.89  (-. (entity zenon_X66 zenon_X90))
% 2.68/2.89  (-. (existent zenon_X14 zenon_X480))
% 2.68/2.89  ((skc9) != zenon_X108)
% 2.68/2.89  (-. (transport zenon_X48 zenon_X357))
% 2.68/2.89  ((skc8) != (skc7))
% 2.68/2.89  (zenon_X58 != zenon_X64)
% 2.68/2.89  (-. (instrumentality zenon_X60 zenon_X349))
% 2.68/2.89  (eventuality zenon_X66 (skc6))
% 2.68/2.89  (-. (transport zenon_X64 zenon_X230))
% 2.68/2.89  ((skc7) != zenon_X123)
% 2.68/2.89  (entity zenon_X60 (skc7))
% 2.68/2.89  ((skc7) != zenon_X201)
% 2.68/2.89  (-. (hollywood_placename zenon_X2 zenon_X181))
% 2.68/2.89  (-. (barrel zenon_X50 zenon_X334))
% 2.68/2.89  (transport zenon_X26 (skc7))
% 2.68/2.89  (-. (transport zenon_X24 (skc7)))
% 2.68/2.89  (-. (vehicle zenon_X66 zenon_X430))
% 2.68/2.89  ((skc9) != zenon_X469)
% 2.68/2.89  ((skc8) != zenon_X468)
% 2.68/2.89  (artifact zenon_X60 (skc7))
% 2.68/2.89  ((skc7) != zenon_X95)
% 2.68/2.89  (specific zenon_X48 (skc9))
% 2.68/2.89  ((skc9) != zenon_X542)
% 2.68/2.89  ((skc9) != zenon_X512)
% 2.68/2.89  (-. (location zenon_X68 zenon_X279))
% 2.68/2.89  ((skc6) != zenon_X112)
% 2.68/2.89  (instrumentality zenon_X50 (skc7))
% 2.68/2.89  (zenon_X16 != zenon_X64)
% 2.68/2.89  (-. (entity zenon_X18 zenon_X164))
% 2.68/2.89  (-. (vehicle zenon_X48 zenon_X421))
% 2.68/2.89  (entity (skc5) (skc9))
% 2.68/2.89  (-. (event zenon_X60 zenon_X292))
% 2.68/2.89  (zenon_X14 != zenon_X24)
% 2.68/2.89  (-. (placename (skc5) zenon_X77))
% 2.68/2.89  (-. (existent zenon_X8 zenon_X149))
% 2.68/2.89  ((skc6) != zenon_X325)
% 2.68/2.89  ((skc6) != zenon_X65)
% 2.68/2.89  (placename (skc5) (skc8))
% 2.68/2.89  (general zenon_X44 (skc8))
% 2.68/2.89  (-. (hollywood_placename zenon_X68 zenon_X111))
% 2.68/2.89  ((skc9) != zenon_X140)
% 2.68/2.89  (-. (vehicle zenon_X24 zenon_X444))
% 2.68/2.89  ((skc7) != zenon_X53)
% 2.68/2.89  (car (skc5) (skc7))
% 2.68/2.89  (zenon_X58 != zenon_X68)
% 2.68/2.89  ((skc6) != (skc7))
% 2.68/2.89  (-. (placename zenon_X60 (skc8)))
% 2.68/2.89  ((skc9) != zenon_X175)
% 2.68/2.89  ((skc7) != zenon_X200)
% 2.68/2.89  (-. (barrel zenon_X24 zenon_X163))
% 2.68/2.89  ((skc9) != zenon_X127)
% 2.68/2.89  (-. (placename zenon_X24 zenon_X242))
% 2.68/2.89  (entity zenon_X26 (skc9))
% 2.68/2.89  (-. (instrumentality zenon_X58 zenon_X397))
% 2.68/2.89  (existent zenon_X62 (skc9))
% 2.68/2.89  (-. (general zenon_X8 (skc6)))
% 2.68/2.89  ((skc7) != zenon_X435)
% 2.68/2.89  (vehicle zenon_X56 (skc7))
% 2.68/2.89  ((skc9) != zenon_X200)
% 2.68/2.89  (zenon_X56 != zenon_X68)
% 2.68/2.89  (zenon_X52 != zenon_X56)
% 2.68/2.89  (zenon_X48 != zenon_X20)
% 2.68/2.89  ((skc9) != zenon_X414)
% 2.68/2.89  ((skc9) != zenon_X195)
% 2.68/2.89  (zenon_X26 != zenon_X58)
% 2.68/2.89  (-. (nonexistent zenon_X26 (skc7)))
% 2.68/2.89  (-. (entity zenon_X16 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X364)
% 2.68/2.89  ((skc9) != zenon_X410)
% 2.68/2.89  ((skc8) != zenon_X203)
% 2.68/2.89  (-. (event (skc5) zenon_X87))
% 2.68/2.89  (-. (existent zenon_X62 zenon_X225))
% 2.68/2.89  (-. (transport zenon_X8 zenon_X356))
% 2.68/2.89  (-. (entity zenon_X64 zenon_X218))
% 2.68/2.89  (-. (relation zenon_X38 zenon_X39))
% 2.68/2.89  (-. (general zenon_X54 (skc6)))
% 2.68/2.89  (-. (location zenon_X8 (skc7)))
% 2.68/2.89  (-. (chevy zenon_X64 zenon_X502))
% 2.68/2.89  (-. (entity zenon_X20 zenon_X75))
% 2.68/2.89  (specific zenon_X60 (skc6))
% 2.68/2.89  (zenon_X26 != zenon_X66)
% 2.68/2.89  ((skc6) != zenon_X377)
% 2.68/2.89  (-. (eventuality zenon_X64 zenon_X94))
% 2.68/2.89  (-. (specific zenon_X64 zenon_X65))
% 2.68/2.89  (-. (entity zenon_X52 zenon_X273))
% 2.68/2.89  ((skc9) != zenon_X539)
% 2.68/2.89  (-. (artifact zenon_X68 (skc9)))
% 2.68/2.89  (-. (artifact zenon_X26 zenon_X162))
% 2.68/2.89  ((skc8) != zenon_X447)
% 2.68/2.89  (-. (barrel zenon_X48 zenon_X128))
% 2.68/2.89  (object zenon_X48 (skc9))
% 2.68/2.89  (-. (barrel zenon_X58 zenon_X436))
% 2.68/2.89  (-. (instrumentality zenon_X2 (skc7)))
% 2.68/2.89  (specific zenon_X26 (skc6))
% 2.68/2.89  (-. (car zenon_X58 zenon_X556))
% 2.68/2.89  (zenon_X56 != zenon_X16)
% 2.68/2.89  (-. (placename zenon_X20 zenon_X73))
% 2.68/2.89  (-. (location zenon_X60 zenon_X365))
% 2.68/2.89  ((skc8) != zenon_X97)
% 2.68/2.89  (-. (entity zenon_X0 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X186)
% 2.68/2.89  (-. (nonexistent zenon_X64 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X96)
% 2.68/2.89  ((skc6) != zenon_X141)
% 2.68/2.89  (object zenon_X26 (skc9))
% 2.68/2.89  (-. (instrumentality zenon_X68 (skc7)))
% 2.68/2.89  (-. (car zenon_X20 zenon_X493))
% 2.68/2.89  ((skc7) != zenon_X452)
% 2.68/2.89  ((skc7) != zenon_X396)
% 2.68/2.89  ((skc7) != zenon_X116)
% 2.68/2.89  (-. (way (skc5) zenon_X234))
% 2.68/2.89  (-. (placename zenon_X48 zenon_X98))
% 2.68/2.89  (-. (specific zenon_X52 (skc9)))
% 2.68/2.89  (existent zenon_X56 (skc7))
% 2.68/2.89  ((skc9) != zenon_X523)
% 2.68/2.89  ((skc8) != zenon_X7)
% 2.68/2.89  (-. (specific zenon_X2 zenon_X104))
% 2.68/2.89  (-. (general zenon_X24 (skc6)))
% 2.68/2.89  (-. (placename zenon_X14 zenon_X371))
% 2.68/2.89  (-. (entity zenon_X66 zenon_X311))
% 2.68/2.89  (-. (specific zenon_X58 zenon_X391))
% 2.68/2.89  (-. (general zenon_X64 (skc9)))
% 2.68/2.89  ((skc7) != zenon_X194)
% 2.68/2.89  (zenon_X16 != zenon_X20)
% 2.68/2.89  ((skc9) != zenon_X31)
% 2.68/2.89  (object zenon_X20 (skc7))
% 2.68/2.89  ((skc6) != zenon_X137)
% 2.68/2.89  (-. (city zenon_X66 zenon_X323))
% 2.68/2.89  (in (skc5) (skc6) (skc7))
% 2.68/2.89  (-. (object zenon_X2 zenon_X123))
% 2.68/2.89  (specific zenon_X48 (skc7))
% 2.68/2.89  ((skc8) != zenon_X185)
% 2.68/2.89  (zenon_X56 != zenon_X66)
% 2.68/2.89  ((skc6) != zenon_X292)
% 2.68/2.89  ((skc7) != zenon_X267)
% 2.68/2.89  ((skc8) != zenon_X511)
% 2.68/2.89  (-. (object zenon_X16 zenon_X240))
% 2.68/2.89  (-. (placename zenon_X18 (skc8)))
% 2.68/2.89  ((skc9) != zenon_X223)
% 2.68/2.89  ((skc7) != zenon_X102)
% 2.68/2.89  ((skc5) != zenon_X8)
% 2.68/2.89  (-. (general zenon_X62 (skc7)))
% 2.68/2.89  (-. (street zenon_X18 zenon_X515))
% 2.68/2.89  ((skc7) != zenon_X496)
% 2.68/2.89  (-. (entity zenon_X24 zenon_X324))
% 2.68/2.89  (-. (entity zenon_X16 zenon_X233))
% 2.68/2.89  (existent zenon_X16 (skc9))
% 2.68/2.89  (specific zenon_X20 (skc9))
% 2.68/2.89  (entity zenon_X64 (skc9))
% 2.68/2.89  (-. (object zenon_X16 (skc7)))
% 2.68/2.89  (existent zenon_X66 (skc9))
% 2.68/2.89  ((skc8) != zenon_X378)
% 2.68/2.89  (object zenon_X14 (skc9))
% 2.68/2.89  ((skc9) != zenon_X229)
% 2.68/2.89  (zenon_X16 != zenon_X48)
% 2.68/2.89  (zenon_X50 != zenon_X62)
% 2.68/2.89  ((skc9) != zenon_X88)
% 2.68/2.89  (-. (entity zenon_X24 zenon_X245))
% 2.68/2.89  (-. (way zenon_X20 zenon_X221))
% 2.68/2.89  (zenon_X14 != zenon_X54)
% 2.68/2.89  (-. (transport zenon_X0 (skc7)))
% 2.68/2.89  (zenon_X2 != zenon_X48)
% 2.68/2.89  (-. (placename zenon_X66 zenon_X203))
% 2.68/2.89  (transport zenon_X62 (skc7))
% 2.68/2.89  (zenon_X24 != zenon_X62)
% 2.68/2.89  (existent zenon_X26 (skc9))
% 2.68/2.89  (-. (existent zenon_X0 zenon_X191))
% 2.68/2.89  (-. (hollywood_placename zenon_X16 zenon_X265))
% 2.68/2.89  ((skc5) != zenon_X68)
% 2.68/2.89  ((skc7) != zenon_X384)
% 2.68/2.89  ((skc9) != zenon_X364)
% 2.68/2.89  (zenon_X50 != zenon_X56)
% 2.68/2.89  (-. (existent zenon_X18 zenon_X143))
% 2.68/2.89  (barrel (skc5) (skc6))
% 2.68/2.89  (existent zenon_X18 (skc7))
% 2.68/2.89  (-. (city zenon_X56 zenon_X507))
% 2.68/2.89  (zenon_X14 != zenon_X16)
% 2.68/2.89  ((skc8) != zenon_X541)
% 2.68/2.89  ((skc9) != zenon_X100)
% 2.68/2.89  ((skc6) != zenon_X124)
% 2.68/2.89  (zenon_X54 != zenon_X52)
% 2.68/2.89  (-. (location zenon_X0 zenon_X231))
% 2.68/2.89  ((skc7) != zenon_X126)
% 2.68/2.89  (instrumentality zenon_X52 (skc7))
% 2.68/2.89  ((skc9) != zenon_X544)
% 2.68/2.89  (-. (eventuality zenon_X10 zenon_X11))
% 2.68/2.89  (-. (artifact zenon_X2 (skc9)))
% 2.68/2.89  (zenon_X18 != zenon_X48)
% 2.68/2.89  (-. (entity zenon_X52 (skc9)))
% 2.68/2.89  (zenon_X24 != zenon_X18)
% 2.68/2.89  ((skc7) != zenon_X387)
% 2.68/2.89  (zenon_X26 != zenon_X16)
% 2.68/2.89  ((skc7) != zenon_X557)
% 2.68/2.89  ((skc7) != zenon_X501)
% 2.68/2.89  (lonely (skc5) (skc9))
% 2.68/2.89  ((skc9) != zenon_X99)
% 2.68/2.89  ((skc7) != zenon_X104)
% 2.68/2.89  (placename zenon_X26 (skc8))
% 2.68/2.89  ((skc8) != zenon_X73)
% 2.68/2.89  ((skc7) != zenon_X393)
% 2.68/2.89  ((skc7) != zenon_X356)
% 2.68/2.89  ((skc7) != zenon_X133)
% 2.68/2.89  (specific zenon_X18 (skc9))
% 2.68/2.89  ((skc9) != zenon_X139)
% 2.68/2.89  ((skc7) != zenon_X176)
% 2.68/2.89  (-. (location zenon_X50 zenon_X236))
% 2.68/2.89  (vehicle zenon_X14 (skc7))
% 2.68/2.89  ((skc7) != zenon_X559)
% 2.68/2.89  (-. (way zenon_X50 zenon_X336))
% 2.68/2.89  ((skc7) != zenon_X331)
% 2.68/2.89  (existent zenon_X54 (skc9))
% 2.68/2.89  (-. (instrumentality zenon_X26 zenon_X370))
% 2.68/2.89  ((skc8) != zenon_X242)
% 2.68/2.89  (transport zenon_X56 (skc7))
% 2.68/2.89  ((skc9) != zenon_X15)
% 2.68/2.89  ((skc8) != zenon_X47)
% 2.68/2.89  (-. (entity zenon_X56 zenon_X539))
% 2.68/2.89  (-. (artifact zenon_X52 (skc9)))
% 2.68/2.89  (-. (transport zenon_X8 (skc7)))
% 2.68/2.89  (-. (entity zenon_X48 zenon_X100))
% 2.68/2.89  (specific zenon_X56 (skc6))
% 2.68/2.89  (-. (nonexistent zenon_X48 (skc7)))
% 2.68/2.89  ((skc9) != zenon_X89)
% 2.68/2.89  (-. (location zenon_X26 zenon_X232))
% 2.68/2.89  (-. (object zenon_X48 zenon_X95))
% 2.68/2.89  (object zenon_X64 (skc9))
% 2.68/2.89  (-. (existent zenon_X68 (skc9)))
% 2.68/2.89  ((skc8) != zenon_X471)
% 2.68/2.89  (-. (entity zenon_X48 zenon_X110))
% 2.68/2.89  (-. (general zenon_X14 (skc9)))
% 2.68/2.89  (zenon_X56 != zenon_X60)
% 2.68/2.89  (object (skc5) (skc9))
% 2.68/2.89  (zenon_X14 != zenon_X58)
% 2.68/2.89  ((skc7) != zenon_X493)
% 2.68/2.89  (-. (thing zenon_X6 zenon_X7))
% 2.68/2.89  (-. (general zenon_X26 (skc9)))
% 2.68/2.89  (-. (specific zenon_X8 zenon_X96))
% 2.68/2.89  ((skc9) != zenon_X84)
% 2.68/2.89  ((skc7) != zenon_X405)
% 2.68/2.89  (-. (street zenon_X24 zenon_X383))
% 2.68/2.89  (-. (entity zenon_X52 zenon_X237))
% 2.68/2.89  (specific zenon_X8 (skc6))
% 2.68/2.89  ((skc8) != zenon_X80)
% 2.68/2.89  (-. (general zenon_X24 (skc9)))
% 2.68/2.89  (-. (specific zenon_X24 zenon_X157))
% 2.68/2.89  (-. (location (skc5) zenon_X224))
% 2.68/2.89  ((skc7) != zenon_X309)
% 2.68/2.89  (-. (general zenon_X66 (skc6)))
% 2.68/2.89  ((skc7) != zenon_X256)
% 2.68/2.89  (instrumentality zenon_X26 (skc7))
% 2.68/2.89  ((skc7) != zenon_X57)
% 2.68/2.89  ((skc6) != zenon_X417)
% 2.68/2.89  (city (skc5) (skc7))
% 2.68/2.89  (-. (entity zenon_X26 zenon_X27))
% 2.68/2.89  ((skc7) != zenon_X65)
% 2.68/2.89  ((skc7) != zenon_X347)
% 2.68/2.89  (-. (object zenon_X30 zenon_X31))
% 2.68/2.89  ((skc7) != zenon_X100)
% 2.68/2.89  (-. (artifact zenon_X66 zenon_X188))
% 2.68/2.89  (zenon_X8 != zenon_X64)
% 2.68/2.89  (-. (hollywood_placename zenon_X48 zenon_X49))
% 2.68/2.89  (-. (specific zenon_X56 zenon_X406))
% 2.68/2.89  (-. (entity zenon_X58 zenon_X533))
% 2.68/2.89  (-. (way zenon_X26 zenon_X358))
% 2.68/2.89  (-. (entity zenon_X66 zenon_X204))
% 2.68/2.89  (zenon_X54 != zenon_X8)
% 2.68/2.89  (-. (entity zenon_X16 zenon_X362))
% 2.68/2.89  (-. (way zenon_X24 zenon_X338))
% 2.68/2.89  ((skc9) != zenon_X521)
% 2.68/2.89  ((skc7) != zenon_X349)
% 2.68/2.89  (-. (eventuality zenon_X68 (skc6)))
% 2.68/2.89  (zenon_X60 != zenon_X48)
% 2.68/2.89  (zenon_X50 != zenon_X54)
% 2.68/2.89  ((skc7) != zenon_X301)
% 2.68/2.89  (-. (transport zenon_X62 zenon_X359))
% 2.68/2.89  ((skc7) != zenon_X99)
% 2.68/2.89  (zenon_X60 != zenon_X68)
% 2.68/2.89  (-. (car zenon_X68 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X298)
% 2.68/2.89  ((skc9) != zenon_X33)
% 2.68/2.89  ((skc6) != zenon_X332)
% 2.68/2.89  (zenon_X58 != zenon_X16)
% 2.68/2.89  ((skc9) != zenon_X157)
% 2.68/2.89  (-. (artifact zenon_X8 zenon_X127))
% 2.68/2.89  (zenon_X48 != zenon_X54)
% 2.68/2.89  (specific zenon_X62 (skc6))
% 2.68/2.89  (zenon_X50 != zenon_X18)
% 2.68/2.89  ((skc7) != zenon_X302)
% 2.68/2.89  (-. (entity zenon_X64 zenon_X195))
% 2.68/2.89  ((skc6) != zenon_X524)
% 2.68/2.89  (-. (specific zenon_X14 zenon_X387))
% 2.68/2.89  (-. (transport zenon_X52 zenon_X366))
% 2.68/2.89  (-. (specific zenon_X48 zenon_X106))
% 2.68/2.89  (existent zenon_X54 (skc7))
% 2.68/2.89  (-. (general zenon_X58 (skc7)))
% 2.68/2.89  (-. (car zenon_X8 zenon_X498))
% 2.68/2.89  (specific zenon_X24 (skc9))
% 2.68/2.89  (zenon_X24 != zenon_X66)
% 2.68/2.89  (specific zenon_X16 (skc6))
% 2.68/2.89  (existent zenon_X52 (skc7))
% 2.68/2.89  ((skc7) != zenon_X549)
% 2.68/2.89  (-. (event zenon_X16 zenon_X283))
% 2.68/2.89  (-. (placename zenon_X14 zenon_X511))
% 2.68/2.89  (-. (location zenon_X14 zenon_X405))
% 2.68/2.89  (-. (street zenon_X8 zenon_X350))
% 2.68/2.89  ((skc8) != zenon_X37)
% 2.68/2.89  (zenon_X54 != zenon_X20)
% 2.68/2.89  (zenon_X62 != zenon_X48)
% 2.68/2.89  (eventuality zenon_X2 (skc6))
% 2.68/2.89  (unisex zenon_X32 (skc7))
% 2.68/2.89  ((skc7) != zenon_X88)
% 2.68/2.89  ((skc6) != zenon_X11)
% 2.68/2.89  (-. (placename zenon_X52 zenon_X346))
% 2.68/2.89  (-. (instrumentality zenon_X68 zenon_X256))
% 2.68/2.89  (-. (entity zenon_X58 zenon_X450))
% 2.68/2.89  (-. (vehicle zenon_X68 zenon_X394))
% 2.68/2.89  (-. (transport zenon_X18 zenon_X416))
% 2.68/2.89  ((skc7) != zenon_X512)
% 2.68/2.89  (-. (entity zenon_X64 zenon_X83))
% 2.68/2.89  (-. (object zenon_X68 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X446)
% 2.68/2.89  (-. (eventuality zenon_X60 zenon_X345))
% 2.68/2.89  (-. (city zenon_X2 zenon_X263))
% 2.68/2.89  (dirty (skc5) (skc7))
% 2.68/2.89  (zenon_X56 != zenon_X64)
% 2.68/2.89  (-. (placename zenon_X50 zenon_X314))
% 2.68/2.89  ((skc9) != zenon_X324)
% 2.68/2.89  ((skc7) != zenon_X373)
% 2.68/2.89  (zenon_X14 != zenon_X68)
% 2.68/2.89  (-. (vehicle zenon_X0 zenon_X453))
% 2.68/2.89  ((skc7) != zenon_X31)
% 2.68/2.89  (-. (object zenon_X64 (skc7)))
% 2.68/2.89  (placename zenon_X2 (skc8))
% 2.68/2.89  ((skc7) != zenon_X388)
% 2.68/2.89  (object zenon_X16 (skc9))
% 2.68/2.89  (-. (general zenon_X2 (skc6)))
% 2.68/2.89  (-. (city zenon_X58 zenon_X422))
% 2.68/2.89  ((skc8) != zenon_X291)
% 2.68/2.89  (placename zenon_X50 (skc8))
% 2.68/2.89  (-. (artifact zenon_X58 zenon_X425))
% 2.68/2.89  ((skc7) != zenon_X85)
% 2.68/2.89  ((skc6) != zenon_X436)
% 2.68/2.89  ((skc6) != zenon_X344)
% 2.68/2.89  (-. (vehicle zenon_X60 zenon_X443))
% 2.68/2.89  (-. (entity zenon_X14 zenon_X374))
% 2.68/2.89  (nonliving zenon_X28 (skc7))
% 2.68/2.89  (zenon_X2 != zenon_X20)
% 2.68/2.89  (-. (object zenon_X0 (skc9)))
% 2.68/2.89  (-. (placename zenon_X26 zenon_X468))
% 2.68/2.89  (unisex zenon_X32 (skc9))
% 2.68/2.89  (-. (car zenon_X16 zenon_X514))
% 2.68/2.89  ((skc6) != zenon_X96)
% 2.68/2.89  ((skc6) != zenon_X142)
% 2.68/2.89  (-. (specific zenon_X68 (skc6)))
% 2.68/2.89  (-. (nonexistent zenon_X54 (skc9)))
% 2.68/2.89  (zenon_X58 != zenon_X18)
% 2.68/2.89  (-. (artifact zenon_X52 zenon_X298))
% 2.68/2.89  (-. (vehicle zenon_X58 zenon_X59))
% 2.68/2.89  ((skc6) != zenon_X94)
% 2.68/2.89  (specific zenon_X62 (skc9))
% 2.68/2.89  (-. (entity zenon_X58 (skc9)))
% 2.68/2.89  (-. (instrumentality zenon_X62 zenon_X63))
% 2.68/2.89  (object zenon_X50 (skc9))
% 2.68/2.89  (-. (city zenon_X50 zenon_X51))
% 2.68/2.89  (-. (existent zenon_X58 zenon_X419))
% 2.68/2.89  ((skc8) != zenon_X268)
% 2.68/2.89  ((skc6) != zenon_X173)
% 2.68/2.89  (artifact zenon_X62 (skc9))
% 2.68/2.89  (-. (eventuality zenon_X24 zenon_X121))
% 2.68/2.89  (entity zenon_X56 (skc9))
% 2.68/2.89  (-. (barrel zenon_X52 zenon_X332))
% 2.68/2.89  ((skc7) != zenon_X277)
% 2.68/2.89  (-. (chevy zenon_X50 zenon_X525))
% 2.68/2.89  (-. (eventuality zenon_X8 zenon_X9))
% 2.68/2.89  ((skc7) != zenon_X167)
% 2.68/2.89  (zenon_X26 != zenon_X8)
% 2.68/2.89  (zenon_X54 != zenon_X16)
% 2.68/2.89  (specific zenon_X58 (skc7))
% 2.68/2.89  ((skc7) != zenon_X151)
% 2.68/2.89  ((skc9) != zenon_X222)
% 2.68/2.89  (-. (transport zenon_X16 zenon_X367))
% 2.68/2.89  (zenon_X14 != zenon_X56)
% 2.68/2.89  ((skc9) != zenon_X130)
% 2.68/2.89  (entity zenon_X16 (skc9))
% 2.68/2.89  (entity zenon_X62 (skc9))
% 2.68/2.89  (-. (event zenon_X68 zenon_X178))
% 2.68/2.89  (-. (nonexistent (skc5) (skc9)))
% 2.68/2.89  (zenon_X14 != zenon_X66)
% 2.68/2.89  (-. (general zenon_X16 (skc6)))
% 2.68/2.89  (-. (existent zenon_X56 zenon_X441))
% 2.68/2.89  ((skc9) != zenon_X266)
% 2.68/2.89  (-. (car zenon_X66 zenon_X475))
% 2.68/2.89  (entity zenon_X48 (skc9))
% 2.68/2.89  (-. (object zenon_X18 zenon_X158))
% 2.68/2.89  (zenon_X66 != zenon_X68)
% 2.68/2.89  (specific zenon_X24 (skc6))
% 2.68/2.89  (placename zenon_X14 (skc8))
% 2.68/2.89  ((skc6) != zenon_X147)
% 2.68/2.89  (-. (nonexistent zenon_X18 (skc7)))
% 2.68/2.89  (-. (object zenon_X2 (skc9)))
% 2.68/2.89  (-. (entity zenon_X0 zenon_X213))
% 2.68/2.89  (-. (general zenon_X20 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X259)
% 2.68/2.89  (-. (existent zenon_X66 (skc7)))
% 2.68/2.89  (-. (object zenon_X58 zenon_X423))
% 2.68/2.89  (-. (eventuality zenon_X20 (skc6)))
% 2.68/2.89  (entity zenon_X52 (skc7))
% 2.68/2.89  ((skc9) != zenon_X450)
% 2.68/2.89  (vehicle zenon_X48 (skc7))
% 2.68/2.89  (placename zenon_X48 (skc8))
% 2.68/2.89  (zenon_X16 != zenon_X8)
% 2.68/2.89  ((skc6) != zenon_X406)
% 2.68/2.89  (-. (city zenon_X8 zenon_X271))
% 2.68/2.89  (-. (entity zenon_X24 zenon_X247))
% 2.68/2.89  ((skc6) != zenon_X192)
% 2.68/2.89  (zenon_X54 != zenon_X58)
% 2.68/2.89  ((skc6) != zenon_X289)
% 2.68/2.89  ((skc9) != zenon_X253)
% 2.68/2.89  ((skc8) != zenon_X49)
% 2.68/2.89  (artifact (skc5) (skc7))
% 2.68/2.89  (-. (chevy zenon_X58 zenon_X558))
% 2.68/2.89  ((skc9) != zenon_X406)
% 2.68/2.89  (zenon_X50 != zenon_X52)
% 2.68/2.89  ((skc7) != zenon_X458)
% 2.68/2.89  ((skc9) != zenon_X508)
% 2.68/2.89  ((skc7) != zenon_X531)
% 2.68/2.89  (zenon_X0 != zenon_X48)
% 2.68/2.89  ((skc7) != zenon_X425)
% 2.68/2.89  ((skc8) != zenon_X35)
% 2.68/2.89  (-. (nonexistent zenon_X50 (skc7)))
% 2.68/2.89  (-. (specific zenon_X52 zenon_X223))
% 2.68/2.89  ((skc7) != zenon_X539)
% 2.68/2.89  (zenon_X58 != zenon_X20)
% 2.68/2.89  (zenon_X56 != zenon_X8)
% 2.68/2.89  (street (skc5) (skc9))
% 2.68/2.89  (zenon_X18 != zenon_X20)
% 2.68/2.89  ((skc7) != zenon_X23)
% 2.68/2.89  (zenon_X20 != zenon_X66)
% 2.68/2.89  (zenon_X66 != zenon_X64)
% 2.68/2.89  (zenon_X56 != zenon_X20)
% 2.68/2.89  ((skc9) != zenon_X337)
% 2.68/2.89  (-. (car zenon_X0 zenon_X490))
% 2.68/2.89  (-. (instrumentality zenon_X14 zenon_X516))
% 2.68/2.89  ((skc9) != (skc7))
% 2.68/2.89  (transport zenon_X14 (skc7))
% 2.68/2.89  (-. (general zenon_X18 (skc9)))
% 2.68/2.89  (-. (vehicle zenon_X2 zenon_X431))
% 2.68/2.89  (-. (street zenon_X14 zenon_X15))
% 2.68/2.89  (-. (eventuality zenon_X64 (skc6)))
% 2.68/2.89  (zenon_X26 != zenon_X0)
% 2.68/2.89  (-. (nonexistent zenon_X56 (skc7)))
% 2.68/2.89  (-. (existent zenon_X26 zenon_X88))
% 2.68/2.89  (-. (existent zenon_X64 zenon_X190))
% 2.68/2.89  (-. (hollywood_placename zenon_X64 zenon_X105))
% 2.68/2.89  ((skc6) != zenon_X222)
% 2.68/2.89  ((skc7) != zenon_X366)
% 2.68/2.89  ((skc9) != zenon_X376)
% 2.68/2.89  (-. (car zenon_X66 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X230)
% 2.68/2.89  ((skc7) != zenon_X374)
% 2.68/2.89  (nonhuman zenon_X42 (skc8))
% 2.68/2.89  ((skc7) != zenon_X438)
% 2.68/2.89  ((skc7) != zenon_X75)
% 2.68/2.89  (-. (nonexistent zenon_X14 (skc7)))
% 2.68/2.89  ((skc6) != zenon_X118)
% 2.68/2.89  (-. (existent zenon_X2 (skc9)))
% 2.68/2.89  (zenon_X18 != zenon_X60)
% 2.68/2.89  (-. (vehicle zenon_X66 (skc7)))
% 2.68/2.89  ((skc7) != zenon_X553)
% 2.68/2.89  (-. (specific zenon_X62 zenon_X200))
% 2.68/2.89  (artifact zenon_X14 (skc7))
% 2.68/2.89  *)
% 2.68/2.89  (* NO-PROOF *)
% 2.68/2.89  % SZS status GaveUp
% 2.68/2.89  Number of rewrites on terms: 0
% 2.68/2.89  Number of rewrites on props: 0
% 2.68/2.89  nodes searched: 103920
% 2.68/2.89  max branch formulas: 2974
% 2.68/2.89  proof nodes created: 3873
% 2.68/2.89  formulas created: 116959
% 2.68/2.89  
%------------------------------------------------------------------------------