ZenonModulo---0.5.0.UNK-Non.f

%------------------------------------------------------------------------------
% File     : ZenonModulo---0.5.0
% Problem  : NLP042-1 : TPTP v8.2.0. Released v2.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_zenon_modulo %d %s

% Computer : n016.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:11 EDT 2024

% Result   : Unknown 23.30s 23.68s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : NLP042-1 : TPTP v8.2.0. Released v2.4.0.
% 0.07/0.12  % Command  : run_zenon_modulo %d %s
% 0.13/0.33  % Computer : n016.cluster.edu
% 0.13/0.33  % Model    : x86_64 x86_64
% 0.13/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33  % Memory   : 8042.1875MB
% 0.13/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33  % CPULimit : 300
% 0.13/0.33  % WCLimit  : 300
% 0.13/0.33  % DateTime : Sat Jun 22 23:36:09 EDT 2024
% 0.13/0.33  % CPUTime  : 
% 23.30/23.67  Zenon error: exhausted search space without finding a proof
% 23.30/23.67  (* Current branch:
% 23.30/23.67  (-. (nonhuman zenon_X58 zenon_X578))
% 23.30/23.67  (-. (nonliving zenon_X68 zenon_X1196))
% 23.30/23.67  (singleton zenon_X8 (skc8))
% 23.30/23.67  (-. (eventuality zenon_X52 zenon_X128))
% 23.30/23.67  (-. (order zenon_X20 zenon_X678))
% 23.30/23.67  (-. (entity zenon_X18 zenon_X1107))
% 23.30/23.67  (-. (forename zenon_X22 zenon_X347))
% 23.30/23.67  (-. (order zenon_X48 zenon_X915))
% 23.30/23.67  (-. (eventuality zenon_X52 zenon_X622))
% 23.30/23.67  (-. (substance_matter zenon_X34 zenon_X957))
% 23.30/23.67  ((skc7) != zenon_X458)
% 23.30/23.67  (-. (human zenon_X76 (skc8)))
% 23.30/23.67  (unisex zenon_X44 (skc8))
% 23.30/23.67  ((skc8) != zenon_X1077)
% 23.30/23.67  (-. (shake_beverage zenon_X60 zenon_X723))
% 23.30/23.67  (-. (general (skc5) (skc9)))
% 23.30/23.67  (-. (human_person zenon_X2 zenon_X456))
% 23.30/23.67  (zenon_X24 != zenon_X30)
% 23.30/23.67  (zenon_X0 != zenon_X22)
% 23.30/23.67  (relation zenon_X42 (skc8))
% 23.30/23.67  (zenon_X48 != zenon_X32)
% 23.30/23.67  ((skc8) != zenon_X45)
% 23.30/23.67  (-. (woman zenon_X0 zenon_X677))
% 23.30/23.67  (-. (order zenon_X48 zenon_X801))
% 23.30/23.67  ((skc8) != zenon_X1068)
% 23.30/23.67  (-. (unisex zenon_X30 zenon_X953))
% 23.30/23.67  (zenon_X82 != zenon_X10)
% 23.30/23.67  (zenon_X87 != zenon_X16)
% 23.30/23.67  (-. (entity zenon_X42 zenon_X1020))
% 23.30/23.67  ((skc9) != zenon_X233)
% 23.30/23.67  (-. (nonexistent zenon_X20 (skc9)))
% 23.30/23.67  ((skc8) != zenon_X393)
% 23.30/23.67  (-. (entity zenon_X32 zenon_X535))
% 23.30/23.67  ((skc9) != zenon_X307)
% 23.30/23.67  (nonhuman zenon_X52 (skc8))
% 23.30/23.67  (-. (relation (skc5) zenon_X202))
% 23.30/23.67  (-. (eventuality zenon_X26 zenon_X544))
% 23.30/23.67  ((skc7) != zenon_X314)
% 23.30/23.67  (-. (eventuality zenon_X68 zenon_X1200))
% 23.30/23.67  (zenon_X32 != zenon_X44)
% 23.30/23.67  (existent zenon_X52 (skc9))
% 23.30/23.67  ((skc8) != zenon_X890)
% 23.30/23.67  (-. (animate zenon_X18 (skc9)))
% 23.30/23.67  (-. (specific zenon_X80 zenon_X996))
% 23.30/23.67  (forename zenon_X26 (skc8))
% 23.30/23.67  (zenon_X32 != zenon_X24)
% 23.30/23.67  (zenon_X26 != zenon_X34)
% 23.30/23.67  (-. (eventuality zenon_X14 zenon_X15))
% 23.30/23.67  ((skc9) != zenon_X704)
% 23.30/23.67  (zenon_X34 != zenon_X54)
% 23.30/23.67  (zenon_X58 != zenon_X87)
% 23.30/23.67  (-. (shake_beverage zenon_X14 zenon_X770))
% 23.30/23.67  (-. (beverage zenon_X54 zenon_X793))
% 23.30/23.67  ((skc9) != zenon_X1107)
% 23.30/23.67  ((skc9) != zenon_X649)
% 23.30/23.67  (unisex zenon_X18 (skc8))
% 23.30/23.67  (-. (beverage zenon_X58 zenon_X858))
% 23.30/23.67  (zenon_X48 != zenon_X78)
% 23.30/23.67  (-. (abstraction zenon_X48 zenon_X49))
% 23.30/23.67  (zenon_X4 != zenon_X52)
% 23.30/23.67  ((skc9) != zenon_X280)
% 23.30/23.67  (-. (living zenon_X18 (skc7)))
% 23.30/23.67  ((skc9) != zenon_X333)
% 23.30/23.67  (-. (shake_beverage zenon_X2 zenon_X988))
% 23.30/23.67  ((skc9) != zenon_X650)
% 23.30/23.67  (eventuality (skc5) (skc6))
% 23.30/23.67  ((skc7) != zenon_X228)
% 23.30/23.67  ((skc9) != zenon_X65)
% 23.30/23.67  (-. (entity zenon_X0 zenon_X761))
% 23.30/23.67  (zenon_X87 != zenon_X72)
% 23.30/23.67  (zenon_X44 != zenon_X52)
% 23.30/23.67  ((skc8) != zenon_X1009)
% 23.30/23.67  ((skc9) != zenon_X587)
% 23.30/23.67  (zenon_X48 != zenon_X74)
% 23.30/23.67  ((skc6) != zenon_X1188)
% 23.30/23.67  (-. (forename zenon_X30 zenon_X1063))
% 23.30/23.67  (-. (unisex zenon_X14 zenon_X129))
% 23.30/23.67  ((skc8) != zenon_X269)
% 23.30/23.67  (zenon_X26 != zenon_X10)
% 23.30/23.67  ((skc5) != zenon_X30)
% 23.30/23.67  ((skc7) != zenon_X604)
% 23.30/23.67  (-. (nonliving zenon_X56 zenon_X1007))
% 23.30/23.67  ((skc7) != zenon_X39)
% 23.30/23.67  (-. (nonhuman zenon_X10 zenon_X621))
% 23.30/23.67  (-. (entity zenon_X78 zenon_X519))
% 23.30/23.67  ((skc8) != zenon_X202)
% 23.30/23.67  (-. (event zenon_X4 zenon_X5))
% 23.30/23.67  (-. (unisex zenon_X26 zenon_X715))
% 23.30/23.67  (organism zenon_X54 (skc9))
% 23.30/23.67  (nonhuman zenon_X56 (skc8))
% 23.30/23.67  (zenon_X18 != zenon_X58)
% 23.30/23.67  (-. (human_person zenon_X80 zenon_X1195))
% 23.30/23.67  (-. (object zenon_X40 zenon_X351))
% 23.30/23.67  (-. (object zenon_X30 zenon_X833))
% 23.30/23.67  (-. (entity zenon_X54 zenon_X173))
% 23.30/23.67  (-. (woman zenon_X4 zenon_X717))
% 23.30/23.67  (relname zenon_X42 (skc8))
% 23.30/23.67  (living zenon_X64 (skc9))
% 23.30/23.67  (zenon_X38 != zenon_X60)
% 23.30/23.67  ((skc9) != zenon_X1123)
% 23.30/23.67  (-. (human_person zenon_X24 zenon_X479))
% 23.30/23.67  ((skc9) != zenon_X874)
% 23.30/23.67  (-. (event zenon_X54 zenon_X357))
% 23.30/23.67  (zenon_X20 != zenon_X87)
% 23.30/23.67  (zenon_X20 != zenon_X72)
% 23.30/23.67  ((skc7) != zenon_X616)
% 23.30/23.67  (-. (relation zenon_X76 zenon_X454))
% 23.30/23.67  (unisex (skc5) (skc6))
% 23.30/23.67  (-. (nonexistent zenon_X82 (skc7)))
% 23.30/23.67  ((skc7) != zenon_X482)
% 23.30/23.67  ((skc8) != zenon_X523)
% 23.30/23.67  (-. (unisex zenon_X0 zenon_X766))
% 23.30/23.67  (zenon_X40 != zenon_X16)
% 23.30/23.67  (zenon_X60 != zenon_X34)
% 23.30/23.67  (-. (existent zenon_X26 zenon_X360))
% 23.30/23.67  (unisex zenon_X42 (skc7))
% 23.30/23.67  ((skc6) != zenon_X465)
% 23.30/23.67  (-. (human zenon_X26 (skc8)))
% 23.30/23.67  (-. (nonhuman zenon_X30 zenon_X571))
% 23.30/23.67  (organism zenon_X26 (skc9))
% 23.30/23.67  (zenon_X82 != zenon_X16)
% 23.30/23.67  (abstraction zenon_X44 (skc8))
% 23.30/23.67  (-. (female zenon_X16 (skc6)))
% 23.30/23.67  (-. (substance_matter zenon_X54 zenon_X497))
% 23.30/23.67  ((skc8) != zenon_X256)
% 23.30/23.67  (-. (act zenon_X2 zenon_X3))
% 23.30/23.67  (-. (beverage zenon_X32 zenon_X860))
% 23.30/23.67  ((skc7) != zenon_X851)
% 23.30/23.67  (-. (existent zenon_X2 zenon_X746))
% 23.30/23.67  (zenon_X2 != zenon_X40)
% 23.30/23.67  (zenon_X82 != zenon_X4)
% 23.30/23.67  (-. (specific zenon_X52 zenon_X394))
% 23.30/23.67  (zenon_X48 != zenon_X54)
% 23.30/23.67  (entity zenon_X32 (skc7))
% 23.30/23.67  (-. (food zenon_X78 zenon_X547))
% 23.30/23.67  (-. (eventuality zenon_X2 zenon_X504))
% 23.30/23.67  (zenon_X42 != zenon_X16)
% 23.30/23.67  (specific zenon_X52 (skc7))
% 23.30/23.67  (nonhuman zenon_X60 (skc8))
% 23.30/23.67  (-. (eventuality zenon_X60 zenon_X208))
% 23.30/23.67  (zenon_X26 != zenon_X54)
% 23.30/23.67  (-. (beverage zenon_X4 zenon_X568))
% 23.30/23.67  (zenon_X10 != zenon_X52)
% 23.30/23.67  (-. (abstraction zenon_X74 zenon_X1013))
% 23.30/23.67  (unisex zenon_X26 (skc7))
% 23.30/23.67  ((skc9) != zenon_X472)
% 23.30/23.67  ((skc7) != zenon_X415)
% 23.30/23.67  ((skc7) != zenon_X186)
% 23.30/23.67  (-. (specific zenon_X56 zenon_X737))
% 23.30/23.67  ((skc7) != zenon_X716)
% 23.30/23.67  ((skc7) != zenon_X27)
% 23.30/23.67  (zenon_X0 != zenon_X78)
% 23.30/23.67  (-. (entity zenon_X80 zenon_X242))
% 23.30/23.67  (human_person zenon_X42 (skc9))
% 23.30/23.67  (-. (forename zenon_X44 zenon_X1070))
% 23.30/23.67  (-. (object zenon_X87 zenon_X254))
% 23.30/23.67  (-. (abstraction zenon_X14 zenon_X269))
% 23.30/23.67  (-. (abstraction zenon_X72 zenon_X787))
% 23.30/23.67  (-. (nonhuman zenon_X82 (skc8)))
% 23.30/23.67  ((skc6) != zenon_X300)
% 23.30/23.67  (abstraction zenon_X54 (skc8))
% 23.30/23.67  (zenon_X32 != zenon_X82)
% 23.30/23.67  (-. (substance_matter zenon_X40 zenon_X1056))
% 23.30/23.67  (zenon_X44 != zenon_X16)
% 23.30/23.67  (-. (general zenon_X74 (skc7)))
% 23.30/23.67  (zenon_X56 != zenon_X87)
% 23.30/23.67  (-. (nonexistent zenon_X72 (skc9)))
% 23.30/23.67  (actual_world (skc5))
% 23.30/23.67  ((skc7) != zenon_X515)
% 23.30/23.67  (-. (mia_forename zenon_X42 zenon_X673))
% 23.30/23.67  (-. (woman zenon_X22 zenon_X656))
% 23.30/23.67  (-. (mia_forename zenon_X0 (skc8)))
% 23.30/23.67  ((skc7) != zenon_X763)
% 23.30/23.67  ((skc7) != zenon_X1053)
% 23.30/23.67  (zenon_X40 != zenon_X76)
% 23.30/23.67  (-. (eventuality zenon_X54 (skc6)))
% 23.30/23.67  (-. (organism zenon_X87 (skc9)))
% 23.30/23.67  (-. (relname zenon_X4 zenon_X455))
% 23.30/23.67  (-. (organism zenon_X10 (skc9)))
% 23.30/23.67  (-. (beverage zenon_X80 zenon_X1005))
% 23.30/23.67  (-. (food zenon_X72 zenon_X458))
% 23.30/23.67  ((skc7) != zenon_X468)
% 23.30/23.67  ((skc9) != zenon_X1141)
% 23.30/23.67  ((skc7) != zenon_X125)
% 23.30/23.67  (-. (general zenon_X38 (skc9)))
% 23.30/23.67  (-. (mia_forename zenon_X54 zenon_X55))
% 23.30/23.67  (zenon_X0 != zenon_X30)
% 23.30/23.67  (-. (relation zenon_X74 zenon_X980))
% 23.30/23.67  (-. (abstraction zenon_X10 zenon_X827))
% 23.30/23.67  (-. (animate (skc5) zenon_X120))
% 23.30/23.67  (unisex (skc5) (skc8))
% 23.30/23.67  (zenon_X52 != zenon_X30)
% 23.30/23.67  (-. (nonhuman zenon_X20 (skc8)))
% 23.30/23.67  ((skc7) != zenon_X304)
% 23.30/23.67  (-. (object zenon_X10 zenon_X1121))
% 23.30/23.67  (-. (existent zenon_X20 zenon_X874))
% 23.30/23.67  ((skc7) != zenon_X550)
% 23.30/23.67  (-. (substance_matter zenon_X60 (skc7)))
% 23.30/23.67  (unisex zenon_X16 (skc6))
% 23.30/23.67  (-. (entity zenon_X42 zenon_X754))
% 23.30/23.67  (-. (eventuality zenon_X38 zenon_X137))
% 23.30/23.67  (-. (specific zenon_X56 (skc7)))
% 23.30/23.67  (zenon_X44 != zenon_X76)
% 23.30/23.67  (-. (entity zenon_X26 zenon_X280))
% 23.30/23.67  ((skc6) != zenon_X1055)
% 23.30/23.67  (zenon_X10 != zenon_X87)
% 23.30/23.67  (-. (organism zenon_X4 (skc9)))
% 23.30/23.67  (zenon_X4 != zenon_X54)
% 23.30/23.67  ((skc7) != zenon_X860)
% 23.30/23.67  (zenon_X22 != zenon_X76)
% 23.30/23.67  (-. (order zenon_X78 zenon_X576))
% 23.30/23.67  ((skc7) != zenon_X945)
% 23.30/23.67  (-. (specific zenon_X30 (skc6)))
% 23.30/23.67  (zenon_X42 != zenon_X87)
% 23.30/23.67  ((skc6) != zenon_X779)
% 23.30/23.67  ((skc8) != zenon_X930)
% 23.30/23.67  (-. (female zenon_X2 (skc7)))
% 23.30/23.67  (-. (specific zenon_X18 (skc9)))
% 23.30/23.67  (zenon_X58 != zenon_X76)
% 23.30/23.67  (animate zenon_X56 (skc9))
% 23.30/23.67  (beverage (skc5) (skc7))
% 23.30/23.67  (zenon_X26 != zenon_X44)
% 23.30/23.67  (-. (animate zenon_X44 (skc9)))
% 23.30/23.67  (existent zenon_X22 (skc9))
% 23.30/23.67  (zenon_X18 != zenon_X60)
% 23.30/23.67  (-. (specific zenon_X4 (skc9)))
% 23.30/23.67  (zenon_X44 != zenon_X34)
% 23.30/23.67  ((skc7) != zenon_X692)
% 23.30/23.67  (-. (order zenon_X58 zenon_X560))
% 23.30/23.67  ((skc7) != zenon_X229)
% 23.30/23.67  (specific zenon_X80 (skc7))
% 23.30/23.67  (-. (agent (skc5) zenon_X91 zenon_X92))
% 23.30/23.67  (-. (order zenon_X38 zenon_X283))
% 23.30/23.67  ((skc7) != zenon_X747)
% 23.30/23.67  (-. (living zenon_X24 (skc7)))
% 23.30/23.67  (-. (order zenon_X26 zenon_X623))
% 23.30/23.67  ((skc9) != zenon_X133)
% 23.30/23.67  (-. (nonhuman zenon_X72 zenon_X844))
% 23.30/23.67  (-. (order zenon_X82 zenon_X1126))
% 23.30/23.67  (zenon_X18 != zenon_X40)
% 23.30/23.67  (-. (substance_matter (skc5) zenon_X112))
% 23.30/23.67  (relname zenon_X26 (skc8))
% 23.30/23.67  ((skc9) != zenon_X612)
% 23.30/23.67  (-. (human zenon_X52 (skc8)))
% 23.30/23.67  (-. (eventuality zenon_X82 zenon_X973))
% 23.30/23.67  (-. (forename zenon_X68 (skc8)))
% 23.30/23.67  (-. (mia_forename zenon_X10 zenon_X253))
% 23.30/23.67  ((skc7) != zenon_X986)
% 23.30/23.67  (-. (existent zenon_X24 (skc9)))
% 23.30/23.67  (-. (human_person zenon_X42 zenon_X982))
% 23.30/23.67  (-. (abstraction zenon_X58 zenon_X825))
% 23.30/23.67  (-. (entity (skc5) zenon_X110))
% 23.30/23.67  ((skc9) != zenon_X360)
% 23.30/23.67  (-. (entity zenon_X4 (skc9)))
% 23.30/23.67  (-. (object zenon_X18 zenon_X987))
% 23.30/23.67  (-. (act zenon_X20 zenon_X850))
% 23.30/23.67  (-. (object zenon_X68 zenon_X1225))
% 23.30/23.67  (-. (nonliving zenon_X60 zenon_X731))
% 23.30/23.67  (-. (forename zenon_X40 (skc8)))
% 23.30/23.67  (-. (human_person (skc5) zenon_X155))
% 23.30/23.67  ((skc5) != zenon_X24)
% 23.30/23.67  ((skc7) != zenon_X725)
% 23.30/23.67  (-. (existent zenon_X80 (skc9)))
% 23.30/23.67  (-. (woman zenon_X82 zenon_X119))
% 23.30/23.67  (-. (nonliving zenon_X30 zenon_X729))
% 23.30/23.67  (-. (order zenon_X24 zenon_X536))
% 23.30/23.67  (-. (act zenon_X72 zenon_X337))
% 23.30/23.67  (zenon_X34 != zenon_X16)
% 23.30/23.67  ((skc9) != zenon_X1025)
% 23.30/23.67  (-. (general zenon_X68 (skc9)))
% 23.30/23.67  (zenon_X18 != zenon_X80)
% 23.30/23.67  ((skc8) != zenon_X183)
% 23.30/23.67  (-. (relname zenon_X56 zenon_X1080))
% 23.30/23.67  (-. (human_person zenon_X44 (skc9)))
% 23.30/23.67  (organism zenon_X58 (skc9))
% 23.30/23.67  ((skc8) != zenon_X391)
% 23.30/23.67  (-. (eventuality zenon_X48 (skc6)))
% 23.30/23.67  (object zenon_X40 (skc7))
% 23.30/23.67  (unisex zenon_X52 (skc8))
% 23.30/23.67  ((skc8) != zenon_X970)
% 23.30/23.67  (zenon_X26 != zenon_X82)
% 23.30/23.67  (woman (skc5) (skc9))
% 23.30/23.67  (-. (nonliving zenon_X32 zenon_X537))
% 23.30/23.67  (-. (relname zenon_X20 (skc8)))
% 23.30/23.67  (zenon_X76 != zenon_X14)
% 23.30/23.67  (zenon_X44 != zenon_X48)
% 23.30/23.67  (-. (entity zenon_X26 zenon_X624))
% 23.30/23.67  (-. (human zenon_X44 (skc8)))
% 23.30/23.67  (-. (specific zenon_X78 (skc7)))
% 23.30/23.67  (specific zenon_X26 (skc7))
% 23.30/23.67  (-. (act zenon_X68 zenon_X1139))
% 23.30/23.67  (specific zenon_X54 (skc9))
% 23.30/23.67  (-. (woman zenon_X18 zenon_X984))
% 23.30/23.67  (specific zenon_X32 (skc7))
% 23.30/23.67  (-. (forename zenon_X24 zenon_X1052))
% 23.30/23.67  (zenon_X0 != zenon_X87)
% 23.30/23.67  (-. (eventuality zenon_X60 zenon_X331))
% 23.30/23.67  (existent zenon_X82 (skc7))
% 23.30/23.67  (thing zenon_X6 (skc6))
% 23.30/23.67  (specific zenon_X30 (skc7))
% 23.30/23.67  ((skc9) != zenon_X309)
% 23.30/23.67  ((skc9) != zenon_X1127)
% 23.30/23.67  ((skc7) != zenon_X432)
% 23.30/23.67  (-. (entity zenon_X72 (skc7)))
% 23.30/23.67  (zenon_X22 != zenon_X80)
% 23.30/23.67  ((skc5) != zenon_X14)
% 23.30/23.67  (zenon_X68 != zenon_X4)
% 23.30/23.67  (-. (nonhuman zenon_X68 zenon_X1142))
% 23.30/23.67  (-. (relname zenon_X78 zenon_X220))
% 23.30/23.67  (-. (nonexistent zenon_X68 (skc9)))
% 23.30/23.67  (zenon_X74 != zenon_X72)
% 23.30/23.67  (zenon_X44 != zenon_X74)
% 23.30/23.67  (-. (act zenon_X22 zenon_X326))
% 23.30/23.67  (nonhuman zenon_X58 (skc8))
% 23.30/23.67  (zenon_X10 != zenon_X14)
% 23.30/23.67  (abstraction zenon_X76 (skc8))
% 23.30/23.67  (-. (object zenon_X4 zenon_X719))
% 23.30/23.67  (-. (existent zenon_X10 (skc9)))
% 23.30/23.67  (-. (nonliving zenon_X22 zenon_X161))
% 23.30/23.67  (-. (nonliving zenon_X78 zenon_X499))
% 23.30/23.67  (-. (specific zenon_X60 (skc7)))
% 23.30/23.67  (nonhuman zenon_X54 (skc8))
% 23.30/23.67  (zenon_X32 != zenon_X87)
% 23.30/23.67  (zenon_X44 != zenon_X56)
% 23.30/23.67  (-. (object zenon_X10 zenon_X605))
% 23.30/23.67  (zenon_X18 != zenon_X4)
% 23.30/23.67  (organism zenon_X42 (skc9))
% 23.30/23.67  ((skc9) != zenon_X540)
% 23.30/23.67  ((skc7) != zenon_X476)
% 23.30/23.67  (-. (general zenon_X44 (skc7)))
% 23.30/23.67  ((skc9) != zenon_X9)
% 23.30/23.67  (impartial zenon_X36 (skc7))
% 23.30/23.67  (-. (forename zenon_X42 zenon_X1100))
% 23.30/23.67  (zenon_X68 != zenon_X18)
% 23.30/23.67  (zenon_X20 != zenon_X14)
% 23.30/23.67  ((skc8) != zenon_X822)
% 23.30/23.67  (existent zenon_X42 (skc9))
% 23.30/23.67  ((skc7) != zenon_X670)
% 23.30/23.67  ((skc9) != zenon_X205)
% 23.30/23.67  ((skc8) != zenon_X563)
% 23.30/23.67  (-. (mia_forename zenon_X52 zenon_X356))
% 23.30/23.67  (unisex zenon_X22 (skc7))
% 23.30/23.67  (-. (nonexistent zenon_X26 (skc7)))
% 23.30/23.67  (zenon_X68 != zenon_X16)
% 23.30/23.67  ((skc9) != zenon_X785)
% 23.30/23.67  (-. (nonexistent zenon_X22 (skc9)))
% 23.30/23.67  (zenon_X52 != zenon_X54)
% 23.30/23.67  (zenon_X26 != zenon_X0)
% 23.30/23.67  (zenon_X20 != zenon_X76)
% 23.30/23.67  (-. (forename zenon_X2 (skc8)))
% 23.30/23.67  (entity zenon_X80 (skc7))
% 23.30/23.67  (unisex zenon_X58 (skc8))
% 23.30/23.67  (zenon_X44 != zenon_X72)
% 23.30/23.67  (-. (human zenon_X48 (skc8)))
% 23.30/23.67  (-. (entity zenon_X34 zenon_X686))
% 23.30/23.67  (zenon_X58 != zenon_X4)
% 23.30/23.67  (zenon_X68 != zenon_X80)
% 23.30/23.67  (-. (shake_beverage zenon_X30 zenon_X828))
% 23.30/23.67  (-. (nonliving zenon_X38 zenon_X255))
% 23.30/23.67  (zenon_X40 != zenon_X52)
% 23.30/23.67  (-. (order zenon_X68 zenon_X1213))
% 23.30/23.67  (nonhuman zenon_X26 (skc8))
% 23.30/23.67  (existent zenon_X38 (skc7))
% 23.30/23.67  (-. (general zenon_X0 (skc6)))
% 23.30/23.67  (-. (living zenon_X34 (skc7)))
% 23.30/23.67  (-. (human_person zenon_X42 zenon_X1112))
% 23.30/23.67  (-. (female zenon_X10 (skc6)))
% 23.30/23.67  (zenon_X80 != zenon_X82)
% 23.30/23.67  (abstraction zenon_X26 (skc8))
% 23.30/23.67  (zenon_X68 != zenon_X34)
% 23.30/23.67  ((skc9) != zenon_X101)
% 23.30/23.67  ((skc8) != zenon_X455)
% 23.30/23.67  (abstraction zenon_X52 (skc8))
% 23.30/23.67  (-. (woman zenon_X78 zenon_X815))
% 23.30/23.67  ((skc8) != zenon_X1029)
% 23.30/23.67  (zenon_X10 != zenon_X56)
% 23.30/23.67  ((skc8) != zenon_X435)
% 23.30/23.67  (zenon_X56 != zenon_X20)
% 23.30/23.67  (-. (substance_matter zenon_X54 (skc7)))
% 23.30/23.67  (zenon_X0 != zenon_X76)
% 23.30/23.67  (zenon_X32 != zenon_X4)
% 23.30/23.67  ((skc9) != zenon_X106)
% 23.30/23.67  (-. (entity zenon_X16 zenon_X528))
% 23.30/23.67  (zenon_X68 != zenon_X24)
% 23.30/23.67  ((skc7) != zenon_X878)
% 23.30/23.67  (zenon_X18 != zenon_X24)
% 23.30/23.67  (zenon_X20 != zenon_X34)
% 23.30/23.67  ((skc9) != zenon_X234)
% 23.30/23.67  (-. (entity zenon_X2 zenon_X524))
% 23.30/23.67  (-. (human_person zenon_X80 (skc9)))
% 23.30/23.67  ((skc8) != zenon_X739)
% 23.30/23.67  (-. (forename (skc5) zenon_X107))
% 23.30/23.67  ((skc6) != zenon_X282)
% 23.30/23.67  ((skc6) != zenon_X596)
% 23.30/23.67  (-. (female zenon_X44 (skc7)))
% 23.30/23.67  (zenon_X80 != zenon_X38)
% 23.30/23.67  (-. (specific zenon_X68 zenon_X1188))
% 23.30/23.67  ((skc9) != zenon_X363)
% 23.30/23.67  (-. (abstraction zenon_X4 zenon_X139))
% 23.30/23.67  ((skc8) != zenon_X41)
% 23.30/23.67  ((skc9) != zenon_X94)
% 23.30/23.67  ((skc6) != zenon_X517)
% 23.30/23.67  (animate (skc5) (skc9))
% 23.30/23.67  ((skc7) != zenon_X193)
% 23.30/23.67  ((skc9) != zenon_X1146)
% 23.30/23.67  (-. (relation zenon_X82 zenon_X1166))
% 23.30/23.67  (zenon_X20 != zenon_X78)
% 23.30/23.67  (specific zenon_X42 (skc7))
% 23.30/23.67  (specific zenon_X0 (skc6))
% 23.30/23.67  (-. (event zenon_X38 zenon_X286))
% 23.30/23.67  ((skc7) != zenon_X95)
% 23.30/23.67  (act (skc5) (skc6))
% 23.30/23.67  (zenon_X58 != zenon_X20)
% 23.30/23.67  (zenon_X68 != zenon_X30)
% 23.30/23.67  (entity zenon_X24 (skc7))
% 23.30/23.67  (-. (existent zenon_X87 (skc7)))
% 23.30/23.67  (-. (entity zenon_X18 zenon_X878))
% 23.30/23.67  ((skc8) != zenon_X696)
% 23.30/23.67  (-. (human_person zenon_X72 zenon_X1187))
% 23.30/23.67  (-. (beverage zenon_X42 zenon_X683))
% 23.30/23.67  (-. (specific zenon_X74 (skc9)))
% 23.30/23.67  (zenon_X0 != zenon_X74)
% 23.30/23.67  (-. (nonliving (skc5) zenon_X167))
% 23.30/23.67  (zenon_X26 != zenon_X20)
% 23.30/23.67  (zenon_X24 != zenon_X78)
% 23.30/23.67  (-. (unisex zenon_X38 zenon_X131))
% 23.30/23.67  ((skc8) != zenon_X158)
% 23.30/23.67  (-. (beverage zenon_X72 zenon_X481))
% 23.30/23.67  (abstraction zenon_X56 (skc8))
% 23.30/23.67  ((skc9) != zenon_X81)
% 23.30/23.67  ((skc7) != zenon_X645)
% 23.30/23.67  (-. (abstraction zenon_X78 (skc8)))
% 23.30/23.67  (-. (organism zenon_X24 zenon_X483))
% 23.30/23.67  (-. (entity zenon_X26 zenon_X277))
% 23.30/23.67  (-. (existent zenon_X87 (skc9)))
% 23.30/23.67  (-. (entity zenon_X44 zenon_X432))
% 23.30/23.67  ((skc8) != zenon_X343)
% 23.30/23.67  (unisex zenon_X4 (skc6))
% 23.30/23.67  (thing zenon_X46 (skc8))
% 23.30/23.67  (zenon_X56 != zenon_X82)
% 23.30/23.67  (zenon_X54 != zenon_X72)
% 23.30/23.67  (zenon_X74 != zenon_X82)
% 23.30/23.67  (entity zenon_X18 (skc7))
% 23.30/23.67  (-. (substance_matter zenon_X2 zenon_X400))
% 23.30/23.67  ((skc7) != zenon_X224)
% 23.30/23.67  (-. (human_person zenon_X18 zenon_X1210))
% 23.30/23.67  ((skc9) != zenon_X235)
% 23.30/23.67  (-. (order zenon_X56 zenon_X693))
% 23.30/23.67  ((skc8) != zenon_X821)
% 23.30/23.67  (-. (nonhuman zenon_X80 zenon_X1054))
% 23.30/23.67  ((skc9) != zenon_X130)
% 23.30/23.67  (-. (object zenon_X80 zenon_X364))
% 23.30/23.67  ((skc8) != zenon_X454)
% 23.30/23.67  (zenon_X80 != zenon_X34)
% 23.30/23.67  ((skc8) != zenon_X51)
% 23.30/23.67  (-. (human_person zenon_X54 zenon_X1153))
% 23.30/23.67  (unisex zenon_X54 (skc8))
% 23.30/23.67  (-. (relname zenon_X42 zenon_X43))
% 23.30/23.67  (-. (female zenon_X20 (skc7)))
% 23.30/23.67  (zenon_X18 != zenon_X20)
% 23.30/23.67  ((skc7) != zenon_X569)
% 23.30/23.67  (zenon_X14 != zenon_X24)
% 23.30/23.67  (-. (eventuality zenon_X2 zenon_X290))
% 23.30/23.67  (zenon_X4 != zenon_X30)
% 23.30/23.67  ((skc9) != zenon_X93)
% 23.30/23.67  (-. (eventuality zenon_X24 (skc6)))
% 23.30/23.67  ((skc6) != zenon_X289)
% 23.30/23.67  (unisex zenon_X2 (skc6))
% 23.30/23.67  (existent zenon_X18 (skc7))
% 23.30/23.67  (-. (relname zenon_X30 zenon_X662))
% 23.30/23.67  ((skc9) != zenon_X120)
% 23.30/23.67  (zenon_X18 != zenon_X0)
% 23.30/23.67  (-. (shake_beverage zenon_X56 zenon_X1033))
% 23.30/23.67  (existent zenon_X42 (skc7))
% 23.30/23.67  (zenon_X16 != zenon_X14)
% 23.30/23.67  (-. (nonliving zenon_X52 (skc7)))
% 23.30/23.67  (-. (substance_matter zenon_X20 zenon_X922))
% 23.30/23.67  (zenon_X80 != zenon_X4)
% 23.30/23.67  ((skc7) != zenon_X565)
% 23.30/23.67  ((skc7) != zenon_X280)
% 23.30/23.67  (zenon_X42 != zenon_X54)
% 23.30/23.67  (-. (existent zenon_X56 zenon_X238))
% 23.30/23.67  (-. (mia_forename (skc5) zenon_X273))
% 23.30/23.67  (-. (food zenon_X2 zenon_X317))
% 23.30/23.67  (-. (animate zenon_X18 zenon_X1145))
% 23.30/23.67  (-. (eventuality zenon_X38 (skc6)))
% 23.30/23.67  ((skc8) != zenon_X1080)
% 23.30/23.67  ((skc9) != zenon_X29)
% 23.30/23.67  (-. (nonexistent (skc5) (skc7)))
% 23.30/23.67  (-. (order zenon_X22 zenon_X467))
% 23.30/23.67  ((skc7) != zenon_X90)
% 23.30/23.67  ((skc6) != zenon_X730)
% 23.30/23.67  ((skc9) != zenon_X231)
% 23.30/23.67  ((skc9) != zenon_X645)
% 23.30/23.67  ((skc6) != zenon_X804)
% 23.30/23.67  (-. (human zenon_X87 (skc8)))
% 23.30/23.67  (existent zenon_X40 (skc9))
% 23.30/23.67  (food zenon_X32 (skc7))
% 23.30/23.67  (-. (substance_matter zenon_X48 zenon_X727))
% 23.30/23.67  (specific zenon_X2 (skc7))
% 23.30/23.67  (-. (abstraction zenon_X26 zenon_X775))
% 23.30/23.67  (-. (existent zenon_X40 zenon_X1057))
% 23.30/23.67  (zenon_X10 != zenon_X4)
% 23.30/23.67  ((skc9) != zenon_X134)
% 23.30/23.67  (-. (specific zenon_X14 (skc6)))
% 23.30/23.67  (-. (unisex zenon_X32 zenon_X666))
% 23.30/23.67  ((skc5) != zenon_X82)
% 23.30/23.67  (specific zenon_X42 (skc9))
% 23.30/23.67  (-. (general zenon_X18 (skc6)))
% 23.30/23.67  (-. (unisex zenon_X34 zenon_X734))
% 23.30/23.67  (zenon_X34 != zenon_X76)
% 23.30/23.67  ((skc7) != zenon_X406)
% 23.30/23.67  (-. (abstraction zenon_X32 zenon_X657))
% 23.30/23.67  (zenon_X42 != zenon_X52)
% 23.30/23.67  (zenon_X32 != zenon_X60)
% 23.30/23.67  ((skc7) != zenon_X962)
% 23.30/23.67  (-. (forename zenon_X42 zenon_X821))
% 23.30/23.67  ((skc9) != zenon_X735)
% 23.30/23.67  (patient (skc5) (skc6) (skc7))
% 23.30/23.67  (event zenon_X18 (skc6))
% 23.30/23.67  ((skc7) != zenon_X270)
% 23.30/23.67  (-. (food zenon_X52 zenon_X211))
% 23.30/23.67  ((skc7) != zenon_X510)
% 23.30/23.67  ((skc9) != zenon_X824)
% 23.30/23.67  (-. (entity zenon_X18 zenon_X967))
% 23.30/23.67  (-. (act zenon_X52 (skc6)))
% 23.30/23.67  (-. (nonhuman zenon_X74 (skc8)))
% 23.30/23.67  (-. (mia_forename zenon_X72 zenon_X632))
% 23.30/23.67  ((skc7) != zenon_X493)
% 23.30/23.67  (-. (order (skc5) zenon_X661))
% 23.30/23.67  (-. (specific zenon_X2 zenon_X442))
% 23.30/23.67  ((skc6) != zenon_X554)
% 23.30/23.67  (zenon_X52 != zenon_X24)
% 23.30/23.67  (zenon_X32 != zenon_X78)
% 23.30/23.67  ((skc7) != zenon_X618)
% 23.30/23.67  (-. (abstraction zenon_X4 (skc8)))
% 23.30/23.67  ((skc6) != zenon_X207)
% 23.30/23.67  ((skc7) != zenon_X913)
% 23.30/23.67  ((skc5) != zenon_X68)
% 23.30/23.67  (zenon_X38 != zenon_X2)
% 23.30/23.67  (zenon_X16 != zenon_X74)
% 23.30/23.67  (-. (existent zenon_X80 zenon_X81))
% 23.30/23.67  (-. (substance_matter zenon_X72 zenon_X365))
% 23.30/23.67  ((skc7) != zenon_X94)
% 23.30/23.67  (-. (eventuality zenon_X58 zenon_X551))
% 23.30/23.67  (zenon_X54 != zenon_X87)
% 23.30/23.67  (food zenon_X20 (skc7))
% 23.30/23.67  (event zenon_X2 (skc6))
% 23.30/23.67  (zenon_X0 != zenon_X60)
% 23.30/23.67  ((skc7) != zenon_X351)
% 23.30/23.67  ((skc8) != zenon_X808)
% 23.30/23.67  (zenon_X0 != zenon_X4)
% 23.30/23.67  (-. (act zenon_X32 zenon_X573))
% 23.30/23.67  (-. (object zenon_X56 zenon_X969))
% 23.30/23.67  (-. (object zenon_X32 zenon_X743))
% 23.30/23.67  (-. (living zenon_X38 (skc7)))
% 23.30/23.67  (zenon_X68 != zenon_X0)
% 23.30/23.67  (-. (specific zenon_X32 zenon_X465))
% 23.30/23.67  ((skc9) != zenon_X238)
% 23.30/23.67  (existent zenon_X68 (skc9))
% 23.30/23.67  (-. (substance_matter zenon_X10 zenon_X606))
% 23.30/23.67  (act zenon_X26 (skc6))
% 23.30/23.67  ((skc8) != zenon_X1120)
% 23.30/23.67  (-. (relname zenon_X14 zenon_X932))
% 23.30/23.67  ((skc9) != zenon_X191)
% 23.30/23.67  (-. (eventuality zenon_X40 zenon_X1044))
% 23.30/23.67  ((skc7) != zenon_X1004)
% 23.30/23.67  (zenon_X2 != zenon_X16)
% 23.30/23.67  ((skc9) != zenon_X157)
% 23.30/23.67  (-. (animate zenon_X72 zenon_X1209))
% 23.30/23.67  (substance_matter zenon_X22 (skc7))
% 23.30/23.67  (-. (entity zenon_X58 (skc7)))
% 23.30/23.67  (-. (mia_forename zenon_X20 zenon_X929))
% 23.30/23.67  (-. (object zenon_X82 zenon_X1218))
% 23.30/23.67  (-. (eventuality zenon_X4 zenon_X194))
% 23.30/23.67  ((skc7) != zenon_X143)
% 23.30/23.67  (object zenon_X32 (skc7))
% 23.30/23.67  (zenon_X40 != zenon_X24)
% 23.30/23.67  ((skc8) != zenon_X1064)
% 23.30/23.67  (-. (relname zenon_X22 zenon_X859))
% 23.30/23.67  ((skc9) != zenon_X432)
% 23.30/23.67  ((skc8) != zenon_X190)
% 23.30/23.67  (nonliving zenon_X44 (skc7))
% 23.30/23.67  (-. (abstraction zenon_X87 zenon_X1077))
% 23.30/23.67  (abstraction zenon_X58 (skc8))
% 23.30/23.67  ((skc6) != zenon_X442)
% 23.30/23.67  (-. (general zenon_X2 (skc9)))
% 23.30/23.67  ((skc7) != zenon_X472)
% 23.30/23.67  ((skc9) != zenon_X639)
% 23.30/23.67  ((skc9) != zenon_X33)
% 23.30/23.67  ((skc8) != zenon_X275)
% 23.30/23.67  ((skc7) != zenon_X142)
% 23.30/23.67  (-. (general zenon_X42 (skc7)))
% 23.30/23.67  ((skc7) != zenon_X695)
% 23.30/23.67  (zenon_X26 != zenon_X4)
% 23.30/23.67  (zenon_X26 != zenon_X38)
% 23.30/23.67  (existent zenon_X22 (skc7))
% 23.30/23.67  (zenon_X58 != zenon_X72)
% 23.30/23.67  (-. (existent zenon_X72 zenon_X388))
% 23.30/23.67  ((skc6) != zenon_X671)
% 23.30/23.67  (relation zenon_X76 (skc8))
% 23.30/23.67  ((skc7) != zenon_X1136)
% 23.30/23.67  (organism (skc5) (skc9))
% 23.30/23.67  ((skc6) != zenon_X542)
% 23.30/23.67  ((skc7) != zenon_X407)
% 23.30/23.67  (-. (entity zenon_X0 zenon_X518))
% 23.30/23.67  (-. (human_person zenon_X10 zenon_X261))
% 23.30/23.67  ((skc6) != zenon_X1168)
% 23.30/23.67  ((skc6) != zenon_X297)
% 23.30/23.67  ((skc7) != zenon_X509)
% 23.30/23.67  ((skc7) != zenon_X115)
% 23.30/23.67  (-. (mia_forename zenon_X14 zenon_X566))
% 23.30/23.67  (-. (general zenon_X30 (skc7)))
% 23.30/23.67  (-. (specific zenon_X87 (skc7)))
% 23.30/23.67  ((skc7) != zenon_X1184)
% 23.30/23.67  (zenon_X42 != zenon_X78)
% 23.30/23.67  ((skc7) != zenon_X73)
% 23.30/23.67  (-. (food zenon_X40 zenon_X1014))
% 23.30/23.67  (-. (general zenon_X42 (skc6)))
% 23.30/23.67  (zenon_X20 != zenon_X24)
% 23.30/23.67  ((skc7) != zenon_X728)
% 23.30/23.67  (-. (unisex zenon_X24 (skc6)))
% 23.30/23.67  (-. (nonhuman zenon_X48 zenon_X219))
% 23.30/23.67  (-. (unisex zenon_X22 (skc8)))
% 23.30/23.67  (-. (abstraction zenon_X34 zenon_X958))
% 23.30/23.67  (zenon_X48 != zenon_X34)
% 23.30/23.67  (-. (eventuality zenon_X6 zenon_X7))
% 23.30/23.67  ((skc7) != zenon_X783)
% 23.30/23.67  (-. (event zenon_X82 zenon_X1119))
% 23.30/23.67  (-. (nonexistent zenon_X18 (skc7)))
% 23.30/23.67  (zenon_X56 != zenon_X58)
% 23.30/23.67  ((skc7) != zenon_X655)
% 23.30/23.67  (-. (human_person (skc5) zenon_X121))
% 23.30/23.67  (-. (object zenon_X16 zenon_X522))
% 23.30/23.67  (-. (object zenon_X38 zenon_X395))
% 23.30/23.67  ((skc8) != zenon_X49)
% 23.30/23.67  (zenon_X2 != zenon_X4)
% 23.30/23.67  (-. (food zenon_X87 zenon_X392))
% 23.30/23.67  (-. (specific zenon_X10 (skc9)))
% 23.30/23.67  (-. (relname zenon_X52 zenon_X831))
% 23.30/23.67  ((skc6) != zenon_X5)
% 23.30/23.67  (event zenon_X16 (skc6))
% 23.30/23.67  ((skc6) != zenon_X912)
% 23.30/23.67  ((skc7) != zenon_X398)
% 23.30/23.67  (-. (entity zenon_X20 zenon_X785))
% 23.30/23.67  ((skc8) != zenon_X578)
% 23.30/23.67  (-. (food zenon_X42 zenon_X695))
% 23.30/23.67  (zenon_X18 != zenon_X54)
% 23.30/23.67  (-. (order zenon_X34 zenon_X1097))
% 23.30/23.67  (-. (existent zenon_X34 zenon_X1069))
% 23.30/23.67  (-. (unisex zenon_X80 zenon_X359))
% 23.30/23.67  ((skc7) != zenon_X587)
% 23.30/23.67  (-. (female zenon_X54 (skc8)))
% 23.30/23.67  (-. (unisex zenon_X22 (skc6)))
% 23.30/23.67  (zenon_X58 != zenon_X24)
% 23.30/23.67  ((skc8) != zenon_X621)
% 23.30/23.67  ((skc9) != zenon_X174)
% 23.30/23.67  (-. (abstraction zenon_X58 zenon_X808))
% 23.30/23.67  ((skc9) != zenon_X535)
% 23.30/23.67  (-. (existent zenon_X4 zenon_X370))
% 23.30/23.67  (-. (shake_beverage zenon_X68 zenon_X1215))
% 23.30/23.67  (zenon_X54 != zenon_X56)
% 23.30/23.67  ((skc8) != zenon_X1168)
% 23.30/23.67  (-. (nonexistent zenon_X74 (skc7)))
% 23.30/23.67  (-. (nonliving zenon_X0 zenon_X765))
% 23.30/23.67  (zenon_X32 != zenon_X54)
% 23.30/23.67  (-. (nonliving zenon_X56 (skc9)))
% 23.30/23.67  (-. (act zenon_X40 zenon_X806))
% 23.30/23.67  ((skc8) != zenon_X126)
% 23.30/23.67  (zenon_X32 != zenon_X52)
% 23.30/23.67  (-. (nonexistent zenon_X22 (skc7)))
% 23.30/23.67  ((skc9) != zenon_X1219)
% 23.30/23.67  (-. (food zenon_X76 zenon_X185))
% 23.30/23.67  (zenon_X68 != zenon_X74)
% 23.30/23.67  ((skc9) != zenon_X411)
% 23.30/23.67  ((skc9) != zenon_X59)
% 23.30/23.67  (-. (woman zenon_X82 (skc9)))
% 23.30/23.67  (-. (entity zenon_X60 zenon_X101))
% 23.30/23.67  (-. (woman zenon_X44 zenon_X525))
% 23.30/23.67  (unisex zenon_X40 (skc8))
% 23.30/23.67  (zenon_X10 != zenon_X48)
% 23.30/23.67  (-. (relname zenon_X34 (skc8)))
% 23.30/23.67  (specific zenon_X18 (skc6))
% 23.30/23.67  ((skc6) != zenon_X549)
% 23.30/23.67  (-. (entity zenon_X52 (skc7)))
% 23.30/23.67  ((skc6) != zenon_X131)
% 23.30/23.67  (-. (specific zenon_X74 (skc6)))
% 23.30/23.67  (nonliving zenon_X24 (skc7))
% 23.30/23.67  ((skc8) != zenon_X328)
% 23.30/23.67  (-. (relname zenon_X68 zenon_X1110))
% 23.30/23.67  ((skc7) != zenon_X126)
% 23.30/23.67  (zenon_X2 != zenon_X30)
% 23.30/23.67  (-. (human_person zenon_X52 zenon_X797))
% 23.30/23.67  (-. (entity zenon_X24 (skc9)))
% 23.30/23.67  (zenon_X82 != zenon_X54)
% 23.30/23.67  (-. (nonliving zenon_X20 zenon_X616))
% 23.30/23.67  ((skc9) != zenon_X967)
% 23.30/23.67  (-. (entity zenon_X0 (skc7)))
% 23.30/23.67  (-. (eventuality zenon_X14 zenon_X561))
% 23.30/23.67  ((skc9) != zenon_X83)
% 23.30/23.67  ((skc9) != zenon_X121)
% 23.30/23.67  (-. (eventuality zenon_X20 zenon_X907))
% 23.30/23.67  ((skc8) != zenon_X1041)
% 23.30/23.67  (-. (general zenon_X82 (skc7)))
% 23.30/23.67  ((skc7) != zenon_X101)
% 23.30/23.67  ((skc8) != zenon_X268)
% 23.30/23.67  (-. (organism zenon_X22 zenon_X538))
% 23.30/23.67  (human zenon_X66 (skc9))
% 23.30/23.67  (-. (shake_beverage zenon_X74 zenon_X1012))
% 23.30/23.67  ((skc9) != zenon_X92)
% 23.30/23.67  (act zenon_X42 (skc6))
% 23.30/23.67  (zenon_X38 != zenon_X87)
% 23.30/23.67  (-. (nonliving zenon_X87 zenon_X1017))
% 23.30/23.67  ((skc8) != zenon_X706)
% 23.30/23.67  ((skc7) != zenon_X417)
% 23.30/23.67  (existent zenon_X26 (skc9))
% 23.30/23.67  (-. (human_person zenon_X16 zenon_X413))
% 23.30/23.67  (-. (specific zenon_X42 zenon_X650))
% 23.30/23.67  (-. (event zenon_X56 zenon_X816))
% 23.30/23.67  ((skc9) != zenon_X1224)
% 23.30/23.67  ((skc7) != zenon_X410)
% 23.30/23.67  ((skc9) != zenon_X480)
% 23.30/23.67  (-. (nonliving zenon_X42 (skc9)))
% 23.30/23.67  (-. (nonhuman zenon_X24 zenon_X777))
% 23.30/23.67  ((skc6) != zenon_X971)
% 23.30/23.67  ((skc9) != zenon_X813)
% 23.30/23.67  ((skc9) != zenon_X1020)
% 23.30/23.67  ((skc7) != zenon_X1158)
% 23.30/23.67  ((skc7) != zenon_X881)
% 23.30/23.67  (-. (female zenon_X14 (skc6)))
% 23.30/23.67  ((skc6) != (skc9))
% 23.30/23.67  (-. (eventuality zenon_X58 zenon_X635))
% 23.30/23.68  (zenon_X56 != zenon_X60)
% 23.30/23.68  ((skc7) != zenon_X883)
% 23.30/23.68  (-. (food zenon_X10 zenon_X688))
% 23.30/23.68  (-. (living zenon_X74 (skc7)))
% 23.30/23.68  (-. (general zenon_X44 (skc6)))
% 23.30/23.68  (-. (entity zenon_X10 zenon_X555))
% 23.30/23.68  (-. (relname zenon_X0 zenon_X832))
% 23.30/23.68  (zenon_X18 != zenon_X87)
% 23.30/23.68  ((skc6) != zenon_X147)
% 23.30/23.68  (zenon_X26 != zenon_X30)
% 23.30/23.68  (zenon_X52 != zenon_X80)
% 23.30/23.68  ((skc8) != zenon_X492)
% 23.30/23.68  (zenon_X0 != zenon_X24)
% 23.30/23.68  ((skc7) != zenon_X321)
% 23.30/23.68  (-. (object zenon_X4 (skc7)))
% 23.30/23.68  (zenon_X2 != zenon_X76)
% 23.30/23.68  (-. (human_person zenon_X14 zenon_X1211))
% 23.30/23.68  (-. (substance_matter zenon_X4 (skc7)))
% 23.30/23.68  (-. (object zenon_X14 zenon_X138))
% 23.30/23.68  (-. (specific zenon_X52 (skc6)))
% 23.30/23.68  (-. (animate zenon_X54 zenon_X1116))
% 23.30/23.68  (-. (human_person zenon_X68 zenon_X1219))
% 23.30/23.68  (-. (beverage zenon_X26 zenon_X952))
% 23.30/23.68  (-. (object zenon_X74 zenon_X398))
% 23.30/23.68  (zenon_X44 != zenon_X78)
% 23.30/23.68  (-. (food zenon_X16 (skc7)))
% 23.30/23.68  (-. (object zenon_X76 zenon_X125))
% 23.30/23.68  (-. (event zenon_X72 (skc6)))
% 23.30/23.68  (-. (abstraction zenon_X10 zenon_X890))
% 23.30/23.68  ((skc8) != zenon_X386)
% 23.30/23.68  (zenon_X38 != zenon_X4)
% 23.30/23.68  (-. (animate zenon_X0 (skc9)))
% 23.30/23.68  (zenon_X22 != zenon_X56)
% 23.30/23.68  (existent zenon_X2 (skc9))
% 23.30/23.68  (-. (unisex zenon_X4 zenon_X214))
% 23.30/23.68  (-. (event zenon_X74 zenon_X308))
% 23.30/23.68  (-. (entity zenon_X72 zenon_X879))
% 23.30/23.68  (-. (forename zenon_X22 zenon_X644))
% 23.30/23.68  (-. (forename zenon_X40 zenon_X1029))
% 23.30/23.68  (-. (unisex zenon_X60 zenon_X393))
% 23.30/23.68  (-. (nonexistent zenon_X2 (skc7)))
% 23.30/23.68  (unisex zenon_X80 (skc6))
% 23.30/23.68  ((skc7) != zenon_X271)
% 23.30/23.68  (-. (specific zenon_X16 zenon_X462))
% 23.30/23.68  (existent zenon_X24 (skc7))
% 23.30/23.68  ((skc8) != (skc6))
% 23.30/23.68  ((skc6) != zenon_X739)
% 23.30/23.68  (zenon_X10 != zenon_X16)
% 23.30/23.68  (-. (object zenon_X10 (skc7)))
% 23.30/23.68  ((skc8) != zenon_X999)
% 23.30/23.68  (-. (object zenon_X26 zenon_X27))
% 23.30/23.68  ((skc7) != zenon_X959)
% 23.30/23.68  (-. (beverage zenon_X76 zenon_X684))
% 23.30/23.68  (-. (forename zenon_X34 zenon_X1098))
% 23.30/23.68  ((skc7) != zenon_X116)
% 23.30/23.68  (-. (entity zenon_X4 zenon_X412))
% 23.30/23.68  ((skc6) != zenon_X144)
% 23.30/23.68  (-. (event zenon_X24 (skc6)))
% 23.30/23.68  (-. (entity zenon_X48 zenon_X612))
% 23.30/23.68  (existent zenon_X40 (skc7))
% 23.30/23.68  (-. (general zenon_X18 (skc7)))
% 23.30/23.68  (-. (relation zenon_X72 zenon_X192))
% 23.30/23.68  (-. (human_person zenon_X10 zenon_X1177))
% 23.30/23.68  (zenon_X14 != zenon_X52)
% 23.30/23.68  (zenon_X18 != zenon_X44)
% 23.30/23.68  (-. (specific zenon_X76 zenon_X443))
% 23.30/23.68  (-. (entity zenon_X0 zenon_X574))
% 23.30/23.68  (specific (skc5) (skc6))
% 23.30/23.68  ((skc7) != zenon_X195)
% 23.30/23.68  (-. (nonexistent zenon_X32 (skc9)))
% 23.30/23.68  ((skc7) != zenon_X701)
% 23.30/23.68  (-. (nonexistent zenon_X52 (skc7)))
% 23.30/23.68  (-. (mia_forename zenon_X18 zenon_X1009))
% 23.30/23.68  (-. (human_person zenon_X80 zenon_X159))
% 23.30/23.68  (-. (event zenon_X72 zenon_X149))
% 23.30/23.68  (zenon_X20 != zenon_X30)
% 23.30/23.68  (-. (abstraction zenon_X20 zenon_X786))
% 23.30/23.68  ((skc7) != zenon_X524)
% 23.30/23.68  (-. (event zenon_X52 zenon_X162))
% 23.30/23.68  ((skc9) != zenon_X1112)
% 23.30/23.68  (zenon_X68 != zenon_X40)
% 23.30/23.68  (zenon_X24 != zenon_X82)
% 23.30/23.68  ((skc7) != zenon_X785)
% 23.30/23.68  (-. (forename zenon_X18 zenon_X965))
% 23.30/23.68  (-. (shake_beverage zenon_X87 zenon_X845))
% 23.30/23.68  ((skc8) != zenon_X132)
% 23.30/23.68  (-. (specific zenon_X78 (skc9)))
% 23.30/23.68  (-. (mia_forename zenon_X38 zenon_X322))
% 23.30/23.68  (-. (general zenon_X40 (skc7)))
% 23.30/23.68  ((skc8) != zenon_X248)
% 23.30/23.68  ((skc6) != zenon_X249)
% 23.30/23.68  (-. (object zenon_X68 zenon_X1198))
% 23.30/23.68  (-. (eventuality zenon_X56 zenon_X659))
% 23.30/23.68  ((skc7) != zenon_X533)
% 23.30/23.68  ((skc6) != zenon_X623)
% 23.30/23.68  (-. (human_person zenon_X82 zenon_X97))
% 23.30/23.68  (-. (entity zenon_X52 zenon_X602))
% 23.30/23.68  (-. (abstraction zenon_X0 zenon_X339))
% 23.30/23.68  ((skc9) != zenon_X1179)
% 23.30/23.68  (-. (relation zenon_X32 (skc8)))
% 23.30/23.68  (-. (entity zenon_X87 (skc9)))
% 23.30/23.68  (-. (eventuality zenon_X80 zenon_X236))
% 23.30/23.68  (nonliving zenon_X80 (skc7))
% 23.30/23.68  (-. (existent zenon_X82 zenon_X1158))
% 23.30/23.68  (-. (order zenon_X72 zenon_X247))
% 23.30/23.68  ((skc8) != zenon_X273)
% 23.30/23.68  (zenon_X76 != zenon_X30)
% 23.30/23.68  (-. (order zenon_X30 zenon_X539))
% 23.30/23.68  (-. (unisex zenon_X16 (skc7)))
% 23.30/23.68  (-. (female zenon_X26 (skc7)))
% 23.30/23.68  (-. (relname zenon_X44 zenon_X1001))
% 23.30/23.68  (specific zenon_X24 (skc7))
% 23.30/23.68  (-. (object zenon_X87 zenon_X123))
% 23.30/23.68  ((skc7) != zenon_X399)
% 23.30/23.68  ((skc8) != zenon_X1000)
% 23.30/23.68  ((skc8) != zenon_X73)
% 23.30/23.68  (-. (nonliving zenon_X24 zenon_X148))
% 23.30/23.68  (-. (beverage zenon_X4 (skc7)))
% 23.30/23.68  ((skc6) != zenon_X146)
% 23.30/23.68  (-. (nonexistent zenon_X24 (skc7)))
% 23.30/23.68  (zenon_X56 != zenon_X24)
% 23.30/23.68  (-. (specific zenon_X10 (skc7)))
% 23.30/23.68  (-. (abstraction zenon_X0 (skc8)))
% 23.30/23.68  ((skc6) != zenon_X443)
% 23.30/23.68  (-. (relname zenon_X82 zenon_X968))
% 23.30/23.68  (-. (act zenon_X42 zenon_X870))
% 23.30/23.68  (zenon_X18 != zenon_X78)
% 23.30/23.68  ((skc8) != zenon_X775)
% 23.30/23.68  ((skc7) != zenon_X477)
% 23.30/23.68  (-. (existent zenon_X22 zenon_X682))
% 23.30/23.68  (-. (order zenon_X42 zenon_X778))
% 23.30/23.68  ((skc7) != zenon_X332)
% 23.30/23.68  (zenon_X26 != zenon_X68)
% 23.30/23.68  (-. (general zenon_X52 (skc7)))
% 23.30/23.68  ((skc9) != zenon_X119)
% 23.30/23.68  (eventuality zenon_X0 (skc6))
% 23.30/23.68  ((skc8) != zenon_X1086)
% 23.30/23.68  (-. (organism zenon_X38 zenon_X363))
% 23.30/23.68  ((skc7) != zenon_X977)
% 23.30/23.68  (zenon_X74 != zenon_X87)
% 23.30/23.68  (-. (animate zenon_X34 zenon_X1156))
% 23.30/23.68  (-. (substance_matter zenon_X87 (skc7)))
% 23.30/23.68  (existent zenon_X18 (skc9))
% 23.30/23.68  (-. (entity (skc5) zenon_X145))
% 23.30/23.68  (-. (abstraction zenon_X18 zenon_X681))
% 23.30/23.68  (-. (woman zenon_X14 zenon_X991))
% 23.30/23.68  (-. (entity zenon_X60 zenon_X230))
% 23.30/23.68  ((skc7) != zenon_X952)
% 23.30/23.68  (zenon_X30 != zenon_X14)
% 23.30/23.68  (-. (female zenon_X52 (skc8)))
% 23.30/23.68  (zenon_X52 != zenon_X16)
% 23.30/23.68  (-. (relation zenon_X52 zenon_X726))
% 23.30/23.68  ((skc9) != zenon_X304)
% 23.30/23.68  (-. (specific zenon_X34 zenon_X1072))
% 23.30/23.68  (zenon_X60 != zenon_X24)
% 23.30/23.68  (-. (woman zenon_X60 zenon_X198))
% 23.30/23.68  (animate zenon_X42 (skc9))
% 23.30/23.68  (-. (act zenon_X44 zenon_X545))
% 23.30/23.68  (zenon_X38 != zenon_X72)
% 23.30/23.68  (-. (female zenon_X0 (skc6)))
% 23.30/23.68  (-. (forename zenon_X40 zenon_X41))
% 23.30/23.68  (relation zenon_X44 (skc8))
% 23.30/23.68  (-. (food zenon_X14 zenon_X232))
% 23.30/23.68  ((skc6) != zenon_X15)
% 23.30/23.68  ((skc8) != zenon_X849)
% 23.30/23.68  ((skc9) != zenon_X1165)
% 23.30/23.68  (-. (act zenon_X24 (skc6)))
% 23.30/23.68  (-. (organism zenon_X2 zenon_X441))
% 23.30/23.68  (-. (animate zenon_X68 zenon_X215))
% 23.30/23.68  (-. (act zenon_X30 zenon_X414))
% 23.30/23.68  (nonliving zenon_X32 (skc7))
% 23.30/23.68  (-. (order zenon_X58 zenon_X556))
% 23.30/23.68  (-. (order zenon_X60 zenon_X603))
% 23.30/23.68  ((skc9) != zenon_X213)
% 23.30/23.68  (specific zenon_X38 (skc7))
% 23.30/23.68  (-. (entity zenon_X24 zenon_X687))
% 23.30/23.68  (-. (female zenon_X80 (skc7)))
% 23.30/23.68  (-. (abstraction zenon_X52 zenon_X970))
% 23.30/23.68  (-. (unisex zenon_X38 (skc6)))
% 23.30/23.68  (-. (human_person zenon_X48 zenon_X720))
% 23.30/23.68  (zenon_X26 != zenon_X32)
% 23.30/23.68  (-. (entity zenon_X82 zenon_X1191))
% 23.30/23.68  ((skc9) != zenon_X647)
% 23.30/23.68  (-. (nonexistent zenon_X38 (skc9)))
% 23.30/23.68  ((skc5) != zenon_X16)
% 23.30/23.68  (zenon_X32 != zenon_X34)
% 23.30/23.68  (-. (beverage zenon_X44 zenon_X839))
% 23.30/23.68  ((skc7) != zenon_X948)
% 23.30/23.68  (-. (object zenon_X22 zenon_X186))
% 23.30/23.68  (zenon_X76 != zenon_X16)
% 23.30/23.68  ((skc8) != zenon_X495)
% 23.30/23.68  (-. (female zenon_X74 (skc7)))
% 23.30/23.68  (-. (entity zenon_X68 zenon_X1208))
% 23.30/23.68  (-. (abstraction zenon_X80 zenon_X374))
% 23.30/23.68  ((skc9) != zenon_X124)
% 23.30/23.68  (-. (living zenon_X22 (skc7)))
% 23.30/23.68  (-. (entity zenon_X22 zenon_X735))
% 23.30/23.68  (-. (object zenon_X38 zenon_X39))
% 23.30/23.68  (object (skc5) (skc7))
% 23.30/23.68  (-. (human_person zenon_X40 zenon_X1037))
% 23.30/23.68  ((skc8) != zenon_X336)
% 23.30/23.68  ((skc8) != zenon_X932)
% 23.30/23.68  (zenon_X34 != zenon_X30)
% 23.30/23.68  ((skc7) != zenon_X730)
% 23.30/23.68  (-. (relname zenon_X78 (skc8)))
% 23.30/23.68  (-. (abstraction zenon_X76 zenon_X495))
% 23.30/23.68  ((skc8) != zenon_X966)
% 23.30/23.68  (zenon_X42 != zenon_X60)
% 23.30/23.68  ((skc6) != zenon_X544)
% 23.30/23.68  (-. (nonliving zenon_X4 (skc7)))
% 23.30/23.68  (zenon_X42 != zenon_X24)
% 23.30/23.68  (-. (unisex zenon_X20 zenon_X604))
% 23.30/23.68  (eventuality zenon_X76 (skc6))
% 23.30/23.68  ((skc6) != zenon_X914)
% 23.30/23.68  ((skc8) != zenon_X140)
% 23.30/23.68  (-. (act zenon_X48 zenon_X779))
% 23.30/23.68  (abstraction zenon_X10 (skc8))
% 23.30/23.68  (-. (woman zenon_X2 zenon_X772))
% 23.30/23.68  (-. (animate zenon_X56 zenon_X179))
% 23.30/23.68  (-. (female zenon_X26 (skc8)))
% 23.30/23.68  (-. (object zenon_X18 zenon_X853))
% 23.30/23.68  (-. (woman zenon_X68 zenon_X1199))
% 23.30/23.68  (-. (relation zenon_X32 zenon_X491))
% 23.30/23.68  (-. (general (skc5) (skc7)))
% 23.30/23.68  (-. (order zenon_X38 zenon_X640))
% 23.30/23.68  (-. (order zenon_X60 zenon_X338))
% 23.30/23.68  (-. (forename zenon_X56 zenon_X190))
% 23.30/23.68  ((skc8) != zenon_X1067)
% 23.30/23.68  ((skc9) != zenon_X1010)
% 23.30/23.68  (-. (specific zenon_X58 (skc6)))
% 23.30/23.68  ((skc9) != zenon_X685)
% 23.30/23.68  (-. (nonhuman zenon_X60 zenon_X709))
% 23.30/23.68  (-. (act zenon_X48 (skc6)))
% 23.30/23.68  ((skc6) != zenon_X405)
% 23.30/23.68  (-. (entity zenon_X68 (skc7)))
% 23.30/23.68  (zenon_X58 != zenon_X34)
% 23.30/23.68  (-. (woman zenon_X16 zenon_X846))
% 23.30/23.68  (-. (animate zenon_X2 zenon_X1117))
% 23.30/23.68  (beverage zenon_X26 (skc7))
% 23.30/23.68  ((skc8) != zenon_X47)
% 23.30/23.68  ((skc7) != zenon_X734)
% 23.30/23.68  ((skc9) != zenon_X483)
% 23.30/23.68  (-. (specific zenon_X34 (skc6)))
% 23.30/23.68  ((skc6) != zenon_X1)
% 23.30/23.68  ((skc7) != zenon_X920)
% 23.30/23.68  ((skc7) != zenon_X512)
% 23.30/23.68  (zenon_X10 != zenon_X54)
% 23.30/23.68  (-. (female zenon_X44 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X1030)
% 23.30/23.68  (-. (unisex zenon_X76 zenon_X689))
% 23.30/23.68  ((skc7) != zenon_X1036)
% 23.30/23.68  (-. (entity zenon_X56 zenon_X191))
% 23.30/23.68  (nonhuman (skc5) (skc8))
% 23.30/23.68  (-. (animate zenon_X40 zenon_X1207))
% 23.30/23.68  (zenon_X76 != zenon_X56)
% 23.30/23.68  (-. (eventuality zenon_X56 zenon_X697))
% 23.30/23.68  ((skc7) != zenon_X574)
% 23.30/23.68  (unisex zenon_X40 (skc7))
% 23.30/23.68  (-. (abstraction zenon_X30 zenon_X792))
% 23.30/23.68  (-. (order zenon_X18 zenon_X947))
% 23.30/23.68  (-. (nonexistent zenon_X42 (skc9)))
% 23.30/23.68  (-. (event zenon_X78 zenon_X791))
% 23.30/23.68  (-. (act zenon_X18 zenon_X950))
% 23.30/23.68  (-. (forename zenon_X14 zenon_X976))
% 23.30/23.68  ((skc7) != zenon_X803)
% 23.30/23.68  (object zenon_X80 (skc7))
% 23.30/23.68  ((skc6) != zenon_X162)
% 23.30/23.68  (specific zenon_X74 (skc7))
% 23.30/23.68  ((skc6) != zenon_X766)
% 23.30/23.68  (-. (object zenon_X2 zenon_X257))
% 23.30/23.68  (zenon_X44 != zenon_X14)
% 23.30/23.68  (-. (shake_beverage zenon_X18 zenon_X19))
% 23.30/23.68  ((skc6) != zenon_X791)
% 23.30/23.68  ((skc9) != zenon_X407)
% 23.30/23.68  (zenon_X18 != zenon_X2)
% 23.30/23.68  ((skc7) != zenon_X309)
% 23.30/23.68  (zenon_X40 != zenon_X58)
% 23.30/23.68  ((skc5) != zenon_X38)
% 23.30/23.68  (-. (event zenon_X2 zenon_X289))
% 23.30/23.68  (-. (eventuality zenon_X26 zenon_X426))
% 23.30/23.68  (-. (human_person zenon_X22 zenon_X1161))
% 23.30/23.68  (-. (animate zenon_X14 (skc9)))
% 23.30/23.68  ((skc7) != zenon_X166)
% 23.30/23.68  (-. (abstraction zenon_X34 zenon_X665))
% 23.30/23.68  (-. (living zenon_X44 (skc7)))
% 23.30/23.68  (zenon_X42 != zenon_X14)
% 23.30/23.68  (-. (forename zenon_X74 zenon_X1066))
% 23.30/23.68  ((skc6) != zenon_X426)
% 23.30/23.68  (zenon_X48 != zenon_X72)
% 23.30/23.68  ((skc7) != zenon_X1043)
% 23.30/23.68  ((skc9) != zenon_X771)
% 23.30/23.68  (-. (shake_beverage zenon_X44 zenon_X993))
% 23.30/23.68  (zenon_X54 != zenon_X16)
% 23.30/23.68  (unisex zenon_X80 (skc8))
% 23.30/23.68  (-. (entity zenon_X20 zenon_X813))
% 23.30/23.68  ((skc8) != zenon_X282)
% 23.30/23.68  ((skc9) != zenon_X1176)
% 23.30/23.68  ((skc6) != zenon_X126)
% 23.30/23.68  ((skc8) != zenon_X163)
% 23.30/23.68  (substance_matter zenon_X42 (skc7))
% 23.30/23.68  (unisex zenon_X44 (skc7))
% 23.30/23.68  (-. (eventuality zenon_X24 zenon_X216))
% 23.30/23.68  (zenon_X2 != zenon_X0)
% 23.30/23.68  ((skc6) != zenon_X91)
% 23.30/23.68  (-. (shake_beverage (skc5) zenon_X115))
% 23.30/23.68  (zenon_X4 != zenon_X24)
% 23.30/23.68  (-. (nonhuman zenon_X0 zenon_X654))
% 23.30/23.68  (thing zenon_X28 (skc7))
% 23.30/23.68  (zenon_X16 != zenon_X78)
% 23.30/23.68  (-. (entity zenon_X76 zenon_X920))
% 23.30/23.68  (-. (eventuality zenon_X18 zenon_X912))
% 23.30/23.68  (-. (order zenon_X2 zenon_X534))
% 23.30/23.68  (-. (nonliving zenon_X76 (skc7)))
% 23.30/23.68  (zenon_X42 != zenon_X2)
% 23.30/23.68  (-. (object zenon_X16 zenon_X570))
% 23.30/23.68  ((skc7) != zenon_X744)
% 23.30/23.68  (specific zenon_X2 (skc6))
% 23.30/23.68  (-. (substance_matter zenon_X14 zenon_X156))
% 23.30/23.68  ((skc9) != zenon_X624)
% 23.30/23.68  (-. (mia_forename zenon_X78 zenon_X567))
% 23.30/23.68  ((skc8) != zenon_X1061)
% 23.30/23.68  ((skc7) != zenon_X310)
% 23.30/23.68  (-. (specific zenon_X87 (skc6)))
% 23.30/23.68  (-. (existent zenon_X34 (skc7)))
% 23.30/23.68  (-. (object zenon_X24 zenon_X193))
% 23.30/23.68  (zenon_X22 != zenon_X74)
% 23.30/23.68  ((skc8) != zenon_X362)
% 23.30/23.68  (zenon_X58 != zenon_X78)
% 23.30/23.68  (-. (eventuality (skc5) zenon_X146))
% 23.30/23.68  ((skc9) != zenon_X456)
% 23.30/23.68  ((skc7) != zenon_X1168)
% 23.30/23.68  (-. (animate zenon_X10 (skc9)))
% 23.30/23.68  (-. (animate zenon_X78 zenon_X1124))
% 23.30/23.68  (entity zenon_X68 (skc9))
% 23.30/23.68  (-. (nonexistent zenon_X18 (skc9)))
% 23.30/23.68  (-. (nonliving zenon_X30 (skc7)))
% 23.30/23.68  (-. (entity zenon_X74 zenon_X486))
% 23.30/23.68  (-. (woman zenon_X58 zenon_X311))
% 23.30/23.68  ((skc6) != zenon_X95)
% 23.30/23.68  (specific zenon_X60 (skc9))
% 23.30/23.68  ((skc9) != zenon_X1222)
% 23.30/23.68  ((skc9) != zenon_X1030)
% 23.30/23.68  (nonhuman zenon_X18 (skc8))
% 23.30/23.68  (zenon_X18 != zenon_X34)
% 23.30/23.68  (zenon_X44 != zenon_X2)
% 23.30/23.68  (nonliving zenon_X38 (skc7))
% 23.30/23.68  ((skc9) != zenon_X212)
% 23.30/23.68  ((skc7) != zenon_X703)
% 23.30/23.68  (-. (abstraction zenon_X76 zenon_X558))
% 23.30/23.68  ((skc9) != zenon_X97)
% 23.30/23.68  (-. (order zenon_X2 zenon_X802))
% 23.30/23.68  ((skc8) != zenon_X453)
% 23.30/23.68  ((skc6) != zenon_X480)
% 23.30/23.68  ((skc8) != zenon_X848)
% 23.30/23.68  (zenon_X60 != zenon_X72)
% 23.30/23.68  (entity zenon_X74 (skc7))
% 23.30/23.68  ((skc7) != zenon_X439)
% 23.30/23.68  (-. (eventuality zenon_X22 zenon_X887))
% 23.30/23.68  (-. (general zenon_X32 (skc7)))
% 23.30/23.68  (-. (beverage zenon_X18 zenon_X883))
% 23.30/23.68  (-. (organism zenon_X76 zenon_X1018))
% 23.30/23.68  (-. (patient (skc5) (skc6) (skc9)))
% 23.30/23.68  (event zenon_X44 (skc6))
% 23.30/23.68  ((skc6) != zenon_X569)
% 23.30/23.68  ((skc6) != zenon_X129)
% 23.30/23.68  (-. (living zenon_X80 (skc7)))
% 23.30/23.68  (-. (specific zenon_X76 (skc7)))
% 23.30/23.68  (-. (shake_beverage zenon_X78 zenon_X983))
% 23.30/23.68  (-. (eventuality zenon_X34 zenon_X934))
% 23.30/23.68  (-. (unisex zenon_X82 (skc6)))
% 23.30/23.68  (zenon_X22 != zenon_X58)
% 23.30/23.68  (zenon_X18 != zenon_X82)
% 23.30/23.68  (-. (object zenon_X54 zenon_X284))
% 23.30/23.68  ((skc7) != zenon_X9)
% 23.30/23.68  (-. (entity zenon_X38 zenon_X321))
% 23.30/23.68  (zenon_X40 != zenon_X56)
% 23.30/23.68  (-. (object zenon_X10 zenon_X817))
% 23.30/23.68  (-. (human zenon_X40 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X489)
% 23.30/23.68  (-. (unisex zenon_X0 (skc8)))
% 23.30/23.68  (relname zenon_X18 (skc8))
% 23.30/23.68  (-. (entity zenon_X80 zenon_X94))
% 23.30/23.68  ((skc9) != zenon_X314)
% 23.30/23.68  (-. (food zenon_X14 (skc7)))
% 23.30/23.68  (-. (act zenon_X78 zenon_X449))
% 23.30/23.68  ((skc8) != (skc7))
% 23.30/23.68  (zenon_X52 != zenon_X2)
% 23.30/23.68  (unisex zenon_X20 (skc7))
% 23.30/23.68  ((skc5) != zenon_X52)
% 23.30/23.68  (zenon_X20 != zenon_X10)
% 23.30/23.68  (eventuality zenon_X80 (skc6))
% 23.30/23.68  (object zenon_X18 (skc7))
% 23.30/23.68  ((skc8) != zenon_X827)
% 23.30/23.68  (-. (human_person zenon_X32 zenon_X1111))
% 23.30/23.68  (zenon_X24 != zenon_X87)
% 23.30/23.68  (-. (abstraction zenon_X87 zenon_X160))
% 23.30/23.68  (-. (nonhuman zenon_X78 zenon_X79))
% 23.30/23.68  (-. (beverage zenon_X56 zenon_X826))
% 23.30/23.68  ((skc6) != zenon_X270)
% 23.30/23.68  (-. (entity zenon_X42 zenon_X1101))
% 23.30/23.68  (-. (order (skc5) zenon_X316))
% 23.30/23.68  (-. (nonexistent zenon_X56 (skc9)))
% 23.30/23.68  (-. (unisex zenon_X16 zenon_X270))
% 23.30/23.68  ((skc9) != zenon_X554)
% 23.30/23.68  (-. (food zenon_X54 zenon_X701))
% 23.30/23.68  (substance_matter zenon_X80 (skc7))
% 23.30/23.68  (-. (human_person zenon_X16 zenon_X1160))
% 23.30/23.68  ((skc7) != zenon_X1014)
% 23.30/23.68  (-. (general zenon_X80 (skc7)))
% 23.30/23.68  (zenon_X60 != zenon_X80)
% 23.30/23.68  (-. (unisex zenon_X4 (skc8)))
% 23.30/23.68  (-. (entity zenon_X76 zenon_X468))
% 23.30/23.68  (-. (relation zenon_X34 zenon_X1075))
% 23.30/23.68  ((skc7) != zenon_X113)
% 23.30/23.68  (-. (nonexistent zenon_X54 (skc9)))
% 23.30/23.68  ((skc7) != zenon_X1011)
% 23.30/23.68  ((skc5) != zenon_X84)
% 23.30/23.68  (entity (skc5) (skc9))
% 23.30/23.68  (-. (existent zenon_X10 zenon_X905))
% 23.30/23.68  (-. (substance_matter zenon_X42 zenon_X637))
% 23.30/23.68  ((skc7) != zenon_X443)
% 23.30/23.68  (general zenon_X50 (skc8))
% 23.30/23.68  ((skc6) != zenon_X214)
% 23.30/23.68  (zenon_X0 != zenon_X56)
% 23.30/23.68  ((skc7) != zenon_X1019)
% 23.30/23.68  (-. (unisex zenon_X68 zenon_X1173))
% 23.30/23.68  (-. (organism zenon_X32 zenon_X212))
% 23.30/23.68  (unisex zenon_X42 (skc8))
% 23.30/23.68  (-. (entity zenon_X78 zenon_X564))
% 23.30/23.68  (zenon_X68 != zenon_X87)
% 23.30/23.68  (zenon_X40 != zenon_X54)
% 23.30/23.68  (entity zenon_X32 (skc9))
% 23.30/23.68  (-. (beverage zenon_X10 zenon_X906))
% 23.30/23.68  (specific zenon_X22 (skc9))
% 23.30/23.68  ((skc5) != zenon_X58)
% 23.30/23.68  (-. (object zenon_X24 zenon_X448))
% 23.30/23.68  (-. (forename zenon_X80 zenon_X1035))
% 23.30/23.68  ((skc8) != zenon_X107)
% 23.30/23.68  ((skc7) != zenon_X922)
% 23.30/23.68  (-. (general zenon_X10 (skc6)))
% 23.30/23.68  (zenon_X18 != zenon_X30)
% 23.30/23.68  ((skc6) != zenon_X650)
% 23.30/23.68  (-. (shake_beverage zenon_X54 zenon_X876))
% 23.30/23.68  ((skc8) != zenon_X287)
% 23.30/23.68  (zenon_X82 != zenon_X14)
% 23.30/23.68  (zenon_X16 != zenon_X24)
% 23.30/23.68  (-. (animate zenon_X76 (skc9)))
% 23.30/23.68  (-. (order zenon_X56 zenon_X607))
% 23.30/23.68  (zenon_X72 != zenon_X78)
% 23.30/23.68  ((skc6) != zenon_X165)
% 23.30/23.68  (-. (event (skc5) zenon_X147))
% 23.30/23.68  (-. (nonhuman zenon_X20 zenon_X768))
% 23.30/23.68  ((skc7) != zenon_X1057)
% 23.30/23.68  (zenon_X34 != zenon_X78)
% 23.30/23.68  (-. (relation zenon_X44 zenon_X45))
% 23.30/23.68  (-. (event zenon_X52 (skc6)))
% 23.30/23.68  (-. (relation zenon_X30 (skc8)))
% 23.30/23.68  (zenon_X80 != zenon_X87)
% 23.30/23.68  (zenon_X10 != zenon_X60)
% 23.30/23.68  (-. (relation zenon_X2 zenon_X391))
% 23.30/23.68  (-. (entity zenon_X82 zenon_X1154))
% 23.30/23.68  (zenon_X32 != zenon_X80)
% 23.30/23.68  ((skc8) != zenon_X681)
% 23.30/23.68  (-. (woman zenon_X20 zenon_X933))
% 23.30/23.68  (zenon_X52 != zenon_X87)
% 23.30/23.68  (-. (mia_forename zenon_X44 zenon_X382))
% 23.30/23.68  (zenon_X60 != zenon_X16)
% 23.30/23.68  (-. (organism (skc5) zenon_X102))
% 23.30/23.68  (zenon_X80 != zenon_X14)
% 23.30/23.68  (eventuality zenon_X42 (skc6))
% 23.30/23.68  ((skc6) != zenon_X445)
% 23.30/23.68  ((skc7) != zenon_X949)
% 23.30/23.68  (-. (human_person zenon_X14 zenon_X613))
% 23.30/23.68  ((skc6) != zenon_X856)
% 23.30/23.68  ((skc8) != zenon_X270)
% 23.30/23.68  (-. (existent zenon_X78 (skc9)))
% 23.30/23.68  ((skc8) != zenon_X818)
% 23.30/23.68  (zenon_X44 != zenon_X38)
% 23.30/23.68  ((skc7) != zenon_X1069)
% 23.30/23.68  (-. (entity zenon_X52 zenon_X670))
% 23.30/23.68  (nonliving zenon_X26 (skc7))
% 23.30/23.68  (-. (organism zenon_X30 zenon_X291))
% 23.30/23.68  (-. (organism zenon_X40 zenon_X348))
% 23.30/23.68  (-. (forename zenon_X54 zenon_X171))
% 23.30/23.68  (-. (organism zenon_X62 zenon_X63))
% 23.30/23.68  (-. (substance_matter zenon_X56 zenon_X229))
% 23.30/23.68  (-. (eventuality zenon_X22 zenon_X239))
% 23.30/23.68  (-. (specific zenon_X76 (skc9)))
% 23.30/23.68  (-. (object zenon_X48 zenon_X618))
% 23.30/23.68  (-. (food zenon_X18 zenon_X936))
% 23.30/23.68  ((skc6) != zenon_X73)
% 23.30/23.68  (-. (animate zenon_X80 zenon_X1151))
% 23.30/23.68  (zenon_X22 != zenon_X44)
% 23.30/23.68  (-. (order zenon_X20 zenon_X675))
% 23.30/23.68  ((skc8) != zenon_X139)
% 23.30/23.68  (-. (entity zenon_X2 zenon_X309))
% 23.30/23.68  ((skc6) != zenon_X414)
% 23.30/23.68  (-. (relation zenon_X26 zenon_X435))
% 23.30/23.68  ((skc9) != zenon_X178)
% 23.30/23.68  (-. (woman zenon_X10 zenon_X299))
% 23.30/23.68  (-. (specific zenon_X4 zenon_X405))
% 23.30/23.68  (-. (human_person zenon_X68 zenon_X69))
% 23.30/23.68  (entity zenon_X40 (skc7))
% 23.30/23.68  (-. (act zenon_X30 (skc6)))
% 23.30/23.68  (-. (relname zenon_X80 zenon_X841))
% 23.30/23.68  (-. (relname zenon_X60 zenon_X809))
% 23.30/23.68  (-. (nonliving zenon_X68 (skc9)))
% 23.30/23.68  (-. (event zenon_X76 zenon_X207))
% 23.30/23.68  ((skc9) != zenon_X313)
% 23.30/23.68  (-. (mia_forename zenon_X22 zenon_X752))
% 23.30/23.68  ((skc7) != zenon_X161)
% 23.30/23.68  (-. (object zenon_X4 zenon_X403))
% 23.30/23.68  (zenon_X38 != zenon_X34)
% 23.30/23.68  (-. (object zenon_X20 zenon_X869))
% 23.30/23.68  (zenon_X44 != zenon_X10)
% 23.30/23.68  (-. (human_person zenon_X38 zenon_X1172))
% 23.30/23.68  (-. (agent zenon_X84 zenon_X85 zenon_X86))
% 23.30/23.68  (-. (abstraction zenon_X80 zenon_X820))
% 23.30/23.68  ((skc6) != zenon_X1025)
% 23.30/23.68  (-. (order zenon_X76 zenon_X487))
% 23.30/23.68  (-. (nonhuman zenon_X26 zenon_X548))
% 23.30/23.68  (-. (food zenon_X38 zenon_X530))
% 23.30/23.68  (-. (forename zenon_X4 zenon_X387))
% 23.30/23.68  (food zenon_X42 (skc7))
% 23.30/23.68  (-. (living (skc5) (skc7)))
% 23.30/23.68  (-. (eventuality zenon_X18 zenon_X804))
% 23.30/23.68  ((skc8) != zenon_X1054)
% 23.30/23.68  (zenon_X68 != zenon_X56)
% 23.30/23.68  (zenon_X74 != zenon_X34)
% 23.30/23.68  (-. (order zenon_X54 zenon_X611))
% 23.30/23.68  ((skc9) != zenon_X335)
% 23.30/23.68  (zenon_X42 != zenon_X0)
% 23.30/23.68  (-. (object zenon_X38 zenon_X329))
% 23.30/23.68  (-. (human zenon_X60 (skc8)))
% 23.30/23.68  (zenon_X0 != zenon_X34)
% 23.30/23.68  ((skc9) != zenon_X154)
% 23.30/23.68  (zenon_X48 != zenon_X58)
% 23.30/23.68  (-. (relname zenon_X30 (skc8)))
% 23.30/23.68  (-. (nonliving zenon_X74 zenon_X459))
% 23.30/23.68  (zenon_X52 != zenon_X58)
% 23.30/23.68  ((skc6) != zenon_X715)
% 23.30/23.68  ((skc7) != zenon_X23)
% 23.30/23.68  ((skc7) != zenon_X1191)
% 23.30/23.68  ((skc8) != zenon_X153)
% 23.30/23.68  (-. (human_person zenon_X30 zenon_X478))
% 23.30/23.68  ((skc6) != zenon_X659)
% 23.30/23.68  (existent zenon_X32 (skc9))
% 23.30/23.68  (-. (human_person zenon_X38 zenon_X381))
% 23.30/23.68  ((skc9) != zenon_X410)
% 23.30/23.68  (-. (general zenon_X2 (skc7)))
% 23.30/23.68  (zenon_X30 != zenon_X58)
% 23.30/23.68  (-. (food zenon_X0 zenon_X660))
% 23.30/23.68  (zenon_X44 != zenon_X87)
% 23.30/23.68  (specific zenon_X16 (skc6))
% 23.30/23.68  ((skc9) != zenon_X1101)
% 23.30/23.68  (animate zenon_X68 (skc9))
% 23.30/23.68  ((skc7) != zenon_X364)
% 23.30/23.68  (-. (eventuality zenon_X12 zenon_X13))
% 23.30/23.68  (-. (object zenon_X54 zenon_X330))
% 23.30/23.68  (-. (relname zenon_X18 zenon_X927))
% 23.30/23.68  ((skc8) != zenon_X250)
% 23.30/23.68  (zenon_X42 != zenon_X44)
% 23.30/23.68  ((skc6) != zenon_X231)
% 23.30/23.68  (-. (nonexistent zenon_X0 (skc7)))
% 23.30/23.68  (zenon_X26 != zenon_X52)
% 23.30/23.68  (zenon_X38 != zenon_X16)
% 23.30/23.68  (-. (forename zenon_X78 zenon_X610))
% 23.30/23.68  (specific zenon_X26 (skc6))
% 23.30/23.68  (-. (specific zenon_X54 zenon_X231))
% 23.30/23.68  ((skc7) != zenon_X123)
% 23.30/23.68  ((skc8) != zenon_X279)
% 23.30/23.68  ((skc7) != zenon_X743)
% 23.30/23.68  (-. (forename zenon_X72 zenon_X266))
% 23.30/23.68  (-. (abstraction zenon_X2 (skc8)))
% 23.30/23.68  (nonhuman zenon_X10 (skc8))
% 23.30/23.68  (-. (nonexistent zenon_X48 (skc9)))
% 23.30/23.68  ((skc5) != zenon_X78)
% 23.30/23.68  (-. (substance_matter zenon_X56 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X784)
% 23.30/23.68  ((skc8) != zenon_X571)
% 23.30/23.68  (-. (entity zenon_X87 zenon_X90))
% 23.30/23.68  (object zenon_X2 (skc7))
% 23.30/23.68  (-. (relname zenon_X32 (skc8)))
% 23.30/23.68  ((skc8) != zenon_X506)
% 23.30/23.68  (-. (animate zenon_X20 zenon_X1090))
% 23.30/23.68  (-. (human_person zenon_X26 zenon_X1224))
% 23.30/23.68  (-. (nonhuman zenon_X32 zenon_X553))
% 23.30/23.68  (zenon_X10 != zenon_X72)
% 23.30/23.68  ((skc7) != zenon_X211)
% 23.30/23.68  ((skc5) != zenon_X0)
% 23.30/23.68  (unisex zenon_X76 (skc6))
% 23.30/23.68  (zenon_X48 != zenon_X0)
% 23.30/23.68  (-. (abstraction zenon_X56 zenon_X930))
% 23.30/23.68  ((skc9) != zenon_X61)
% 23.30/23.68  (nonliving zenon_X22 (skc7))
% 23.30/23.68  ((skc8) != zenon_X53)
% 23.30/23.68  ((skc8) != zenon_X420)
% 23.30/23.68  (zenon_X76 != zenon_X74)
% 23.30/23.68  (zenon_X76 != zenon_X87)
% 23.30/23.68  (-. (abstraction zenon_X14 (skc8)))
% 23.30/23.68  (-. (beverage (skc5) zenon_X114))
% 23.30/23.68  ((skc8) != zenon_X306)
% 23.30/23.68  (forename zenon_X42 (skc8))
% 23.30/23.68  (-. (forename zenon_X38 zenon_X352))
% 23.30/23.68  ((skc7) != zenon_X761)
% 23.30/23.68  ((skc7) != zenon_X421)
% 23.30/23.68  (zenon_X10 != zenon_X58)
% 23.30/23.68  (-. (nonliving zenon_X82 zenon_X1150))
% 23.30/23.68  (-. (object zenon_X14 zenon_X527))
% 23.30/23.68  (-. (substance_matter zenon_X24 zenon_X25))
% 23.30/23.68  ((skc7) != zenon_X365)
% 23.30/23.68  (-. (entity zenon_X40 zenon_X1094))
% 23.30/23.68  (-. (thing zenon_X8 zenon_X9))
% 23.30/23.68  (-. (act zenon_X72 (skc6)))
% 23.30/23.68  (-. (organism zenon_X10 zenon_X233))
% 23.30/23.68  (-. (abstraction zenon_X40 zenon_X1095))
% 23.30/23.68  ((skc9) != zenon_X144)
% 23.30/23.68  (-. (organism zenon_X16 zenon_X422))
% 23.30/23.68  ((skc9) != zenon_X277)
% 23.30/23.68  (zenon_X42 != zenon_X56)
% 23.30/23.68  (-. (beverage zenon_X14 zenon_X581))
% 23.30/23.68  (-. (shake_beverage zenon_X72 zenon_X641))
% 23.30/23.68  (-. (abstraction zenon_X22 zenon_X295))
% 23.30/23.68  (zenon_X42 != zenon_X74)
% 23.30/23.68  (-. (human_person zenon_X56 zenon_X333))
% 23.30/23.68  (specific zenon_X10 (skc6))
% 23.30/23.68  (-. (female zenon_X38 (skc7)))
% 23.30/23.68  (zenon_X26 != zenon_X2)
% 23.30/23.68  (-. (general zenon_X30 (skc9)))
% 23.30/23.68  (-. (act zenon_X80 zenon_X732))
% 23.30/23.68  ((skc6) != zenon_X1181)
% 23.30/23.68  (-. (entity zenon_X54 zenon_X174))
% 23.30/23.68  (-. (general zenon_X80 (skc6)))
% 23.30/23.68  (-. (entity zenon_X32 zenon_X33))
% 23.30/23.68  ((skc9) != zenon_X979)
% 23.30/23.68  (zenon_X68 != zenon_X20)
% 23.30/23.68  (-. (general zenon_X0 (skc7)))
% 23.30/23.68  (-. (object zenon_X48 (skc7)))
% 23.30/23.68  (-. (relation zenon_X10 zenon_X755))
% 23.30/23.68  (-. (human zenon_X80 (skc8)))
% 23.30/23.68  (-. (entity zenon_X76 zenon_X590))
% 23.30/23.68  ((skc7) != zenon_X418)
% 23.30/23.68  (-. (object zenon_X44 zenon_X452))
% 23.30/23.68  (zenon_X4 != zenon_X14)
% 23.30/23.68  (zenon_X68 != zenon_X76)
% 23.30/23.68  (nonhuman zenon_X76 (skc8))
% 23.30/23.68  ((skc9) != zenon_X110)
% 23.30/23.68  (-. (object zenon_X52 zenon_X718))
% 23.30/23.68  (-. (event zenon_X38 (skc6)))
% 23.30/23.68  ((skc6) != zenon_X800)
% 23.30/23.68  (-. (unisex zenon_X0 (skc7)))
% 23.30/23.68  (-. (animate zenon_X76 zenon_X1123))
% 23.30/23.68  ((skc9) != zenon_X116)
% 23.30/23.68  (-. (order zenon_X26 zenon_X423))
% 23.30/23.68  (-. (specific zenon_X40 (skc6)))
% 23.30/23.68  (-. (eventuality zenon_X80 zenon_X856))
% 23.30/23.68  (-. (entity zenon_X30 (skc7)))
% 23.30/23.68  (-. (abstraction zenon_X22 (skc8)))
% 23.30/23.68  (specific zenon_X22 (skc7))
% 23.30/23.68  (-. (substance_matter zenon_X26 zenon_X493))
% 23.30/23.68  (-. (entity zenon_X74 zenon_X424))
% 23.30/23.68  (-. (unisex zenon_X82 zenon_X1168))
% 23.30/23.68  (-. (organism zenon_X72 zenon_X225))
% 23.30/23.68  (zenon_X42 != zenon_X22)
% 23.30/23.68  ((skc7) != zenon_X255)
% 23.30/23.68  (-. (human zenon_X10 (skc8)))
% 23.30/23.68  (-. (forename zenon_X26 zenon_X1092))
% 23.30/23.68  (zenon_X18 != zenon_X10)
% 23.30/23.68  (nonreflexive (skc5) (skc6))
% 23.30/23.68  (human_person (skc5) (skc9))
% 23.30/23.68  (-. (forename zenon_X58 (skc8)))
% 23.30/23.68  ((skc6) != zenon_X666)
% 23.30/23.68  ((skc8) != zenon_X219)
% 23.30/23.68  ((skc7) != zenon_X497)
% 23.30/23.68  (-. (entity zenon_X34 zenon_X700))
% 23.30/23.68  (-. (forename zenon_X60 zenon_X375))
% 23.30/23.68  (zenon_X56 != zenon_X14)
% 23.30/23.68  (-. (unisex zenon_X34 (skc6)))
% 23.30/23.68  ((skc9) != zenon_X181)
% 23.30/23.68  ((skc6) != zenon_X355)
% 23.30/23.68  (-. (abstraction zenon_X24 zenon_X397))
% 23.30/23.68  (abstraction zenon_X42 (skc8))
% 23.30/23.68  ((skc8) != zenon_X43)
% 23.30/23.68  (-. (object zenon_X20 zenon_X986))
% 23.30/23.68  (-. (entity zenon_X34 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X25)
% 23.30/23.68  ((skc9) != zenon_X262)
% 23.30/23.68  (-. (human_person zenon_X76 zenon_X680))
% 23.30/23.68  (-. (relation zenon_X14 zenon_X367))
% 23.30/23.68  (-. (forename zenon_X52 zenon_X369))
% 23.30/23.68  (-. (order zenon_X14 zenon_X345))
% 23.30/23.68  (female zenon_X70 (skc9))
% 23.30/23.68  (-. (beverage zenon_X74 zenon_X788))
% 23.30/23.68  (zenon_X52 != zenon_X48)
% 23.30/23.68  ((skc7) != zenon_X1115)
% 23.30/23.68  ((skc7) != zenon_X150)
% 23.30/23.68  (-. (substance_matter zenon_X32 zenon_X464))
% 23.30/23.68  ((skc8) != zenon_X766)
% 23.30/23.68  (zenon_X87 != zenon_X78)
% 23.30/23.68  (-. (object zenon_X52 zenon_X187))
% 23.30/23.68  ((skc8) != zenon_X558)
% 23.30/23.68  ((skc7) != zenon_X182)
% 23.30/23.68  ((skc7) != zenon_X1026)
% 23.30/23.68  (-. (act zenon_X74 zenon_X434))
% 23.30/23.68  ((skc8) != zenon_X99)
% 23.30/23.68  (-. (entity zenon_X74 zenon_X143))
% 23.30/23.68  (-. (food zenon_X48 zenon_X767))
% 23.30/23.68  (-. (substance_matter zenon_X72 (skc7)))
% 23.30/23.68  ((skc8) != zenon_X164)
% 23.30/23.68  (zenon_X2 != zenon_X60)
% 23.30/23.68  (zenon_X80 != zenon_X72)
% 23.30/23.68  (-. (forename (skc5) zenon_X204))
% 23.30/23.68  (unisex zenon_X24 (skc7))
% 23.30/23.68  (-. (existent zenon_X18 zenon_X1023))
% 23.30/23.68  (-. (substance_matter zenon_X76 (skc7)))
% 23.30/23.68  (-. (food zenon_X82 zenon_X1159))
% 23.30/23.68  (-. (animate zenon_X82 (skc9)))
% 23.30/23.68  ((skc8) != zenon_X595)
% 23.30/23.68  (unisex zenon_X38 (skc8))
% 23.30/23.68  (-. (event zenon_X18 zenon_X796))
% 23.30/23.68  (-. (event zenon_X10 zenon_X457))
% 23.30/23.68  ((skc7) != zenon_X277)
% 23.30/23.68  ((skc7) != zenon_X114)
% 23.30/23.68  ((skc7) != zenon_X636)
% 23.30/23.68  ((skc7) != zenon_X979)
% 23.30/23.68  (-. (eventuality zenon_X76 zenon_X463))
% 23.30/23.68  (-. (female zenon_X26 (skc6)))
% 23.30/23.68  (-. (animate zenon_X14 zenon_X1135))
% 23.30/23.68  ((skc7) != zenon_X136)
% 23.30/23.68  (zenon_X54 != zenon_X58)
% 23.30/23.68  (-. (object zenon_X42 zenon_X692))
% 23.30/23.68  (zenon_X60 != zenon_X14)
% 23.30/23.68  (-. (nonliving zenon_X40 zenon_X1024))
% 23.30/23.68  (-. (human_person zenon_X34 zenon_X1171))
% 23.30/23.68  (-. (entity zenon_X78 (skc9)))
% 23.30/23.68  (zenon_X0 != zenon_X20)
% 23.30/23.68  ((skc7) != zenon_X214)
% 23.30/23.68  (-. (human_person zenon_X56 zenon_X312))
% 23.30/23.68  (zenon_X14 != zenon_X78)
% 23.30/23.68  ((skc6) != zenon_X236)
% 23.30/23.68  (-. (forename zenon_X18 zenon_X1067))
% 23.30/23.68  (-. (substance_matter zenon_X4 zenon_X195))
% 23.30/23.68  ((skc9) != zenon_X1184)
% 23.30/23.68  ((skc8) != zenon_X1092)
% 23.30/23.68  ((skc7) != zenon_X464)
% 23.30/23.68  ((skc7) != zenon_X628)
% 23.30/23.68  (-. (abstraction zenon_X60 zenon_X383))
% 23.30/23.68  (zenon_X68 != zenon_X10)
% 23.30/23.68  (-. (female zenon_X87 (skc8)))
% 23.30/23.68  (-. (female zenon_X76 (skc6)))
% 23.30/23.68  (eventuality zenon_X18 (skc6))
% 23.30/23.68  (zenon_X76 != zenon_X72)
% 23.30/23.68  (-. (relation zenon_X22 zenon_X373))
% 23.30/23.68  (-. (eventuality zenon_X60 (skc6)))
% 23.30/23.68  (-. (organism zenon_X52 zenon_X366))
% 23.30/23.68  (zenon_X44 != zenon_X30)
% 23.30/23.68  (-. (eventuality zenon_X10 zenon_X11))
% 23.30/23.68  (zenon_X34 != zenon_X72)
% 23.30/23.68  ((skc7) != zenon_X465)
% 23.30/23.68  (-. (object zenon_X80 zenon_X959))
% 23.30/23.68  ((skc9) != zenon_X546)
% 23.30/23.68  (-. (nonexistent zenon_X20 (skc7)))
% 23.30/23.68  (zenon_X2 != zenon_X68)
% 23.30/23.68  ((skc7) != zenon_X554)
% 23.30/23.68  (-. (act zenon_X34 zenon_X1109))
% 23.30/23.68  ((skc8) != zenon_X521)
% 23.30/23.68  (-. (beverage zenon_X0 zenon_X931))
% 23.30/23.68  (zenon_X82 != zenon_X52)
% 23.30/23.68  ((skc8) != zenon_X654)
% 23.30/23.68  ((skc7) != zenon_X936)
% 23.30/23.68  (zenon_X20 != zenon_X4)
% 23.30/23.68  (-. (relation zenon_X56 zenon_X745))
% 23.30/23.68  (zenon_X68 != zenon_X48)
% 23.30/23.68  (zenon_X56 != zenon_X34)
% 23.30/23.68  (zenon_X40 != zenon_X34)
% 23.30/23.68  ((skc8) != zenon_X548)
% 23.30/23.68  ((skc7) != zenon_X843)
% 23.30/23.68  (zenon_X42 != zenon_X58)
% 23.30/23.68  (relname (skc5) (skc8))
% 23.30/23.68  (specific zenon_X42 (skc6))
% 23.30/23.68  (-. (general zenon_X38 (skc7)))
% 23.30/23.68  ((skc6) != zenon_X996)
% 23.30/23.68  (-. (specific zenon_X82 zenon_X1118))
% 23.30/23.68  ((skc9) != zenon_X201)
% 23.30/23.68  (-. (general zenon_X26 (skc7)))
% 23.30/23.68  ((skc9) != zenon_X442)
% 23.30/23.68  ((skc7) != zenon_X537)
% 23.30/23.68  (-. (eventuality zenon_X68 zenon_X1181))
% 23.30/23.68  (-. (food zenon_X80 zenon_X550))
% 23.30/23.68  (-. (nonhuman zenon_X2 zenon_X594))
% 23.30/23.68  (beverage zenon_X42 (skc7))
% 23.30/23.68  ((skc8) != zenon_X831)
% 23.30/23.68  ((skc6) != zenon_X1072)
% 23.30/23.68  ((skc7) != zenon_X260)
% 23.30/23.68  ((skc7) != zenon_X813)
% 23.30/23.68  (-. (order zenon_X44 zenon_X474))
% 23.30/23.68  (zenon_X60 != zenon_X4)
% 23.30/23.68  (-. (general zenon_X20 (skc9)))
% 23.30/23.68  (-. (order zenon_X54 zenon_X502))
% 23.30/23.68  (zenon_X22 != zenon_X82)
% 23.30/23.68  (-. (food zenon_X56 zenon_X862))
% 23.30/23.68  ((skc8) != zenon_X385)
% 23.30/23.68  (-. (relname zenon_X72 zenon_X218))
% 23.30/23.68  (zenon_X54 != zenon_X44)
% 23.30/23.68  (-. (woman zenon_X70 zenon_X71))
% 23.30/23.68  (-. (specific zenon_X32 (skc6)))
% 23.30/23.68  (-. (order zenon_X80 zenon_X625))
% 23.30/23.68  ((skc8) != zenon_X998)
% 23.30/23.68  (-. (mia_forename zenon_X30 zenon_X294))
% 23.30/23.68  (existent zenon_X48 (skc7))
% 23.30/23.68  (relation zenon_X38 (skc8))
% 23.30/23.68  (zenon_X80 != zenon_X16)
% 23.30/23.68  (-. (eventuality zenon_X38 zenon_X591))
% 23.30/23.68  (zenon_X80 != zenon_X74)
% 23.30/23.68  (-. (object zenon_X87 (skc7)))
% 23.30/23.68  ((skc8) != zenon_X367)
% 23.30/23.68  (-. (existent zenon_X0 zenon_X636))
% 23.30/23.68  (zenon_X68 != zenon_X58)
% 23.30/23.68  (-. (beverage zenon_X60 zenon_X713))
% 23.30/23.68  (unisex zenon_X32 (skc7))
% 23.30/23.68  (-. (event zenon_X40 zenon_X358))
% 23.30/23.68  ((skc6) != zenon_X950)
% 23.30/23.68  (-. (unisex zenon_X82 (skc8)))
% 23.30/23.68  (-. (nonhuman zenon_X44 zenon_X158))
% 23.30/23.68  ((skc8) != zenon_X854)
% 23.30/23.68  (entity zenon_X82 (skc7))
% 23.30/23.68  (-. (existent zenon_X32 zenon_X150))
% 23.30/23.68  ((skc9) != zenon_X173)
% 23.30/23.68  ((skc8) != zenon_X926)
% 23.30/23.68  ((skc8) != zenon_X95)
% 23.30/23.68  ((skc6) != zenon_X690)
% 23.30/23.68  ((skc9) != zenon_X377)
% 23.30/23.68  (zenon_X0 != zenon_X10)
% 23.30/23.68  (zenon_X2 != zenon_X34)
% 23.30/23.68  (zenon_X32 != zenon_X72)
% 23.30/23.68  (-. (eventuality zenon_X0 zenon_X549))
% 23.30/23.68  (-. (existent zenon_X74 zenon_X1104))
% 23.30/23.68  ((skc7) != zenon_X682)
% 23.30/23.68  ((skc7) != zenon_X650)
% 23.30/23.68  (-. (woman zenon_X80 zenon_X440))
% 23.30/23.68  (nonhuman zenon_X48 (skc8))
% 23.30/23.68  (act zenon_X0 (skc6))
% 23.30/23.68  ((skc7) != zenon_X649)
% 23.30/23.68  (zenon_X76 != zenon_X4)
% 23.30/23.68  (-. (eventuality zenon_X56 (skc6)))
% 23.30/23.68  (zenon_X10 != zenon_X32)
% 23.30/23.68  (event zenon_X0 (skc6))
% 23.30/23.68  (-. (mia_forename zenon_X80 zenon_X135))
% 23.30/23.68  (-. (forename zenon_X20 zenon_X812))
% 23.30/23.68  (-. (abstraction zenon_X82 zenon_X1073))
% 23.30/23.68  (-. (object zenon_X60 (skc7)))
% 23.30/23.68  ((skc6) != zenon_X308)
% 23.30/23.68  (zenon_X68 != zenon_X54)
% 23.30/23.68  ((skc8) != zenon_X672)
% 23.30/23.68  (-. (human_person zenon_X78 zenon_X597))
% 23.30/23.68  (existent zenon_X2 (skc7))
% 23.30/23.68  ((skc6) != zenon_X734)
% 23.30/23.68  (zenon_X38 != zenon_X82)
% 23.30/23.68  (-. (living zenon_X20 (skc7)))
% 23.30/23.68  (-. (human zenon_X38 (skc8)))
% 23.30/23.68  (-. (abstraction zenon_X74 (skc8)))
% 23.30/23.68  ((skc6) != zenon_X116)
% 23.30/23.68  ((skc8) != zenon_X390)
% 23.30/23.68  (-. (entity zenon_X10 (skc7)))
% 23.30/23.68  (-. (unisex zenon_X10 zenon_X282))
% 23.30/23.68  ((skc7) != zenon_X766)
% 23.30/23.68  ((skc7) != zenon_X129)
% 23.30/23.68  (-. (object zenon_X60 zenon_X251))
% 23.30/23.68  (-. (nonhuman zenon_X54 zenon_X523))
% 23.30/23.68  (-. (human_person zenon_X72 zenon_X838))
% 23.30/23.68  ((skc7) != zenon_X292)
% 23.30/23.68  (-. (unisex zenon_X72 zenon_X73))
% 23.30/23.68  (relation zenon_X10 (skc8))
% 23.30/23.68  (-. (beverage zenon_X24 zenon_X888))
% 23.30/23.68  (unisex zenon_X10 (skc8))
% 23.30/23.68  ((skc7) != zenon_X252)
% 23.30/23.68  (-. (organism zenon_X4 zenon_X335))
% 23.30/23.68  (zenon_X80 != zenon_X76)
% 23.30/23.68  (-. (unisex zenon_X74 zenon_X569))
% 23.30/23.68  (-. (specific zenon_X60 (skc6)))
% 23.30/23.68  ((skc9) != zenon_X278)
% 23.30/23.68  (unisex zenon_X26 (skc6))
% 23.30/23.68  ((skc8) != zenon_X617)
% 23.30/23.68  ((skc7) != zenon_X238)
% 23.30/23.68  (-. (object zenon_X58 zenon_X960))
% 23.30/23.68  (unisex zenon_X14 (skc6))
% 23.30/23.68  (-. (human_person zenon_X54 zenon_X196))
% 23.30/23.68  (-. (entity zenon_X78 zenon_X515))
% 23.30/23.68  (-. (animate zenon_X60 (skc9)))
% 23.30/23.68  ((skc9) != zenon_X184)
% 23.30/23.68  (zenon_X4 != zenon_X72)
% 23.30/23.68  (zenon_X24 != zenon_X34)
% 23.30/23.68  ((skc7) != zenon_X535)
% 23.30/23.68  (-. (specific zenon_X78 zenon_X445))
% 23.30/23.68  ((skc7) != zenon_X1222)
% 23.30/23.68  (zenon_X68 != zenon_X72)
% 23.30/23.68  ((skc6) != zenon_X241)
% 23.30/23.68  (-. (object (skc5) zenon_X168))
% 23.30/23.68  (-. (relation zenon_X16 (skc8)))
% 23.30/23.68  (-. (female zenon_X38 (skc8)))
% 23.30/23.68  ((skc8) != zenon_X374)
% 23.30/23.68  (-. (unisex zenon_X58 zenon_X617))
% 23.30/23.68  ((skc6) != zenon_X520)
% 23.30/23.68  ((skc8) != zenon_X864)
% 23.30/23.68  (-. (nonhuman zenon_X32 (skc8)))
% 23.30/23.68  (-. (order zenon_X14 zenon_X609))
% 23.30/23.68  (entity zenon_X38 (skc9))
% 23.30/23.68  (human_person zenon_X56 (skc9))
% 23.30/23.68  ((skc6) != zenon_X272)
% 23.30/23.68  ((skc5) != zenon_X54)
% 23.30/23.68  (-. (forename zenon_X87 zenon_X1015))
% 23.30/23.68  (-. (food zenon_X58 (skc7)))
% 23.30/23.68  (-. (animate zenon_X42 zenon_X997))
% 23.30/23.68  (-. (animate zenon_X58 zenon_X1141))
% 23.30/23.68  ((skc7) != (skc9))
% 23.30/23.68  (zenon_X38 != zenon_X48)
% 23.30/23.68  ((skc8) != zenon_X715)
% 23.30/23.68  (-. (food zenon_X68 zenon_X1185))
% 23.30/23.68  (zenon_X80 != zenon_X10)
% 23.30/23.68  (-. (woman zenon_X54 zenon_X217))
% 23.30/23.68  (-. (organism zenon_X48 zenon_X764))
% 23.30/23.68  (-. (act zenon_X0 zenon_X795))
% 23.30/23.68  (-. (object zenon_X16 zenon_X344))
% 23.30/23.68  (-. (beverage zenon_X20 zenon_X21))
% 23.30/23.68  ((skc7) != zenon_X361)
% 23.30/23.68  (-. (forename zenon_X58 zenon_X1031))
% 23.30/23.68  (zenon_X42 != zenon_X76)
% 23.30/23.68  (-. (nonexistent zenon_X48 (skc7)))
% 23.30/23.68  (abstraction zenon_X40 (skc8))
% 23.30/23.68  (zenon_X18 != zenon_X22)
% 23.30/23.68  (zenon_X40 != zenon_X72)
% 23.30/23.68  ((skc6) != zenon_X7)
% 23.30/23.68  (-. (eventuality zenon_X87 zenon_X516))
% 23.30/23.68  (-. (animate zenon_X26 zenon_X1212))
% 23.30/23.68  (-. (forename (skc5) zenon_X103))
% 23.30/23.68  (zenon_X24 != zenon_X76)
% 23.30/23.68  (-. (object zenon_X58 zenon_X169))
% 23.30/23.68  (-. (female zenon_X44 (skc6)))
% 23.30/23.68  ((skc8) != zenon_X709)
% 23.30/23.68  (-. (event zenon_X26 zenon_X446))
% 23.30/23.68  (-. (animate zenon_X58 (skc9)))
% 23.30/23.68  ((skc9) != zenon_X1043)
% 23.30/23.68  (-. (eventuality zenon_X40 zenon_X349))
% 23.30/23.68  (zenon_X40 != zenon_X30)
% 23.30/23.68  ((skc6) != zenon_X183)
% 23.30/23.68  ((skc6) != zenon_X149)
% 23.30/23.68  ((skc6) != zenon_X540)
% 23.30/23.68  ((skc7) != zenon_X480)
% 23.30/23.68  (-. (organism zenon_X14 zenon_X372))
% 23.30/23.68  ((skc9) != zenon_X1055)
% 23.30/23.68  ((skc9) != zenon_X145)
% 23.30/23.68  (-. (event zenon_X30 zenon_X297))
% 23.30/23.68  (-. (female zenon_X42 (skc6)))
% 23.30/23.68  (-. (human_person zenon_X26 zenon_X178))
% 23.30/23.68  ((skc7) != zenon_X687)
% 23.30/23.68  (zenon_X40 != zenon_X44)
% 23.30/23.68  ((skc7) != zenon_X35)
% 23.30/23.68  ((skc7) != zenon_X647)
% 23.30/23.68  (-. (entity zenon_X40 zenon_X1030))
% 23.30/23.68  (-. (eventuality zenon_X20 zenon_X427))
% 23.30/23.68  ((skc5) != zenon_X22)
% 23.30/23.68  (specific zenon_X40 (skc7))
% 23.30/23.68  (-. (female zenon_X10 (skc8)))
% 23.30/23.68  (-. (human_person zenon_X44 zenon_X494))
% 23.30/23.68  ((skc6) != zenon_X462)
% 23.30/23.68  (existent zenon_X74 (skc7))
% 23.30/23.68  ((skc7) != zenon_X164)
% 23.30/23.68  ((skc9) != zenon_X252)
% 23.30/23.68  ((skc7) != zenon_X996)
% 23.30/23.68  (-. (human_person zenon_X52 zenon_X1169))
% 23.30/23.68  (-. (entity zenon_X30 (skc9)))
% 23.30/23.68  (-. (order zenon_X52 zenon_X293))
% 23.30/23.68  ((skc6) != zenon_X359)
% 23.30/23.68  (existent zenon_X72 (skc9))
% 23.30/23.68  (-. (object zenon_X78 zenon_X439))
% 23.30/23.68  (-. (female zenon_X18 (skc8)))
% 23.30/23.68  (-. (unisex zenon_X82 (skc7)))
% 23.30/23.68  (-. (beverage zenon_X87 zenon_X783))
% 23.30/23.68  (-. (shake_beverage zenon_X80 zenon_X1065))
% 23.30/23.68  (-. (substance_matter zenon_X44 zenon_X429))
% 23.30/23.68  (-. (abstraction zenon_X20 (skc8)))
% 23.30/23.68  (-. (object zenon_X34 zenon_X977))
% 23.30/23.68  (-. (food zenon_X22 zenon_X23))
% 23.30/23.68  (-. (woman zenon_X76 zenon_X1003))
% 23.30/23.68  (zenon_X76 != zenon_X38)
% 23.30/23.68  ((skc6) != zenon_X496)
% 23.30/23.68  ((skc5) != zenon_X76)
% 23.30/23.68  (zenon_X68 != zenon_X44)
% 23.30/23.68  (-. (existent zenon_X52 zenon_X725))
% 23.30/23.68  ((skc6) != zenon_X349)
% 23.30/23.68  ((skc7) != zenon_X183)
% 23.30/23.68  (-. (order zenon_X82 zenon_X1021))
% 23.30/23.68  (-. (shake_beverage zenon_X76 zenon_X1048))
% 23.30/23.68  (-. (forename zenon_X2 zenon_X420))
% 23.30/23.68  (-. (nonliving zenon_X44 zenon_X475))
% 23.30/23.68  ((skc7) != zenon_X19)
% 23.30/23.68  (-. (general zenon_X76 (skc6)))
% 23.30/23.68  (-. (eventuality zenon_X44 zenon_X355))
% 23.30/23.68  ((skc6) != zenon_X446)
% 23.30/23.68  ((skc7) != zenon_X874)
% 23.30/23.68  (-. (organism zenon_X80 zenon_X117))
% 23.30/23.68  ((skc8) != zenon_X927)
% 23.30/23.68  (-. (existent zenon_X54 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X459)
% 23.30/23.68  (-. (general zenon_X60 (skc9)))
% 23.30/23.68  (-. (eventuality zenon_X4 zenon_X496))
% 23.30/23.68  (-. (specific zenon_X48 (skc6)))
% 23.30/23.68  ((skc9) != zenon_X155)
% 23.30/23.68  (-. (entity zenon_X34 zenon_X1085))
% 23.30/23.68  (-. (eventuality zenon_X16 zenon_X264))
% 23.30/23.68  ((skc9) != zenon_X1053)
% 23.30/23.68  ((skc7) != zenon_X751)
% 23.30/23.68  (-. (entity zenon_X2 zenon_X647))
% 23.30/23.68  (-. (object zenon_X82 zenon_X1088))
% 23.30/23.68  ((skc9) != zenon_X602)
% 23.30/23.68  (-. (eventuality zenon_X24 zenon_X507))
% 23.30/23.68  (-. (mia_forename zenon_X82 zenon_X1149))
% 23.30/23.68  (unisex zenon_X42 (skc6))
% 23.30/23.68  (zenon_X0 != zenon_X16)
% 23.30/23.68  (human_person zenon_X26 (skc9))
% 23.30/23.68  (-. (unisex zenon_X74 (skc8)))
% 23.30/23.68  (-. (eventuality zenon_X82 zenon_X1129))
% 23.30/23.68  (-. (woman zenon_X56 zenon_X57))
% 23.30/23.68  ((skc8) != zenon_X118)
% 23.30/23.68  (-. (object zenon_X22 zenon_X705))
% 23.30/23.68  (-. (human zenon_X58 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X445)
% 23.30/23.68  (-. (entity zenon_X78 (skc7)))
% 23.30/23.68  (specific zenon_X0 (skc7))
% 23.30/23.68  (-. (abstraction zenon_X2 zenon_X288))
% 23.30/23.68  (eventuality zenon_X26 (skc6))
% 23.30/23.68  (nonliving zenon_X18 (skc7))
% 23.30/23.68  (shake_beverage (skc5) (skc7))
% 23.30/23.68  (-. (entity zenon_X72 (skc9)))
% 23.30/23.68  (entity zenon_X38 (skc7))
% 23.30/23.68  (-. (entity zenon_X28 zenon_X29))
% 23.30/23.68  (-. (mia_forename zenon_X58 zenon_X240))
% 23.30/23.68  (organism zenon_X2 (skc9))
% 23.30/23.68  (object zenon_X44 (skc7))
% 23.30/23.68  (-. (shake_beverage zenon_X42 zenon_X948))
% 23.30/23.68  ((skc9) != zenon_X730)
% 23.30/23.68  (-. (entity zenon_X60 zenon_X184))
% 23.30/23.68  (zenon_X56 != zenon_X4)
% 23.30/23.68  (-. (nonliving zenon_X14 zenon_X477))
% 23.30/23.68  (-. (specific zenon_X0 zenon_X554))
% 23.30/23.68  (-. (existent zenon_X48 zenon_X1043))
% 23.30/23.68  (-. (nonhuman zenon_X34 (skc8)))
% 23.30/23.68  (substance_matter zenon_X44 (skc7))
% 23.30/23.68  ((skc7) != zenon_X323)
% 23.30/23.68  (zenon_X26 != zenon_X48)
% 23.30/23.68  (zenon_X38 != zenon_X74)
% 23.30/23.68  (impartial zenon_X62 (skc9))
% 23.30/23.68  (-. (unisex zenon_X52 (skc6)))
% 23.30/23.68  (-. (human_person zenon_X66 zenon_X67))
% 23.30/23.68  (zenon_X4 != zenon_X74)
% 23.30/23.68  (-. (relname zenon_X32 zenon_X781))
% 23.30/23.68  (nonhuman zenon_X40 (skc8))
% 23.30/23.68  (zenon_X38 != zenon_X52)
% 23.30/23.68  (-. (beverage zenon_X56 (skc7)))
% 23.30/23.68  (-. (animate zenon_X4 zenon_X1125))
% 23.30/23.68  (-. (mia_forename zenon_X60 zenon_X209))
% 23.30/23.68  ((skc9) != zenon_X1188)
% 23.30/23.68  (zenon_X18 != zenon_X74)
% 23.30/23.68  (-. (relation zenon_X0 zenon_X872))
% 23.30/23.68  ((skc8) != zenon_X877)
% 23.30/23.68  (-. (nonhuman zenon_X22 zenon_X577))
% 23.30/23.68  ((skc8) != zenon_X288)
% 23.30/23.68  (zenon_X18 != zenon_X32)
% 23.30/23.68  (zenon_X38 != zenon_X22)
% 23.30/23.68  (-. (entity zenon_X26 zenon_X407))
% 23.30/23.68  (-. (act zenon_X16 zenon_X263))
% 23.30/23.68  (-. (forename zenon_X42 zenon_X1061))
% 23.30/23.68  (-. (food zenon_X16 zenon_X508))
% 23.30/23.68  (-. (forename zenon_X26 zenon_X279))
% 23.30/23.68  ((skc8) != zenon_X689)
% 23.30/23.68  (-. (existent zenon_X60 zenon_X134))
% 23.30/23.68  (zenon_X22 != zenon_X10)
% 23.30/23.68  (zenon_X38 != zenon_X30)
% 23.30/23.68  (-. (order zenon_X68 zenon_X1162))
% 23.30/23.68  (-. (nonexistent zenon_X26 (skc9)))
% 23.30/23.68  (-. (order zenon_X10 zenon_X629))
% 23.30/23.68  ((skc7) != zenon_X251)
% 23.30/23.68  (-. (forename zenon_X26 zenon_X276))
% 23.30/23.68  (zenon_X56 != zenon_X78)
% 23.30/23.68  (-. (food zenon_X58 zenon_X763))
% 23.30/23.68  (-. (nonhuman zenon_X14 zenon_X910))
% 23.30/23.68  (zenon_X2 != zenon_X82)
% 23.30/23.68  (unisex zenon_X26 (skc8))
% 23.30/23.68  (-. (event zenon_X78 (skc6)))
% 23.30/23.68  (zenon_X22 != zenon_X78)
% 23.30/23.68  (-. (entity zenon_X42 zenon_X649))
% 23.30/23.68  (-. (organism zenon_X68 zenon_X1138))
% 23.30/23.68  (specific zenon_X82 (skc7))
% 23.30/23.68  (zenon_X2 != zenon_X72)
% 23.30/23.68  (zenon_X80 != zenon_X24)
% 23.30/23.68  (-. (unisex zenon_X56 zenon_X904))
% 23.30/23.68  ((skc7) != zenon_X112)
% 23.30/23.68  (-. (object zenon_X26 zenon_X324))
% 23.30/23.68  (-. (forename zenon_X80 zenon_X1106))
% 23.30/23.68  (-. (entity zenon_X38 zenon_X751))
% 23.30/23.68  (zenon_X42 != zenon_X34)
% 23.30/23.68  (-. (specific zenon_X60 zenon_X157))
% 23.30/23.68  ((skc7) != zenon_X388)
% 23.30/23.68  (-. (forename zenon_X42 zenon_X822))
% 23.30/23.68  (-. (specific zenon_X56 (skc6)))
% 23.30/23.68  ((skc5) != zenon_X80)
% 23.30/23.68  (-. (substance_matter zenon_X52 (skc7)))
% 23.30/23.68  ((skc9) != zenon_X465)
% 23.30/23.68  (-. (food zenon_X60 zenon_X450))
% 23.30/23.68  (-. (eventuality zenon_X34 zenon_X1076))
% 23.30/23.68  (-. (woman zenon_X52 zenon_X1006))
% 23.30/23.68  (-. (mia_forename zenon_X48 zenon_X711))
% 23.30/23.68  (zenon_X82 != zenon_X76)
% 23.30/23.68  (-. (mia_forename zenon_X26 zenon_X268))
% 23.30/23.68  ((skc7) != zenon_X246)
% 23.30/23.68  ((skc8) != zenon_X768)
% 23.30/23.68  (entity zenon_X26 (skc9))
% 23.30/23.68  (-. (relation zenon_X42 zenon_X1000))
% 23.30/23.68  (-. (woman zenon_X32 zenon_X267))
% 23.30/23.68  (-. (human_person zenon_X58 zenon_X59))
% 23.30/23.68  (-. (nonexistent zenon_X40 (skc7)))
% 23.30/23.68  (-. (event zenon_X32 zenon_X501))
% 23.30/23.68  (-. (mia_forename zenon_X34 zenon_X1113))
% 23.30/23.68  (zenon_X42 != zenon_X38)
% 23.30/23.68  (-. (order zenon_X80 zenon_X599))
% 23.30/23.68  (zenon_X76 != zenon_X52)
% 23.30/23.68  ((skc9) != zenon_X100)
% 23.30/23.68  (unisex zenon_X10 (skc6))
% 23.30/23.68  (zenon_X52 != zenon_X56)
% 23.30/23.68  (-. (object zenon_X80 zenon_X376))
% 23.30/23.68  ((skc7) != zenon_X546)
% 23.30/23.68  (unisex zenon_X48 (skc8))
% 23.30/23.68  (-. (entity zenon_X72 zenon_X472))
% 23.30/23.68  (-. (forename zenon_X54 zenon_X336))
% 23.30/23.68  (-. (beverage zenon_X87 (skc7)))
% 23.30/23.68  (-. (forename zenon_X20 zenon_X896))
% 23.30/23.68  ((skc6) != zenon_X3)
% 23.30/23.68  ((skc7) != zenon_X853)
% 23.30/23.68  (zenon_X38 != zenon_X10)
% 23.30/23.68  ((skc7) != zenon_X448)
% 23.30/23.68  (-. (object zenon_X72 zenon_X956))
% 23.30/23.68  (-. (nonliving zenon_X78 (skc7)))
% 23.30/23.68  (entity zenon_X2 (skc9))
% 23.30/23.68  (-. (food zenon_X26 zenon_X747))
% 23.30/23.68  (-. (abstraction zenon_X50 zenon_X51))
% 23.30/23.68  (zenon_X42 != zenon_X48)
% 23.30/23.68  (zenon_X2 != zenon_X22)
% 23.30/23.68  (zenon_X30 != zenon_X54)
% 23.30/23.68  ((skc7) != zenon_X33)
% 23.30/23.68  ((skc9) != zenon_X159)
% 23.30/23.68  (-. (entity zenon_X48 zenon_X899))
% 23.30/23.68  ((skc8) != zenon_X965)
% 23.30/23.68  (-. (object zenon_X26 zenon_X855))
% 23.30/23.68  (zenon_X74 != zenon_X78)
% 23.30/23.68  ((skc7) != zenon_X715)
% 23.30/23.68  (zenon_X44 != zenon_X82)
% 23.30/23.68  (-. (specific zenon_X40 zenon_X1055))
% 23.30/23.68  (-. (eventuality zenon_X48 zenon_X895))
% 23.30/23.68  ((skc9) != zenon_X312)
% 23.30/23.68  ((skc7) != zenon_X168)
% 23.30/23.68  (-. (food zenon_X4 (skc7)))
% 23.30/23.68  (zenon_X60 != zenon_X74)
% 23.30/23.68  (existent zenon_X0 (skc7))
% 23.30/23.68  (relname zenon_X54 (skc8))
% 23.30/23.68  ((skc9) != zenon_X462)
% 23.30/23.68  (-. (act zenon_X26 zenon_X517))
% 23.30/23.68  (-. (object zenon_X44 zenon_X575))
% 23.30/23.68  ((skc5) != zenon_X40)
% 23.30/23.68  (nonexistent zenon_X12 (skc6))
% 23.30/23.68  (zenon_X30 != zenon_X87)
% 23.30/23.68  (-. (nonliving zenon_X26 zenon_X803))
% 23.30/23.68  (-. (nonexistent zenon_X52 (skc9)))
% 23.30/23.68  (-. (relname zenon_X40 zenon_X1042))
% 23.30/23.68  (-. (eventuality zenon_X72 zenon_X773))
% 23.30/23.68  (-. (specific zenon_X20 (skc6)))
% 23.30/23.68  (zenon_X4 != zenon_X48)
% 23.30/23.68  (specific zenon_X80 (skc6))
% 23.30/23.68  (-. (abstraction zenon_X60 zenon_X848))
% 23.30/23.68  (-. (shake_beverage zenon_X20 zenon_X865))
% 23.30/23.68  (-. (general zenon_X68 (skc6)))
% 23.30/23.68  (-. (human_person zenon_X87 (skc9)))
% 23.30/23.68  (-. (general zenon_X58 (skc9)))
% 23.30/23.68  (-. (nonliving zenon_X54 (skc7)))
% 23.30/23.68  (entity zenon_X54 (skc9))
% 23.30/23.68  (-. (nonliving zenon_X26 (skc9)))
% 23.30/23.68  (existent zenon_X58 (skc9))
% 23.30/23.68  (-. (entity zenon_X14 (skc9)))
% 23.30/23.68  ((skc7) != zenon_X855)
% 23.30/23.68  (zenon_X20 != zenon_X60)
% 23.30/23.68  (-. (act zenon_X76 zenon_X438))
% 23.30/23.68  ((skc6) != zenon_X9)
% 23.30/23.68  ((skc5) != zenon_X72)
% 23.30/23.68  (zenon_X40 != zenon_X10)
% 23.30/23.68  (-. (substance_matter zenon_X87 zenon_X228))
% 23.30/23.68  (food zenon_X18 (skc7))
% 23.30/23.68  (nonhuman zenon_X80 (skc8))
% 23.30/23.68  (-. (human_person zenon_X2 zenon_X1122))
% 23.30/23.68  (existent (skc5) (skc9))
% 23.30/23.68  (entity zenon_X22 (skc7))
% 23.30/23.68  (eventuality zenon_X44 (skc6))
% 23.30/23.68  (-. (forename zenon_X16 zenon_X1016))
% 23.30/23.68  (-. (relation zenon_X78 (skc8)))
% 23.30/23.68  (zenon_X18 != zenon_X16)
% 23.30/23.68  (-. (eventuality zenon_X78 zenon_X873))
% 23.30/23.68  (-. (eventuality zenon_X0 zenon_X631))
% 23.30/23.68  (-. (forename zenon_X0 zenon_X1049))
% 23.30/23.68  (-. (human_person zenon_X30 zenon_X1163))
% 23.30/23.68  (event zenon_X26 (skc6))
% 23.30/23.68  (zenon_X42 != zenon_X80)
% 23.30/23.68  (zenon_X0 != zenon_X32)
% 23.30/23.68  (-. (object zenon_X72 zenon_X96))
% 23.30/23.68  (-. (object zenon_X32 zenon_X703))
% 23.30/23.68  ((skc7) != zenon_X729)
% 23.30/23.68  (entity zenon_X2 (skc7))
% 23.30/23.68  ((skc8) != zenon_X129)
% 23.30/23.68  (zenon_X48 != zenon_X82)
% 23.30/23.68  ((skc9) != zenon_X1094)
% 23.30/23.68  (-. (abstraction zenon_X24 zenon_X736))
% 23.30/23.68  (-. (beverage zenon_X82 zenon_X1205))
% 23.30/23.68  (-. (woman zenon_X38 zenon_X928))
% 23.30/23.68  (-. (woman zenon_X87 zenon_X221))
% 23.30/23.68  ((skc7) != zenon_X185)
% 23.30/23.68  (unisex zenon_X76 (skc8))
% 23.30/23.68  ((skc7) != zenon_X167)
% 23.30/23.68  (-. (entity zenon_X10 zenon_X750))
% 23.30/23.68  (-. (existent zenon_X58 zenon_X235))
% 23.30/23.68  ((skc6) != zenon_X137)
% 23.30/23.68  (-. (food zenon_X44 zenon_X476))
% 23.30/23.68  ((skc8) != zenon_X734)
% 23.30/23.68  (-. (organism zenon_X34 zenon_X1081))
% 23.30/23.68  (-. (specific (skc5) zenon_X144))
% 23.30/23.68  (zenon_X22 != zenon_X24)
% 23.30/23.68  ((skc6) != zenon_X337)
% 23.30/23.68  ((skc8) != zenon_X777)
% 23.30/23.68  (abstraction zenon_X60 (skc8))
% 23.30/23.68  ((skc7) != zenon_X1045)
% 23.30/23.68  (zenon_X40 != zenon_X60)
% 23.30/23.68  (-. (unisex zenon_X16 (skc8)))
% 23.30/23.68  (-. (entity zenon_X16 (skc9)))
% 23.30/23.68  ((skc6) != zenon_X157)
% 23.30/23.68  (-. (forename zenon_X24 zenon_X200))
% 23.30/23.68  (zenon_X38 != zenon_X78)
% 23.30/23.68  (-. (relation zenon_X38 zenon_X385))
% 23.30/23.68  (-. (event zenon_X48 zenon_X867))
% 23.30/23.68  (-. (abstraction zenon_X40 zenon_X1086))
% 23.30/23.68  (-. (object zenon_X54 zenon_X1078))
% 23.30/23.68  (nonliving zenon_X40 (skc7))
% 23.30/23.68  (-. (entity zenon_X82 zenon_X1115))
% 23.30/23.68  ((skc8) != zenon_X401)
% 23.30/23.68  (-. (animate zenon_X16 zenon_X1133))
% 23.30/23.68  (relation zenon_X18 (skc8))
% 23.30/23.68  ((skc9) != zenon_X515)
% 23.30/23.68  (-. (order zenon_X42 zenon_X690))
% 23.30/23.68  ((skc7) != zenon_X359)
% 23.30/23.68  (singleton zenon_X8 (skc9))
% 23.30/23.68  ((skc7) != zenon_X1055)
% 23.30/23.68  (zenon_X54 != zenon_X78)
% 23.30/23.68  (-. (substance_matter zenon_X18 zenon_X913))
% 23.30/23.68  (zenon_X2 != zenon_X10)
% 23.30/23.68  (-. (organism zenon_X78 zenon_X437))
% 23.30/23.68  (-. (abstraction zenon_X72 zenon_X140))
% 23.30/23.68  (food zenon_X26 (skc7))
% 23.30/23.68  ((skc7) != zenon_X1025)
% 23.30/23.68  (-. (animate zenon_X52 zenon_X1216))
% 23.30/23.68  (nonhuman zenon_X44 (skc8))
% 23.30/23.68  (nonliving zenon_X42 (skc7))
% 23.30/23.68  ((skc9) != zenon_X75)
% 23.30/23.68  (zenon_X87 != zenon_X4)
% 23.30/23.68  ((skc9) != zenon_X538)
% 23.30/23.68  (zenon_X30 != zenon_X74)
% 23.30/23.68  (zenon_X82 != zenon_X78)
% 23.30/23.68  (-. (existent zenon_X14 zenon_X857))
% 23.30/23.68  (organism zenon_X68 (skc9))
% 23.30/23.68  (-. (entity zenon_X68 zenon_X1184))
% 23.30/23.68  (zenon_X2 != zenon_X74)
% 23.30/23.68  (-. (relation zenon_X4 (skc8)))
% 23.30/23.68  (-. (specific zenon_X78 (skc6)))
% 23.30/23.68  (-. (mia_forename zenon_X74 zenon_X188))
% 23.30/23.68  (-. (eventuality zenon_X16 zenon_X498))
% 23.30/23.68  (-. (unisex zenon_X44 zenon_X183))
% 23.30/23.68  (-. (general zenon_X16 (skc6)))
% 23.30/23.68  (-. (eventuality zenon_X54 zenon_X473))
% 23.30/23.68  (-. (event zenon_X20 zenon_X710))
% 23.30/23.68  (-. (object zenon_X78 (skc7)))
% 23.30/23.68  (zenon_X48 != zenon_X24)
% 23.30/23.68  (zenon_X40 != zenon_X82)
% 23.30/23.68  (-. (female zenon_X40 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X705)
% 23.30/23.68  (-. (object zenon_X78 zenon_X583))
% 23.30/23.68  (-. (entity zenon_X60 zenon_X100))
% 23.30/23.68  (-. (forename zenon_X24 (skc8)))
% 23.30/23.68  (zenon_X20 != zenon_X44)
% 23.30/23.68  (entity zenon_X42 (skc9))
% 23.30/23.68  (-. (animate zenon_X82 zenon_X83))
% 23.30/23.68  (mia_forename (skc5) (skc8))
% 23.30/23.68  (-. (entity zenon_X14 zenon_X533))
% 23.30/23.68  (specific zenon_X68 (skc6))
% 23.30/23.68  (-. (entity zenon_X87 (skc7)))
% 23.30/23.68  (zenon_X82 != zenon_X30)
% 23.30/23.68  ((skc8) != zenon_X160)
% 23.30/23.68  ((skc7) != zenon_X106)
% 23.30/23.68  (-. (forename zenon_X58 zenon_X153))
% 23.30/23.68  (zenon_X26 != zenon_X60)
% 23.30/23.68  (-. (entity zenon_X24 zenon_X489))
% 23.30/23.68  ((skc8) != zenon_X814)
% 23.30/23.68  (-. (substance_matter zenon_X82 zenon_X1143))
% 23.30/23.68  (-. (event zenon_X80 zenon_X582))
% 23.30/23.68  (-. (animate zenon_X22 zenon_X1147))
% 23.30/23.68  (-. (female (skc5) (skc8)))
% 23.30/23.68  (relation zenon_X40 (skc8))
% 23.30/23.68  (-. (relation zenon_X68 zenon_X1197))
% 23.30/23.68  ((skc6) != zenon_X286)
% 23.30/23.68  (zenon_X30 != zenon_X56)
% 23.30/23.68  (-. (order zenon_X24 zenon_X707))
% 23.30/23.68  (zenon_X0 != zenon_X38)
% 23.30/23.68  (zenon_X82 != zenon_X87)
% 23.30/23.68  (-. (entity zenon_X22 zenon_X819))
% 23.30/23.68  (-. (animate zenon_X38 zenon_X1220))
% 23.30/23.68  (zenon_X22 != zenon_X72)
% 23.30/23.68  (-. (object zenon_X48 zenon_X981))
% 23.30/23.68  ((skc7) != zenon_X447)
% 23.30/23.68  (object zenon_X20 (skc7))
% 23.30/23.68  (-. (beverage zenon_X2 zenon_X923))
% 23.30/23.68  ((skc7) != zenon_X81)
% 23.30/23.68  (-. (event zenon_X22 zenon_X461))
% 23.30/23.68  (-. (object zenon_X34 zenon_X35))
% 23.30/23.68  (zenon_X4 != zenon_X78)
% 23.30/23.68  (-. (substance_matter zenon_X78 (skc7)))
% 23.30/23.68  ((skc5) != zenon_X18)
% 23.30/23.68  ((skc9) != zenon_X315)
% 23.30/23.68  (-. (animate zenon_X87 zenon_X1134))
% 23.30/23.68  (-. (human_person zenon_X40 zenon_X1193))
% 23.30/23.68  ((skc6) != zenon_X316)
% 23.30/23.68  ((skc6) != zenon_X498)
% 23.30/23.68  (-. (event zenon_X30 (skc6)))
% 23.30/23.68  (existent zenon_X56 (skc9))
% 23.30/23.68  (-. (entity zenon_X18 zenon_X824))
% 23.30/23.68  ((skc7) != zenon_X248)
% 23.30/23.68  (zenon_X18 != zenon_X38)
% 23.30/23.68  (-. (nonliving zenon_X4 zenon_X417))
% 23.30/23.68  (zenon_X30 != zenon_X60)
% 23.30/23.68  (-. (abstraction zenon_X2 zenon_X891))
% 23.30/23.68  (-. (specific zenon_X38 zenon_X565))
% 23.30/23.68  (-. (forename zenon_X2 zenon_X805))
% 23.30/23.68  (-. (eventuality zenon_X87 zenon_X237))
% 23.30/23.68  (-. (event zenon_X42 zenon_X630))
% 23.30/23.68  ((skc9) != zenon_X445)
% 23.30/23.68  (-. (abstraction zenon_X16 zenon_X614))
% 23.30/23.68  (zenon_X52 != zenon_X60)
% 23.30/23.68  ((skc6) != zenon_X264)
% 23.30/23.68  ((skc6) != zenon_X194)
% 23.30/23.68  (-. (eventuality zenon_X42 zenon_X837))
% 23.30/23.68  ((skc7) != zenon_X518)
% 23.30/23.68  ((skc9) != zenon_X494)
% 23.30/23.68  ((skc7) != zenon_X575)
% 23.30/23.68  (zenon_X40 != zenon_X78)
% 23.30/23.68  ((skc9) != zenon_X86)
% 23.30/23.68  (zenon_X22 != zenon_X54)
% 23.30/23.68  ((skc7) != zenon_X429)
% 23.30/23.68  ((skc5) != zenon_X4)
% 23.30/23.68  (-. (nonhuman zenon_X0 (skc8)))
% 23.30/23.68  (-. (relname zenon_X10 zenon_X877))
% 23.30/23.68  (-. (unisex (skc5) zenon_X164))
% 23.30/23.68  (zenon_X32 != zenon_X22)
% 23.30/23.68  ((skc9) != zenon_X143)
% 23.30/23.68  (-. (nonliving zenon_X2 zenon_X418))
% 23.30/23.68  (zenon_X16 != zenon_X30)
% 23.30/23.68  (-. (general zenon_X0 (skc9)))
% 23.30/23.68  ((skc9) != zenon_X90)
% 23.30/23.68  ((skc7) != zenon_X469)
% 23.30/23.68  ((skc7) != zenon_X394)
% 23.30/23.68  (-. (abstraction zenon_X14 zenon_X861))
% 23.30/23.68  (-. (food (skc5) zenon_X113))
% 23.30/23.68  (zenon_X2 != zenon_X24)
% 23.30/23.68  (existent zenon_X20 (skc9))
% 23.30/23.68  (-. (unisex zenon_X52 (skc7)))
% 23.30/23.68  ((skc5) != zenon_X60)
% 23.30/23.68  (zenon_X54 != zenon_X74)
% 23.30/23.68  (-. (human_person zenon_X58 zenon_X1157))
% 23.30/23.68  (zenon_X10 != zenon_X78)
% 23.30/23.68  ((skc6) != zenon_X619)
% 23.30/23.68  (zenon_X42 != zenon_X30)
% 23.30/23.68  (-. (existent zenon_X78 zenon_X685))
% 23.30/23.68  (organism zenon_X56 (skc9))
% 23.30/23.68  (-. (eventuality zenon_X54 zenon_X241))
% 23.30/23.68  ((skc7) != zenon_X31)
% 23.30/23.68  (-. (general zenon_X54 (skc9)))
% 23.30/23.68  ((skc9) != zenon_X321)
% 23.30/23.68  (relation zenon_X54 (skc8))
% 23.30/23.68  (-. (existent zenon_X54 zenon_X205))
% 23.30/23.68  (-. (specific zenon_X48 (skc7)))
% 23.30/23.68  (-. (human_person zenon_X82 zenon_X1155))
% 23.30/23.68  (-. (animate zenon_X30 zenon_X1084))
% 23.30/23.68  (unisex zenon_X2 (skc7))
% 23.30/23.68  (-. (animate zenon_X44 zenon_X1179))
% 23.30/23.68  (-. (entity zenon_X54 zenon_X262))
% 23.30/23.68  (-. (nonhuman zenon_X18 zenon_X854))
% 23.30/23.68  (zenon_X22 != zenon_X34)
% 23.30/23.68  (zenon_X60 != zenon_X44)
% 23.30/23.68  ((skc6) != zenon_X248)
% 23.30/23.68  ((skc6) != zenon_X843)
% 23.30/23.68  ((skc9) != zenon_X754)
% 23.30/23.68  (-. (woman zenon_X34 zenon_X1087))
% 23.30/23.68  ((skc9) != zenon_X1145)
% 23.30/23.68  (-. (order zenon_X52 zenon_X350))
% 23.30/23.68  ((skc7) != zenon_X810)
% 23.30/23.68  (-. (specific zenon_X4 (skc7)))
% 23.30/23.68  (zenon_X14 != zenon_X72)
% 23.30/23.68  (-. (abstraction zenon_X82 zenon_X1131))
% 23.30/23.68  ((skc8) != zenon_X840)
% 23.30/23.68  (-. (object zenon_X56 zenon_X886))
% 23.30/23.68  (zenon_X18 != zenon_X72)
% 23.30/23.68  (singleton zenon_X8 (skc7))
% 23.30/23.68  (zenon_X48 != zenon_X60)
% 23.30/23.68  ((skc7) != zenon_X823)
% 23.30/23.68  (zenon_X10 != zenon_X34)
% 23.30/23.68  (zenon_X68 != zenon_X52)
% 23.30/23.68  (zenon_X40 != zenon_X38)
% 23.30/23.68  ((skc8) != zenon_X958)
% 23.30/23.68  (zenon_X40 != zenon_X20)
% 23.30/23.68  ((skc9) != zenon_X127)
% 23.30/23.68  (-. (unisex zenon_X42 zenon_X1068))
% 23.30/23.68  (-. (agent (skc5) (skc6) zenon_X93))
% 23.30/23.68  (zenon_X38 != zenon_X56)
% 23.30/23.68  ((skc9) != zenon_X196)
% 23.30/23.68  ((skc8) != zenon_X431)
% 23.30/23.68  (unisex zenon_X40 (skc6))
% 23.30/23.68  (-. (entity zenon_X30 zenon_X31))
% 23.30/23.68  (unisex zenon_X74 (skc7))
% 23.30/23.68  (-. (living zenon_X40 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X1023)
% 23.30/23.68  (-. (abstraction zenon_X0 zenon_X762))
% 23.30/23.68  (-. (relation zenon_X60 zenon_X386))
% 23.30/23.68  (-. (object zenon_X14 zenon_X648))
% 23.30/23.68  ((skc6) != zenon_X11)
% 23.30/23.68  (zenon_X40 != zenon_X22)
% 23.30/23.68  ((skc7) != zenon_X1096)
% 23.30/23.68  (existent zenon_X32 (skc7))
% 23.30/23.68  (-. (entity zenon_X68 zenon_X1226))
% 23.30/23.68  ((skc6) != zenon_X245)
% 23.30/23.68  (zenon_X16 != zenon_X72)
% 23.30/23.68  (-. (order zenon_X4 zenon_X572))
% 23.30/23.68  (-. (animate zenon_X0 zenon_X1010))
% 23.30/23.68  (-. (nonliving zenon_X80 zenon_X655))
% 23.30/23.68  ((skc5) != zenon_X34)
% 23.30/23.68  ((skc8) != zenon_X755)
% 23.30/23.68  ((skc8) != zenon_X820)
% 23.30/23.68  (-. (abstraction zenon_X72 (skc8)))
% 23.30/23.68  (-. (organism zenon_X26 zenon_X315))
% 23.30/23.68  (zenon_X32 != zenon_X74)
% 23.30/23.68  ((skc6) != zenon_X361)
% 23.30/23.68  (-. (existent zenon_X30 zenon_X307))
% 23.30/23.68  (specific (skc5) (skc9))
% 23.30/23.68  (zenon_X32 != zenon_X16)
% 23.30/23.68  (entity zenon_X44 (skc7))
% 23.30/23.68  (-. (specific zenon_X72 zenon_X389))
% 23.30/23.68  (zenon_X26 != zenon_X74)
% 23.30/23.68  (zenon_X44 != zenon_X24)
% 23.30/23.68  (zenon_X32 != zenon_X30)
% 23.30/23.68  (abstraction (skc5) (skc8))
% 23.30/23.68  ((skc8) != zenon_X172)
% 23.30/23.68  (zenon_X56 != zenon_X80)
% 23.30/23.68  (-. (act zenon_X4 zenon_X259))
% 23.30/23.68  (-. (nonhuman zenon_X52 zenon_X724))
% 23.30/23.68  (-. (entity zenon_X87 zenon_X298))
% 23.30/23.68  (event (skc5) (skc6))
% 23.30/23.68  (unisex (skc5) (skc7))
% 23.30/23.68  (substance_matter zenon_X38 (skc7))
% 23.30/23.68  (-. (object zenon_X76 zenon_X265))
% 23.30/23.68  (-. (unisex zenon_X34 (skc7)))
% 23.30/23.68  (-. (organism zenon_X0 zenon_X676))
% 23.30/23.68  ((skc7) != zenon_X905)
% 23.30/23.68  (zenon_X26 != zenon_X16)
% 23.30/23.68  (-. (entity zenon_X56 zenon_X313))
% 23.30/23.68  (-. (human_person zenon_X24 zenon_X1170))
% 23.30/23.68  (zenon_X10 != zenon_X30)
% 23.30/23.68  (-. (entity zenon_X44 zenon_X509))
% 23.30/23.68  (zenon_X76 != zenon_X54)
% 23.30/23.68  (forename zenon_X18 (skc8))
% 23.30/23.68  (existent zenon_X20 (skc7))
% 23.30/23.68  (zenon_X22 != zenon_X52)
% 23.30/23.68  (-. (nonhuman zenon_X78 (skc8)))
% 23.30/23.68  (abstraction zenon_X87 (skc8))
% 23.30/23.68  ((skc8) != zenon_X305)
% 23.30/23.68  (nonhuman zenon_X87 (skc8))
% 23.30/23.68  (zenon_X34 != zenon_X14)
% 23.30/23.68  ((skc7) != zenon_X1056)
% 23.30/23.68  (-. (entity zenon_X44 (skc9)))
% 23.30/23.68  (-. (relname zenon_X16 zenon_X926))
% 23.30/23.68  (zenon_X0 != zenon_X72)
% 23.30/23.68  (-. (event zenon_X34 zenon_X909))
% 23.30/23.68  ((skc9) != zenon_X69)
% 23.30/23.68  ((skc7) != zenon_X360)
% 23.30/23.68  ((skc7) != zenon_X739)
% 23.30/23.68  (-. (human_person zenon_X78 zenon_X1186))
% 23.30/23.68  (-. (organism zenon_X54 zenon_X124))
% 23.30/23.68  ((skc7) != zenon_X141)
% 23.30/23.68  (-. (entity zenon_X24 zenon_X510))
% 23.30/23.68  (-. (substance_matter zenon_X60 zenon_X260))
% 23.30/23.68  ((skc8) != zenon_X569)
% 23.30/23.68  (zenon_X76 != zenon_X48)
% 23.30/23.68  (-. (living zenon_X32 (skc7)))
% 23.30/23.68  (zenon_X48 != zenon_X80)
% 23.30/23.68  (organism zenon_X32 (skc9))
% 23.30/23.68  (-. (entity zenon_X10 (skc9)))
% 23.30/23.68  (-. (unisex zenon_X24 zenon_X126))
% 23.30/23.68  ((skc8) != zenon_X1221)
% 23.30/23.68  (-. (female (skc5) (skc6)))
% 23.30/23.68  ((skc5) != zenon_X44)
% 23.30/23.68  (-. (unisex zenon_X78 (skc6)))
% 23.30/23.68  (-. (relname zenon_X38 zenon_X672))
% 23.30/23.68  (entity zenon_X22 (skc9))
% 23.30/23.68  (-. (human_person zenon_X74 zenon_X1174))
% 23.30/23.68  ((skc6) != zenon_X631)
% 23.30/23.68  ((skc7) != zenon_X875)
% 23.30/23.68  (-. (object zenon_X42 zenon_X1045))
% 23.30/23.68  (-. (shake_beverage zenon_X32 zenon_X911))
% 23.30/23.68  (-. (existent (skc5) zenon_X106))
% 23.30/23.68  ((skc9) != zenon_X230)
% 23.30/23.68  (-. (specific zenon_X14 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X1088)
% 23.30/23.68  ((skc7) != zenon_X1094)
% 23.30/23.68  (-. (object zenon_X87 zenon_X1079))
% 23.30/23.68  (past (skc5) (skc6))
% 23.30/23.68  (-. (existent zenon_X58 (skc7)))
% 23.30/23.68  (-. (nonexistent zenon_X60 (skc9)))
% 23.30/23.68  (-. (general zenon_X26 (skc9)))
% 23.30/23.68  (specific zenon_X18 (skc7))
% 23.30/23.68  (specific zenon_X38 (skc9))
% 23.30/23.68  (-. (abstraction zenon_X54 zenon_X343))
% 23.30/23.68  ((skc9) != zenon_X746)
% 23.30/23.68  (-. (general zenon_X42 (skc9)))
% 23.30/23.68  (-. (entity zenon_X87 zenon_X285))
% 23.30/23.68  (-. (entity zenon_X54 (skc7)))
% 23.30/23.68  (beverage zenon_X18 (skc7))
% 23.30/23.68  (-. (event zenon_X74 (skc6)))
% 23.30/23.68  (zenon_X0 != zenon_X54)
% 23.30/23.68  ((skc9) != zenon_X421)
% 23.30/23.68  (-. (event zenon_X87 zenon_X340))
% 23.30/23.68  (-. (substance_matter zenon_X68 zenon_X1201))
% 23.30/23.68  ((skc8) != zenon_X384)
% 23.30/23.68  (-. (human zenon_X18 (skc8)))
% 23.30/23.68  (-. (nonhuman zenon_X74 zenon_X541))
% 23.30/23.68  (-. (substance_matter zenon_X16 zenon_X399))
% 23.30/23.68  (zenon_X26 != zenon_X72)
% 23.30/23.68  ((skc7) != zenon_X232)
% 23.30/23.68  ((skc9) != zenon_X1135)
% 23.30/23.68  (-. (specific zenon_X58 (skc7)))
% 23.30/23.68  (-. (entity zenon_X18 zenon_X1222))
% 23.30/23.68  (-. (nonhuman (skc5) zenon_X305))
% 23.30/23.68  ((skc9) != zenon_X117)
% 23.30/23.68  (-. (specific zenon_X16 (skc7)))
% 23.30/23.68  ((skc6) != zenon_X796)
% 23.30/23.68  (-. (forename zenon_X82 zenon_X1190))
% 23.30/23.68  ((skc8) != zenon_X841)
% 23.30/23.68  (-. (entity zenon_X40 zenon_X979))
% 23.30/23.68  (existent zenon_X80 (skc7))
% 23.30/23.68  (-. (order zenon_X76 zenon_X756))
% 23.30/23.68  ((skc7) != zenon_X906)
% 23.30/23.68  (zenon_X26 != zenon_X40)
% 23.30/23.68  (-. (human_person zenon_X32 zenon_X243))
% 23.30/23.68  (-. (beverage zenon_X52 zenon_X292))
% 23.30/23.68  ((skc9) != zenon_X819)
% 23.30/23.68  ((skc6) != zenon_X604)
% 23.30/23.68  (-. (mia_forename zenon_X40 zenon_X1040))
% 23.30/23.68  (-. (abstraction zenon_X18 zenon_X917))
% 23.30/23.68  (-. (shake_beverage zenon_X24 zenon_X1027))
% 23.30/23.68  (-. (beverage zenon_X10 (skc7)))
% 23.30/23.68  (relation zenon_X56 (skc8))
% 23.30/23.68  (-. (organism zenon_X82 zenon_X1152))
% 23.30/23.68  (-. (order zenon_X32 zenon_X579))
% 23.30/23.68  (-. (existent zenon_X10 (skc7)))
% 23.30/23.68  (-. (relation zenon_X20 zenon_X894))
% 23.30/23.68  ((skc7) != zenon_X450)
% 23.30/23.68  ((skc9) != zenon_X1208)
% 23.30/23.68  ((skc9) != zenon_X751)
% 23.30/23.68  (-. (entity zenon_X14 zenon_X500))
% 23.30/23.68  (-. (beverage zenon_X30 zenon_X798))
% 23.30/23.68  (zenon_X82 != zenon_X0)
% 23.30/23.68  (-. (object zenon_X60 zenon_X1083))
% 23.30/23.68  ((skc9) != zenon_X31)
% 23.30/23.68  ((skc7) != zenon_X230)
% 23.30/23.68  (-. (object zenon_X0 zenon_X601))
% 23.30/23.68  ((skc7) != zenon_X826)
% 23.30/23.68  ((skc9) != zenon_X905)
% 23.30/23.68  (nonhuman zenon_X42 (skc8))
% 23.30/23.68  ((skc7) != zenon_X652)
% 23.30/23.68  (-. (nonhuman zenon_X16 zenon_X598))
% 23.30/23.68  (-. (organism zenon_X87 zenon_X127))
% 23.30/23.68  (act zenon_X18 (skc6))
% 23.30/23.68  (-. (object zenon_X32 zenon_X628))
% 23.30/23.68  (of (skc5) (skc8) (skc9))
% 23.30/23.68  ((skc5) != zenon_X74)
% 23.30/23.68  ((skc8) != zenon_X383)
% 23.30/23.68  (-. (abstraction zenon_X48 zenon_X864))
% 23.30/23.68  ((skc7) != zenon_X735)
% 23.30/23.68  ((skc7) != zenon_X943)
% 23.30/23.68  ((skc8) != zenon_X1100)
% 23.30/23.68  (-. (female zenon_X24 (skc7)))
% 23.30/23.68  (-. (specific zenon_X54 (skc7)))
% 23.30/23.68  (zenon_X26 != zenon_X24)
% 23.30/23.68  (-. (existent zenon_X76 (skc9)))
% 23.30/23.68  ((skc7) != zenon_X1118)
% 23.30/23.68  (-. (entity zenon_X52 zenon_X875))
% 23.30/23.68  (zenon_X22 != zenon_X4)
% 23.30/23.68  (object zenon_X24 (skc7))
% 23.30/23.68  (-. (object zenon_X20 zenon_X881))
% 23.30/23.68  (specific zenon_X2 (skc9))
% 23.30/23.68  (-. (female zenon_X32 (skc6)))
% 23.30/23.68  (specific zenon_X32 (skc9))
% 23.30/23.68  (-. (unisex zenon_X72 (skc7)))
% 23.30/23.68  (zenon_X52 != zenon_X72)
% 23.30/23.68  ((skc8) != zenon_X1093)
% 23.30/23.68  ((skc5) != zenon_X2)
% 23.30/23.68  ((skc8) != zenon_X593)
% 23.30/23.68  (-. (organism zenon_X44 zenon_X451))
% 23.30/23.68  (-. (eventuality zenon_X48 zenon_X800))
% 23.30/23.68  (-. (unisex zenon_X34 (skc8)))
% 23.30/23.68  ((skc9) != zenon_X380)
% 23.30/23.68  (-. (abstraction zenon_X22 zenon_X722))
% 23.30/23.68  (-. (entity zenon_X54 zenon_X176))
% 23.30/23.68  (-. (female zenon_X80 (skc8)))
% 23.30/23.68  (-. (forename zenon_X60 (skc8)))
% 23.30/23.68  (-. (existent zenon_X38 zenon_X587))
% 23.30/23.68  (zenon_X18 != zenon_X52)
% 23.30/23.68  (unisex zenon_X18 (skc7))
% 23.30/23.68  (-. (nonexistent zenon_X42 (skc7)))
% 23.30/23.68  (-. (food zenon_X54 (skc7)))
% 23.30/23.68  (zenon_X42 != zenon_X40)
% 23.30/23.68  (zenon_X42 != zenon_X32)
% 23.30/23.68  (-. (object zenon_X22 zenon_X728))
% 23.30/23.68  (-. (beverage zenon_X78 zenon_X784))
% 23.30/23.68  ((skc9) != zenon_X122)
% 23.30/23.68  ((skc6) != zenon_X630)
% 23.30/23.68  (zenon_X48 != zenon_X87)
% 23.30/23.68  (zenon_X0 != zenon_X14)
% 23.30/23.68  ((skc8) != zenon_X490)
% 23.30/23.68  ((skc7) != zenon_X231)
% 23.30/23.68  (entity zenon_X40 (skc9))
% 23.30/23.68  (-. (beverage zenon_X68 zenon_X1204))
% 23.30/23.68  (-. (existent zenon_X56 (skc7)))
% 23.30/23.68  (-. (nonliving zenon_X72 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X653)
% 23.30/23.68  (-. (nonliving zenon_X14 (skc7)))
% 23.30/23.68  (-. (human_person zenon_X22 zenon_X908))
% 23.30/23.68  (-. (mia_forename zenon_X56 zenon_X210))
% 23.30/23.68  (-. (beverage zenon_X34 zenon_X989))
% 23.30/23.68  (-. (order zenon_X10 zenon_X740))
% 23.30/23.68  (-. (human (skc5) (skc8)))
% 23.30/23.68  (zenon_X44 != zenon_X0)
% 23.30/23.68  (-. (abstraction zenon_X32 zenon_X694))
% 23.30/23.68  (-. (nonhuman zenon_X24 (skc8)))
% 23.30/23.68  (-. (object zenon_X68 zenon_X1206))
% 23.30/23.68  (-. (woman zenon_X42 zenon_X771))
% 23.30/23.68  ((skc8) != zenon_X327)
% 23.30/23.68  (-. (general zenon_X26 (skc6)))
% 23.30/23.68  ((skc8) != zenon_X825)
% 23.30/23.68  ((skc7) != zenon_X1154)
% 23.30/23.68  (-. (female zenon_X60 (skc8)))
% 23.30/23.68  ((skc6) != zenon_X17)
% 23.30/23.68  (-. (object zenon_X44 zenon_X716))
% 23.30/23.68  (-. (organism zenon_X56 zenon_X213))
% 23.30/23.68  (-. (food zenon_X74 zenon_X469))
% 23.30/23.68  (zenon_X42 != zenon_X82)
% 23.30/23.68  (-. (nonhuman zenon_X38 zenon_X584))
% 23.30/23.68  (abstraction zenon_X48 (skc8))
% 23.30/23.68  ((skc8) != zenon_X674)
% 23.30/23.68  (unisex zenon_X87 (skc8))
% 23.30/23.68  ((skc8) != zenon_X79)
% 23.30/23.68  ((skc9) != zenon_X1057)
% 23.30/23.68  (-. (specific zenon_X16 (skc9)))
% 23.30/23.68  ((skc7) != zenon_X824)
% 23.30/23.68  (-. (entity zenon_X56 zenon_X271))
% 23.30/23.68  (-. (eventuality zenon_X42 zenon_X557))
% 23.30/23.68  (-. (relname zenon_X4 (skc8)))
% 23.30/23.68  (existent zenon_X52 (skc7))
% 23.30/23.68  (zenon_X40 != zenon_X74)
% 23.30/23.68  ((skc7) != zenon_X242)
% 23.30/23.68  (zenon_X26 != zenon_X18)
% 23.30/23.68  (-. (order zenon_X0 zenon_X1))
% 23.30/23.68  ((skc7) != zenon_X462)
% 23.30/23.68  (-. (forename zenon_X68 zenon_X1203))
% 23.30/23.68  (entity zenon_X20 (skc7))
% 23.30/23.68  ((skc9) != zenon_X1226)
% 23.30/23.68  (-. (specific zenon_X58 zenon_X480))
% 23.30/23.68  (zenon_X18 != zenon_X48)
% 23.30/23.68  ((skc7) != zenon_X924)
% 23.30/23.68  ((skc7) != zenon_X110)
% 23.30/23.68  (-. (shake_beverage zenon_X10 zenon_X978))
% 23.30/23.68  ((skc9) != zenon_X1138)
% 23.30/23.68  (-. (organism zenon_X74 zenon_X234))
% 23.30/23.68  (-. (existent zenon_X68 zenon_X1176))
% 23.30/23.68  ((skc6) != zenon_X504)
% 23.30/23.68  (-. (abstraction zenon_X44 zenon_X287))
% 23.30/23.68  (zenon_X26 != zenon_X14)
% 23.30/23.68  (-. (eventuality zenon_X74 zenon_X620))
% 23.30/23.68  ((skc7) != zenon_X683)
% 23.30/23.68  ((skc8) != zenon_X214)
% 23.30/23.68  ((skc8) != zenon_X200)
% 23.30/23.68  (zenon_X2 != zenon_X48)
% 23.30/23.68  (existent zenon_X48 (skc9))
% 23.30/23.68  (specific zenon_X58 (skc9))
% 23.30/23.68  (-. (beverage zenon_X40 zenon_X916))
% 23.30/23.68  (entity zenon_X56 (skc9))
% 23.30/23.68  (-. (relname zenon_X2 zenon_X780))
% 23.30/23.68  (zenon_X58 != zenon_X2)
% 23.30/23.68  (entity zenon_X26 (skc7))
% 23.30/23.68  (specific zenon_X4 (skc6))
% 23.30/23.68  ((skc8) != zenon_X917)
% 23.30/23.68  ((skc9) != zenon_X428)
% 23.30/23.68  (-. (nonliving zenon_X58 zenon_X664))
% 23.30/23.68  (-. (unisex zenon_X14 (skc8)))
% 23.30/23.68  ((skc9) != (skc8))
% 23.30/23.68  (-. (animate zenon_X24 zenon_X1175))
% 23.30/23.68  ((skc7) != zenon_X754)
% 23.30/23.68  (specific (skc5) (skc7))
% 23.30/23.68  (zenon_X34 != zenon_X4)
% 23.30/23.68  ((skc6) != zenon_X164)
% 23.30/23.68  (-. (entity zenon_X68 zenon_X1165))
% 23.30/23.68  (-. (abstraction zenon_X78 zenon_X829))
% 23.30/23.68  ((skc8) != zenon_X175)
% 23.30/23.68  ((skc7) != zenon_X624)
% 23.30/23.68  (zenon_X40 != zenon_X48)
% 23.30/23.68  (zenon_X38 != zenon_X54)
% 23.30/23.68  (-. (act zenon_X58 zenon_X460))
% 23.30/23.68  (-. (specific zenon_X54 (skc6)))
% 23.30/23.68  (-. (order zenon_X16 zenon_X847))
% 23.30/23.68  (zenon_X87 != zenon_X34)
% 23.30/23.68  (-. (object (skc5) zenon_X166))
% 23.30/23.68  (-. (relation zenon_X2 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X967)
% 23.30/23.68  (-. (entity zenon_X56 (skc7)))
% 23.30/23.68  (-. (nonliving zenon_X16 (skc7)))
% 23.30/23.68  (-. (entity zenon_X48 zenon_X946))
% 23.30/23.68  (-. (object zenon_X60 zenon_X325))
% 23.30/23.68  ((skc9) != zenon_X243)
% 23.30/23.68  (nonliving zenon_X74 (skc7))
% 23.30/23.68  (-. (nonhuman zenon_X56 zenon_X696))
% 23.30/23.68  (-. (forename zenon_X38 zenon_X320))
% 23.30/23.68  (zenon_X68 != zenon_X60)
% 23.30/23.68  (-. (specific zenon_X26 zenon_X361))
% 23.30/23.68  ((skc7) != zenon_X380)
% 23.30/23.68  (zenon_X26 != zenon_X78)
% 23.30/23.68  ((skc6) != zenon_X545)
% 23.30/23.68  ((skc9) != zenon_X518)
% 23.30/23.68  (-. (nonhuman zenon_X30 (skc8)))
% 23.30/23.68  ((skc8) != zenon_X1095)
% 23.30/23.68  (-. (entity zenon_X80 zenon_X1036))
% 23.30/23.68  ((skc7) != zenon_X499)
% 23.30/23.68  (substance_matter (skc5) (skc7))
% 23.30/23.68  ((skc7) != zenon_X568)
% 23.30/23.68  (-. (eventuality zenon_X30 (skc6)))
% 23.30/23.68  (-. (abstraction zenon_X20 zenon_X401))
% 23.30/23.68  ((skc8) != zenon_X726)
% 23.30/23.68  (-. (event zenon_X24 zenon_X342))
% 23.30/23.68  (-. (object zenon_X40 zenon_X1082))
% 23.30/23.68  ((skc8) != zenon_X859)
% 23.30/23.68  (-. (forename zenon_X44 (skc8)))
% 23.30/23.68  (-. (woman (skc5) zenon_X122))
% 23.30/23.68  (-. (nonliving zenon_X72 zenon_X444))
% 23.30/23.68  (zenon_X54 != zenon_X24)
% 23.30/23.68  (-. (animate zenon_X74 zenon_X1140))
% 23.30/23.68  ((skc7) != zenon_X1020)
% 23.30/23.68  (thing zenon_X28 (skc9))
% 23.30/23.68  (-. (substance_matter zenon_X22 zenon_X543))
% 23.30/23.68  ((skc7) != zenon_X819)
% 23.30/23.68  (zenon_X56 != zenon_X16)
% 23.30/23.68  (-. (female zenon_X42 (skc7)))
% 23.30/23.68  (zenon_X22 != zenon_X30)
% 23.30/23.68  (-. (organism zenon_X64 zenon_X65))
% 23.30/23.68  (-. (existent zenon_X60 (skc7)))
% 23.30/23.68  (zenon_X58 != zenon_X16)
% 23.30/23.68  ((skc8) != zenon_X673)
% 23.30/23.68  ((skc7) != zenon_X96)
% 23.30/23.68  ((skc7) != zenon_X486)
% 23.30/23.68  (-. (abstraction zenon_X42 zenon_X776))
% 23.30/23.68  (-. (object zenon_X48 zenon_X871))
% 23.30/23.68  ((skc8) != zenon_X1071)
% 23.30/23.68  ((skc7) != zenon_X157)
% 23.30/23.68  (-. (shake_beverage zenon_X22 zenon_X935))
% 23.30/23.68  ((skc9) != zenon_X271)
% 23.30/23.68  (unisex zenon_X44 (skc6))
% 23.30/23.68  ((skc7) != zenon_X327)
% 23.30/23.68  (-. (food zenon_X4 zenon_X512))
% 23.30/23.68  ((skc8) != zenon_X541)
% 23.30/23.68  ((skc5) != zenon_X32)
% 23.30/23.68  (-. (relname zenon_X20 zenon_X849))
% 23.30/23.68  (-. (entity zenon_X10 zenon_X314))
% 23.30/23.68  (zenon_X74 != zenon_X14)
% 23.30/23.68  (-. (female zenon_X80 (skc6)))
% 23.30/23.68  ((skc7) != zenon_X376)
% 23.30/23.68  (-. (entity zenon_X30 zenon_X304))
% 23.30/23.68  ((skc7) != zenon_X201)
% 23.30/23.68  (-. (general zenon_X40 (skc9)))
% 23.30/23.68  ((skc7) != zenon_X1002)
% 23.30/23.68  (specific zenon_X56 (skc9))
% 23.30/23.68  (order (skc5) (skc6))
% 23.30/23.68  (object zenon_X42 (skc7))
% 23.30/23.68  (-. (organism zenon_X74 (skc9)))
% 23.30/23.68  (-. (human_person zenon_X20 zenon_X807))
% 23.30/23.68  (zenon_X56 != zenon_X72)
% 23.30/23.68  (-. (nonliving zenon_X52 zenon_X182))
% 23.30/23.68  (-. (object zenon_X74 zenon_X924))
% 23.30/23.68  (substance_matter zenon_X18 (skc7))
% 23.30/23.68  (-. (eventuality zenon_X72 zenon_X245))
% 23.30/23.68  ((skc8) != zenon_X310)
% 23.30/23.68  (-. (relname zenon_X87 zenon_X884))
% 23.30/23.68  (-. (object zenon_X30 zenon_X835))
% 23.30/23.68  ((skc7) != zenon_X131)
% 23.30/23.68  (specific zenon_X20 (skc9))
% 23.30/23.68  (-. (entity zenon_X58 zenon_X154))
% 23.30/23.68  (zenon_X60 != zenon_X78)
% 23.30/23.68  (-. (animate zenon_X32 zenon_X1128))
% 23.30/23.68  (zenon_X20 != zenon_X80)
% 23.30/23.68  (-. (shake_beverage zenon_X34 zenon_X990))
% 23.30/23.68  (-. (unisex zenon_X72 (skc8)))
% 23.30/23.68  (-. (object zenon_X76 (skc7)))
% 23.30/23.68  (-. (organism zenon_X60 zenon_X61))
% 23.30/23.68  ((skc7) != zenon_X324)
% 23.30/23.68  ((skc9) != zenon_X1136)
% 23.30/23.68  (-. (human_person zenon_X44 zenon_X1202))
% 23.30/23.68  ((skc8) != zenon_X758)
% 23.30/23.68  (-. (relation zenon_X24 zenon_X466))
% 23.30/23.68  (-. (forename zenon_X18 zenon_X1221))
% 23.30/23.68  (-. (existent zenon_X76 zenon_X704))
% 23.30/23.68  (-. (human zenon_X54 (skc8)))
% 23.30/23.68  (-. (animate zenon_X60 zenon_X1127))
% 23.30/23.68  (zenon_X24 != zenon_X72)
% 23.30/23.68  (zenon_X20 != zenon_X16)
% 23.30/23.68  (zenon_X2 != zenon_X20)
% 23.30/23.68  ((skc8) != zenon_X103)
% 23.30/23.68  (-. (nonliving (skc5) (skc9)))
% 23.30/23.68  (-. (order zenon_X78 zenon_X608))
% 23.30/23.68  (-. (living zenon_X26 (skc7)))
% 23.30/23.68  (-. (specific zenon_X48 (skc9)))
% 23.30/23.68  ((skc6) != zenon_X216)
% 23.30/23.68  (-. (relname zenon_X22 (skc8)))
% 23.30/23.68  ((skc9) != zenon_X57)
% 23.30/23.68  (zenon_X68 != zenon_X32)
% 23.30/23.68  (zenon_X38 != zenon_X14)
% 23.30/23.68  (-. (organism zenon_X18 zenon_X942))
% 23.30/23.68  (-. (food zenon_X30 zenon_X882))
% 23.30/23.68  (zenon_X34 != zenon_X52)
% 23.30/23.68  (-. (entity zenon_X56 zenon_X296))
% 23.30/23.68  (-. (eventuality zenon_X72 (skc6)))
% 23.30/23.68  ((skc7) != zenon_X411)
% 23.30/23.68  (existent zenon_X60 (skc9))
% 23.30/23.68  (zenon_X18 != zenon_X56)
% 23.30/23.68  (-. (human_person zenon_X20 zenon_X1194))
% 23.30/23.68  ((skc7) != zenon_X737)
% 23.30/23.68  (-. (object zenon_X72 zenon_X667))
% 23.30/23.68  (-. (entity zenon_X4 zenon_X301))
% 23.30/23.68  (-. (woman zenon_X30 zenon_X371))
% 23.30/23.68  ((skc7) != zenon_X721)
% 23.30/23.68  (forename (skc5) (skc8))
% 23.30/23.68  ((skc7) != zenon_X205)
% 23.30/23.68  (-. (object zenon_X2 zenon_X433))
% 23.30/23.68  (-. (specific zenon_X22 zenon_X652))
% 23.30/23.68  (zenon_X68 != zenon_X22)
% 23.30/23.68  ((skc9) != zenon_X997)
% 23.30/23.68  (abstraction zenon_X18 (skc8))
% 23.30/23.68  (zenon_X44 != zenon_X4)
% 23.30/23.68  (-. (food zenon_X60 (skc7)))
% 23.30/23.68  (-. (general (skc5) (skc6)))
% 23.30/23.68  (-. (order zenon_X74 zenon_X488))
% 23.30/23.68  (-. (object zenon_X82 zenon_X1132))
% 23.30/23.68  (-. (forename zenon_X54 zenon_X172))
% 23.30/23.68  ((skc7) != zenon_X540)
% 23.30/23.68  ((skc9) != zenon_X405)
% 23.30/23.68  (zenon_X82 != zenon_X72)
% 23.30/23.68  ((skc8) != zenon_X359)
% 23.30/23.68  (-. (entity zenon_X76 (skc7)))
% 23.30/23.68  (-. (substance_matter zenon_X80 zenon_X962))
% 23.30/23.68  (-. (order zenon_X40 zenon_X1047))
% 23.30/23.68  (zenon_X30 != zenon_X78)
% 23.30/23.68  (-. (abstraction zenon_X74 zenon_X998))
% 23.30/23.68  ((skc8) != zenon_X1001)
% 23.30/23.68  (-. (entity zenon_X40 zenon_X1136))
% 23.30/23.68  (relation zenon_X80 (skc8))
% 23.30/23.68  (-. (abstraction zenon_X68 zenon_X1217))
% 23.30/23.68  (substance_matter zenon_X26 (skc7))
% 23.30/23.68  ((skc5) != zenon_X20)
% 23.30/23.68  (-. (relname zenon_X76 zenon_X999))
% 23.30/23.68  (-. (abstraction zenon_X46 zenon_X47))
% 23.30/23.68  (object zenon_X22 (skc7))
% 23.30/23.68  (-. (nonliving zenon_X54 zenon_X1019))
% 23.30/23.68  ((skc6) != zenon_X974)
% 23.30/23.68  (-. (act (skc5) zenon_X249))
% 23.30/23.68  (relation zenon_X52 (skc8))
% 23.30/23.68  (-. (nonexistent zenon_X2 (skc9)))
% 23.30/23.68  (-. (agent (skc5) zenon_X91 (skc9)))
% 23.30/23.68  ((skc6) != zenon_X327)
% 23.30/23.68  (-. (nonhuman zenon_X34 zenon_X563))
% 23.30/23.68  (-. (female zenon_X58 (skc8)))
% 23.30/23.68  (-. (nonhuman zenon_X76 zenon_X521))
% 23.30/23.68  ((skc6) != zenon_X689)
% 23.30/23.68  (zenon_X40 != zenon_X87)
% 23.30/23.68  (-. (forename zenon_X32 zenon_X863))
% 23.30/23.68  (-. (woman zenon_X40 zenon_X1046))
% 23.30/23.68  (-. (relation zenon_X54 zenon_X362))
% 23.30/23.68  ((skc6) != zenon_X964)
% 23.30/23.68  (zenon_X40 != zenon_X14)
% 23.30/23.68  ((skc9) != zenon_X1212)
% 23.30/23.68  ((skc6) != zenon_X737)
% 23.30/23.68  (-. (abstraction zenon_X52 zenon_X53))
% 23.30/23.68  ((skc9) != zenon_X296)
% 23.30/23.68  (-. (entity zenon_X60 (skc7)))
% 23.30/23.68  (-. (abstraction zenon_X38 zenon_X132))
% 23.30/23.68  (-. (forename zenon_X74 zenon_X485))
% 23.30/23.68  (-. (unisex zenon_X40 zenon_X327))
% 23.30/23.68  (zenon_X48 != zenon_X22)
% 23.30/23.68  ((skc5) != zenon_X56)
% 23.30/23.68  ((skc7) != zenon_X1024)
% 23.30/23.68  ((skc7) != zenon_X508)
% 23.30/23.68  (-. (specific zenon_X14 (skc9)))
% 23.30/23.68  (-. (human_person zenon_X34 zenon_X995))
% 23.30/23.68  ((skc9) != zenon_X71)
% 23.30/23.68  (existent zenon_X26 (skc7))
% 23.30/23.68  (-. (order zenon_X30 zenon_X529))
% 23.30/23.68  (zenon_X52 != zenon_X78)
% 23.30/23.68  ((skc6) != zenon_X423)
% 23.30/23.68  (-. (woman zenon_X26 zenon_X377))
% 23.30/23.68  (-. (animate zenon_X48 zenon_X1039))
% 23.30/23.68  (-. (entity zenon_X26 zenon_X278))
% 23.30/23.68  (zenon_X82 != zenon_X34)
% 23.30/23.68  (zenon_X76 != zenon_X60)
% 23.30/23.68  (-. (nonhuman zenon_X87 zenon_X595))
% 23.30/23.68  (-. (general zenon_X20 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X395)
% 23.30/23.68  (-. (substance_matter zenon_X52 zenon_X141))
% 23.30/23.68  (-. (abstraction zenon_X26 zenon_X328))
% 23.30/23.68  (-. (act zenon_X10 zenon_X586))
% 23.30/23.68  (-. (order zenon_X0 zenon_X671))
% 23.30/23.68  (zenon_X18 != zenon_X76)
% 23.30/23.68  (-. (eventuality (skc5) zenon_X165))
% 23.30/23.68  (singleton zenon_X8 (skc6))
% 23.30/23.68  (nonhuman zenon_X38 (skc8))
% 23.30/23.68  (zenon_X32 != zenon_X20)
% 23.30/23.68  (-. (nonliving zenon_X16 zenon_X406))
% 23.30/23.68  (-. (entity zenon_X4 (skc7)))
% 23.30/23.68  (-. (relation zenon_X14 (skc8)))
% 23.30/23.68  (-. (beverage zenon_X48 zenon_X852))
% 23.30/23.68  (zenon_X38 != zenon_X68)
% 23.30/23.68  (zenon_X18 != zenon_X14)
% 23.30/23.68  (-. (eventuality zenon_X32 zenon_X542))
% 23.30/23.68  (zenon_X20 != zenon_X82)
% 23.30/23.68  ((skc7) != zenon_X144)
% 23.30/23.68  (-. (mia_forename zenon_X76 zenon_X638))
% 23.30/23.68  (unisex zenon_X0 (skc6))
% 23.30/23.68  (-. (food zenon_X72 (skc7)))
% 23.30/23.68  (-. (food zenon_X34 (skc7)))
% 23.30/23.68  (zenon_X32 != zenon_X56)
% 23.30/23.68  (-. (shake_beverage zenon_X52 zenon_X663))
% 23.30/23.68  (zenon_X74 != zenon_X52)
% 23.30/23.68  (zenon_X20 != zenon_X54)
% 23.30/23.68  ((skc9) != zenon_X810)
% 23.30/23.68  (-. (relation zenon_X16 zenon_X492))
% 23.30/23.68  (-. (forename zenon_X56 (skc8)))
% 23.30/23.68  (-. (mia_forename zenon_X87 zenon_X170))
% 23.30/23.68  ((skc9) != zenon_X388)
% 23.30/23.68  ((skc8) != zenon_X776)
% 23.30/23.68  ((skc6) != zenon_X394)
% 23.30/23.68  (-. (female zenon_X40 (skc8)))
% 23.30/23.68  ((skc6) != zenon_X411)
% 23.30/23.68  (-. (specific zenon_X44 zenon_X971))
% 23.30/23.68  (-. (relname zenon_X48 zenon_X794))
% 23.30/23.68  (food (skc5) (skc7))
% 23.30/23.68  (-. (forename zenon_X82 zenon_X1144))
% 23.30/23.68  (-. (event zenon_X58 zenon_X600))
% 23.30/23.68  (zenon_X72 != zenon_X30)
% 23.30/23.68  (-. (shake_beverage zenon_X16 zenon_X963))
% 23.30/23.68  ((skc9) != zenon_X1133)
% 23.30/23.68  (-. (general zenon_X22 (skc9)))
% 23.30/23.68  (-. (nonliving zenon_X34 zenon_X136))
% 23.30/23.68  (zenon_X60 != zenon_X87)
% 23.30/23.68  ((skc8) != zenon_X204)
% 23.30/23.68  ((skc6) != zenon_X75)
% 23.30/23.68  ((skc6) != zenon_X128)
% 23.30/23.68  ((skc7) != zenon_X1101)
% 23.30/23.68  (-. (beverage zenon_X52 (skc7)))
% 23.30/23.68  ((skc8) != zenon_X197)
% 23.30/23.68  (zenon_X80 != zenon_X78)
% 23.30/23.68  (-. (object zenon_X78 zenon_X972))
% 23.30/23.68  (substance_matter zenon_X74 (skc7))
% 23.30/23.68  (-. (nonexistent zenon_X38 (skc7)))
% 23.30/23.68  (-. (entity zenon_X16 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X1107)
% 23.30/23.68  ((skc8) != zenon_X904)
% 23.30/23.68  ((skc6) != (skc7))
% 23.30/23.68  (zenon_X38 != zenon_X20)
% 23.30/23.68  (-. (existent zenon_X87 zenon_X626))
% 23.30/23.68  (-. (object zenon_X0 zenon_X889))
% 23.30/23.68  ((skc8) != zenon_X397)
% 23.30/23.68  ((skc7) != zenon_X602)
% 23.30/23.68  (-. (eventuality zenon_X52 (skc6)))
% 23.30/23.68  (-. (object zenon_X40 zenon_X1096))
% 23.30/23.68  (-. (order zenon_X72 zenon_X691))
% 23.30/23.68  ((skc9) != zenon_X823)
% 23.30/23.68  (unisex zenon_X80 (skc7))
% 23.30/23.68  (-. (existent zenon_X30 (skc9)))
% 23.30/23.68  (-. (human_person zenon_X87 zenon_X133))
% 23.30/23.68  (-. (mia_forename zenon_X4 zenon_X436))
% 23.30/23.68  (object zenon_X38 (skc7))
% 23.30/23.68  ((skc6) != zenon_X310)
% 23.30/23.68  ((skc6) != zenon_X661)
% 23.30/23.68  ((skc6) != zenon_X557)
% 23.30/23.68  (-. (forename zenon_X56 zenon_X1032))
% 23.30/23.68  (-. (nonexistent zenon_X32 (skc7)))
% 23.30/23.68  (-. (relname zenon_X14 (skc8)))
% 23.30/23.68  (-. (nonexistent zenon_X58 (skc9)))
% 23.30/23.68  (zenon_X48 != zenon_X30)
% 23.30/23.68  (zenon_X42 != zenon_X10)
% 23.30/23.68  (-. (unisex zenon_X18 zenon_X739))
% 23.30/23.68  (existent zenon_X44 (skc7))
% 23.30/23.68  (-. (order zenon_X16 zenon_X17))
% 23.30/23.68  (zenon_X38 != zenon_X24)
% 23.30/23.68  (-. (eventuality zenon_X30 zenon_X633))
% 23.30/23.68  (-. (human_person zenon_X0 zenon_X634))
% 23.30/23.68  (zenon_X26 != zenon_X22)
% 23.30/23.68  (-. (nonliving zenon_X42 zenon_X1002))
% 23.30/23.68  (existent (skc5) (skc7))
% 23.30/23.68  (-. (object zenon_X18 zenon_X1026))
% 23.30/23.68  ((skc5) != zenon_X87)
% 23.30/23.68  (-. (eventuality zenon_X74 zenon_X226))
% 23.30/23.68  (-. (entity zenon_X16 zenon_X410))
% 23.30/23.68  (-. (substance_matter zenon_X58 (skc7)))
% 23.30/23.68  (-. (unisex zenon_X74 (skc6)))
% 23.30/23.68  (-. (specific zenon_X74 zenon_X75))
% 23.30/23.68  (-. (relname zenon_X74 zenon_X842))
% 23.30/23.68  (-. (entity zenon_X44 zenon_X1004))
% 23.30/23.68  ((skc7) != zenon_X530)
% 23.30/23.68  (-. (relname zenon_X24 zenon_X651))
% 23.30/23.68  (substance_matter zenon_X40 (skc7))
% 23.30/23.68  ((skc7) != zenon_X130)
% 23.30/23.68  ((skc9) != zenon_X789)
% 23.30/23.68  (-. (forename zenon_X10 zenon_X1051))
% 23.30/23.68  (-. (relation zenon_X30 zenon_X758))
% 23.30/23.68  ((skc9) != zenon_X626)
% 23.30/23.68  (-. (human zenon_X56 (skc8)))
% 23.30/23.68  (-. (mia_forename zenon_X16 zenon_X353))
% 23.30/23.68  ((skc7) != zenon_X475)
% 23.30/23.68  ((skc7) != zenon_X817)
% 23.30/23.68  (-. (relation zenon_X48 zenon_X256))
% 23.30/23.68  (-. (event zenon_X14 zenon_X151))
% 23.30/23.68  (zenon_X38 != zenon_X58)
% 23.30/23.68  ((skc8) != zenon_X9)
% 23.30/23.68  ((skc7) != zenon_X444)
% 23.30/23.68  (-. (food zenon_X32 zenon_X653))
% 23.30/23.68  (-. (unisex zenon_X2 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X1104)
% 23.30/23.68  (-. (unisex zenon_X72 (skc6)))
% 23.30/23.68  ((skc6) != zenon_X208)
% 23.30/23.68  ((skc6) != zenon_X795)
% 23.30/23.68  (unisex zenon_X56 (skc8))
% 23.30/23.68  (object zenon_X26 (skc7))
% 23.30/23.68  ((skc6) != zenon_X582)
% 23.30/23.68  (zenon_X2 != zenon_X87)
% 23.30/23.68  ((skc7) != zenon_X626)
% 23.30/23.68  (-. (event zenon_X0 zenon_X596))
% 23.30/23.68  (-. (order zenon_X32 zenon_X505))
% 23.30/23.68  (-. (order zenon_X44 zenon_X742))
% 23.30/23.68  (substance_matter zenon_X32 (skc7))
% 23.30/23.68  (-. (entity zenon_X58 zenon_X639))
% 23.30/23.68  (-. (entity zenon_X16 zenon_X562))
% 23.30/23.68  (-. (act zenon_X24 zenon_X404))
% 23.30/23.68  (zenon_X10 != zenon_X24)
% 23.30/23.68  ((skc8) != zenon_X491)
% 23.30/23.68  (-. (substance_matter zenon_X0 zenon_X744))
% 23.30/23.68  ((skc6) != zenon_X778)
% 23.30/23.68  ((skc9) != zenon_X652)
% 23.30/23.68  (-. (abstraction (skc5) zenon_X163))
% 23.30/23.68  (-. (forename zenon_X68 zenon_X1183))
% 23.30/23.68  ((skc7) != zenon_X424)
% 23.30/23.68  ((skc8) != zenon_X553)
% 23.30/23.68  ((skc5) != zenon_X10)
% 23.30/23.68  (-. (relation zenon_X78 zenon_X197))
% 23.30/23.68  (abstraction zenon_X38 (skc8))
% 23.30/23.68  (-. (entity zenon_X30 zenon_X526))
% 23.30/23.68  (-. (entity zenon_X14 (skc7)))
% 23.30/23.68  (-. (act zenon_X38 zenon_X258))
% 23.30/23.68  (specific zenon_X26 (skc9))
% 23.30/23.68  (event zenon_X42 (skc6))
% 23.30/23.68  (-. (order zenon_X40 zenon_X1050))
% 23.30/23.68  (-. (object zenon_X34 zenon_X741))
% 23.30/23.68  ((skc7) != zenon_X77)
% 23.30/23.68  (-. (relname zenon_X54 zenon_X674))
% 23.30/23.68  ((skc9) != zenon_X150)
% 23.30/23.68  (-. (eventuality zenon_X32 (skc6)))
% 23.30/23.68  (zenon_X80 != zenon_X30)
% 23.30/23.68  (zenon_X26 != zenon_X56)
% 23.30/23.68  ((skc9) != zenon_X851)
% 23.30/23.68  ((skc9) != zenon_X332)
% 23.30/23.68  (-. (unisex zenon_X4 (skc7)))
% 23.30/23.68  (zenon_X22 != zenon_X16)
% 23.30/23.68  (-. (forename zenon_X18 zenon_X966))
% 23.30/23.68  ((skc7) != zenon_X869)
% 23.30/23.68  (-. (woman zenon_X74 zenon_X702))
% 23.30/23.68  (-. (object zenon_X2 zenon_X447))
% 23.30/23.68  (-. (object zenon_X52 zenon_X955))
% 23.30/23.68  (-. (living zenon_X42 (skc7)))
% 23.30/23.68  (-. (agent zenon_X84 zenon_X85 (skc9)))
% 23.30/23.68  (-. (woman zenon_X24 zenon_X585))
% 23.30/23.68  (-. (human_person zenon_X60 zenon_X1167))
% 23.30/23.68  (-. (unisex zenon_X52 zenon_X95))
% 23.30/23.68  ((skc7) != zenon_X235)
% 23.30/23.68  (-. (substance_matter zenon_X16 (skc7)))
% 23.30/23.68  ((skc6) != zenon_X463)
% 23.30/23.68  (agent (skc5) (skc6) (skc9))
% 23.30/23.68  (relname zenon_X40 (skc8))
% 23.30/23.68  (-. (eventuality zenon_X87 (skc6)))
% 23.30/23.68  (-. (entity zenon_X22 zenon_X645))
% 23.30/23.68  (-. (unisex zenon_X2 zenon_X248))
% 23.30/23.68  (zenon_X22 != zenon_X87)
% 23.30/23.68  (-. (relname zenon_X58 zenon_X782))
% 23.30/23.68  (specific zenon_X20 (skc7))
% 23.30/23.68  (-. (specific zenon_X14 zenon_X540))
% 23.30/23.68  (-. (specific zenon_X22 (skc6)))
% 23.30/23.68  (zenon_X0 != zenon_X58)
% 23.30/23.68  ((skc6) != zenon_X837)
% 23.30/23.68  ((skc9) != zenon_X441)
% 23.30/23.68  ((skc8) != zenon_X604)
% 23.30/23.68  (-. (object zenon_X0 zenon_X714))
% 23.30/23.68  ((skc7) != zenon_X428)
% 23.30/23.68  (zenon_X48 != zenon_X14)
% 23.30/23.68  (-. (substance_matter zenon_X58 zenon_X415))
% 23.30/23.68  ((skc7) != zenon_X1068)
% 23.30/23.68  ((skc7) != zenon_X405)
% 23.30/23.68  (-. (abstraction zenon_X24 (skc8)))
% 23.30/23.68  (-. (forename zenon_X54 zenon_X175))
% 23.30/23.68  ((skc8) != zenon_X781)
% 23.30/23.68  (zenon_X42 != zenon_X72)
% 23.30/23.68  (-. (object zenon_X76 zenon_X892))
% 23.30/23.68  (-. (animate zenon_X10 zenon_X1146))
% 23.30/23.68  (-. (abstraction (skc5) zenon_X306))
% 23.30/23.68  (-. (entity zenon_X32 zenon_X380))
% 23.30/23.68  (-. (unisex zenon_X20 (skc6)))
% 23.30/23.68  (zenon_X16 != zenon_X48)
% 23.30/23.68  ((skc6) != zenon_X733)
% 23.30/23.68  (-. (forename zenon_X76 zenon_X1038))
% 23.30/23.68  (zenon_X40 != zenon_X4)
% 23.30/23.68  (zenon_X32 != zenon_X58)
% 23.30/23.68  (-. (female zenon_X4 (skc6)))
% 23.30/23.68  (-. (order zenon_X34 zenon_X1074))
% 23.30/23.68  (-. (relation zenon_X4 zenon_X453))
% 23.30/23.68  ((skc8) != zenon_X276)
% 23.30/23.68  (zenon_X48 != zenon_X20)
% 23.30/23.68  (existent zenon_X38 (skc9))
% 23.30/23.68  (-. (food zenon_X76 (skc7)))
% 23.30/23.68  (zenon_X82 != zenon_X60)
% 23.30/23.68  ((skc7) != zenon_X278)
% 23.30/23.68  (-. (woman zenon_X48 zenon_X834))
% 23.30/23.68  (-. (nonhuman zenon_X40 zenon_X1071))
% 23.30/23.68  (-. (abstraction zenon_X30 zenon_X836))
% 23.30/23.68  (-. (general zenon_X56 (skc9)))
% 23.30/23.68  (-. (abstraction zenon_X56 zenon_X840))
% 23.30/23.68  (-. (order zenon_X74 zenon_X559))
% 23.30/23.68  ((skc7) != zenon_X543)
% 23.30/23.68  ((skc9) != zenon_X179)
% 23.30/23.68  (zenon_X2 != zenon_X14)
% 23.30/23.68  (-. (unisex zenon_X22 zenon_X310))
% 23.30/23.68  ((skc9) != zenon_X361)
% 23.30/23.68  ((skc6) != zenon_X870)
% 23.30/23.68  (-. (forename zenon_X60 zenon_X99))
% 23.30/23.68  (-. (abstraction zenon_X42 zenon_X769))
% 23.30/23.68  (zenon_X58 != zenon_X74)
% 23.30/23.68  (zenon_X32 != zenon_X38)
% 23.30/23.68  (-. (object zenon_X74 zenon_X721))
% 23.30/23.68  (nonliving zenon_X20 (skc7))
% 23.30/23.68  (-. (general zenon_X32 (skc9)))
% 23.30/23.68  (-. (nonhuman zenon_X4 zenon_X790))
% 23.30/23.68  (-. (specific zenon_X10 zenon_X130))
% 23.30/23.68  (-. (unisex zenon_X87 zenon_X390))
% 23.30/23.68  (-. (entity zenon_X72 zenon_X546))
% 23.30/23.68  (-. (existent zenon_X24 zenon_X1053))
% 23.30/23.68  (-. (substance_matter zenon_X30 zenon_X885))
% 23.30/23.68  (zenon_X54 != zenon_X80)
% 23.30/23.68  (-. (mia_forename zenon_X24 zenon_X227))
% 23.30/23.68  ((skc7) != zenon_X666)
% 23.30/23.68  (-. (human_person zenon_X48 zenon_X1060))
% 23.30/23.68  (zenon_X76 != zenon_X78)
% 23.30/23.68  (-. (relation zenon_X18 zenon_X1064))
% 23.30/23.68  (-. (object zenon_X4 zenon_X323))
% 23.30/23.68  (-. (specific zenon_X30 zenon_X116))
% 23.30/23.68  (-. (female (skc5) (skc7)))
% 23.30/23.68  (-. (forename zenon_X26 zenon_X275))
% 23.30/23.68  (-. (food zenon_X34 zenon_X945))
% 23.30/23.68  (-. (object zenon_X30 zenon_X1022))
% 23.30/23.68  ((skc7) != zenon_X329)
% 23.30/23.68  (-. (order zenon_X22 zenon_X658))
% 23.30/23.68  (-. (entity zenon_X38 zenon_X332))
% 23.30/23.68  (-. (eventuality zenon_X32 zenon_X520))
% 23.30/23.68  ((skc8) != zenon_X642)
% 23.30/23.68  (zenon_X68 != zenon_X14)
% 23.30/23.68  ((skc8) != zenon_X1183)
% 23.30/23.68  ((skc7) != zenon_X75)
% 23.30/23.68  (-. (act zenon_X60 zenon_X334))
% 23.30/23.68  (-. (object zenon_X36 zenon_X37))
% 23.30/23.68  (-. (eventuality zenon_X10 zenon_X580))
% 23.30/23.68  (zenon_X10 != zenon_X74)
% 23.30/23.68  (-. (substance_matter zenon_X0 (skc7)))
% 23.30/23.68  (-. (substance_matter zenon_X76 zenon_X142))
% 23.30/23.68  (-. (order zenon_X87 zenon_X708))
% 23.30/23.68  ((skc7) != zenon_X612)
% 23.30/23.68  (-. (shake_beverage zenon_X26 zenon_X949))
% 23.30/23.68  (-. (entity zenon_X74 (skc9)))
% 23.30/23.68  ((skc6) != zenon_X1068)
% 23.30/23.68  ((skc8) != zenon_X220)
% 23.30/23.68  ((skc9) != zenon_X176)
% 23.30/23.68  ((skc7) != zenon_X134)
% 23.30/23.68  ((skc6) != zenon_X342)
% 23.30/23.68  (zenon_X26 != zenon_X76)
% 23.30/23.68  (zenon_X40 != zenon_X32)
% 23.30/23.68  (-. (mia_forename zenon_X0 zenon_X593))
% 23.30/23.68  ((skc6) != zenon_X947)
% 23.30/23.68  (zenon_X74 != zenon_X56)
% 23.30/23.68  (zenon_X54 != zenon_X14)
% 23.30/23.68  ((skc9) != zenon_X524)
% 23.30/23.68  (zenon_X2 != zenon_X78)
% 23.30/23.68  ((skc9) != zenon_X682)
% 23.30/23.68  ((skc8) != zenon_X55)
% 23.30/23.68  (animate zenon_X26 (skc9))
% 23.30/23.68  ((skc9) != zenon_X533)
% 23.30/23.68  ((skc7) != zenon_X971)
% 23.30/23.68  (-. (relname zenon_X34 zenon_X1093))
% 23.30/23.68  (-. (entity zenon_X58 zenon_X428))
% 23.30/23.68  (-. (organism zenon_X24 (skc9)))
% 23.30/23.68  (-. (nonexistent zenon_X80 (skc7)))
% 23.30/23.68  (-. (forename zenon_X48 zenon_X1089))
% 23.30/23.68  (-. (general zenon_X2 (skc6)))
% 23.30/23.68  (-. (abstraction zenon_X54 zenon_X706))
% 23.30/23.68  (-. (female zenon_X56 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X396)
% 23.30/23.68  (-. (object zenon_X56 zenon_X206))
% 23.30/23.68  (-. (forename zenon_X44 zenon_X431))
% 23.30/23.68  (zenon_X2 != zenon_X54)
% 23.30/23.68  (entity zenon_X20 (skc9))
% 23.30/23.68  (-. (entity zenon_X14 zenon_X588))
% 23.30/23.68  (-. (object zenon_X24 zenon_X396))
% 23.30/23.68  (-. (shake_beverage zenon_X0 zenon_X994))
% 23.30/23.68  (-. (nonliving zenon_X76 zenon_X77))
% 23.30/23.68  ((skc9) != zenon_X443)
% 23.30/23.68  (-. (object zenon_X34 (skc7)))
% 23.30/23.68  (unisex zenon_X32 (skc6))
% 23.30/23.68  (-. (female zenon_X18 (skc6)))
% 23.30/23.68  (-. (existent zenon_X72 (skc7)))
% 23.30/23.68  (-. (human_person zenon_X82 (skc9)))
% 23.30/23.68  (zenon_X80 != zenon_X0)
% 23.30/23.68  (specific zenon_X30 (skc9))
% 23.30/23.68  ((skc8) != zenon_X171)
% 23.30/23.68  ((skc9) != zenon_X67)
% 23.30/23.68  ((skc8) != zenon_X131)
% 23.30/23.68  (specific zenon_X44 (skc6))
% 23.30/23.68  (-. (abstraction zenon_X16 (skc8)))
% 23.30/23.68  (-. (specific zenon_X18 zenon_X1025))
% 23.30/23.68  (-. (mia_forename zenon_X32 zenon_X244))
% 23.30/23.68  ((skc9) != zenon_X215)
% 23.30/23.68  (zenon_X14 != zenon_X22)
% 23.30/23.68  (eventuality zenon_X4 (skc6))
% 23.30/23.68  (zenon_X58 != zenon_X14)
% 23.30/23.68  ((skc8) != zenon_X511)
% 23.30/23.68  (unisex zenon_X38 (skc7))
% 23.30/23.68  ((skc6) != zenon_X13)
% 23.30/23.68  (zenon_X2 != zenon_X32)
% 23.30/23.68  (-. (organism zenon_X20 zenon_X789))
% 23.30/23.68  (-. (nonhuman zenon_X82 zenon_X1120))
% 23.30/23.68  (zenon_X22 != zenon_X60)
% 23.30/23.68  (-. (abstraction zenon_X38 zenon_X814))
% 23.30/23.68  (-. (relation zenon_X58 zenon_X506))
% 23.30/23.68  (-. (entity zenon_X42 zenon_X823))
% 23.30/23.68  (zenon_X2 != zenon_X80)
% 23.30/23.68  (-. (female zenon_X18 (skc7)))
% 23.30/23.68  (-. (relation zenon_X40 zenon_X1041))
% 23.30/23.68  ((skc9) != zenon_X224)
% 23.30/23.68  (-. (substance_matter zenon_X38 zenon_X246))
% 23.30/23.68  (-. (relation zenon_X87 zenon_X511))
% 23.30/23.68  (zenon_X56 != zenon_X2)
% 23.30/23.68  (-. (female zenon_X2 (skc6)))
% 23.30/23.68  ((skc7) != zenon_X37)
% 23.30/23.68  (zenon_X42 != zenon_X20)
% 23.30/23.68  ((skc8) != zenon_X769)
% 23.30/23.68  (zenon_X48 != zenon_X56)
% 23.30/23.68  (zenon_X87 != zenon_X14)
% 23.30/23.68  ((skc7) != zenon_X686)
% 23.30/23.68  (-. (unisex zenon_X24 (skc8)))
% 23.30/23.68  (-. (general zenon_X4 (skc6)))
% 23.30/23.68  (-. (entity zenon_X2 zenon_X421))
% 23.30/23.68  ((skc7) != zenon_X21)
% 23.30/23.68  (-. (nonliving zenon_X48 zenon_X799))
% 23.30/23.68  (-. (shake_beverage zenon_X82 zenon_X1164))
% 23.30/23.68  (-. (nonhuman zenon_X42 zenon_X642))
% 23.30/23.68  ((skc6) != zenon_X652)
% 23.30/23.68  (-. (unisex zenon_X20 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X433)
% 23.30/23.68  ((skc7) != zenon_X145)
% 23.30/23.68  (-. (living zenon_X2 (skc7)))
% 23.30/23.68  (zenon_X32 != zenon_X76)
% 23.30/23.68  (zenon_X42 != zenon_X4)
% 23.30/23.68  ((skc8) != zenon_X584)
% 23.30/23.68  (-. (nonexistent zenon_X40 (skc9)))
% 23.30/23.68  (nonliving zenon_X34 (skc7))
% 23.30/23.68  (-. (female zenon_X76 (skc8)))
% 23.30/23.68  (-. (existent zenon_X42 zenon_X810))
% 23.30/23.68  ((skc7) != zenon_X1082)
% 23.30/23.68  (specific zenon_X44 (skc7))
% 23.30/23.68  ((skc5) != zenon_X48)
% 23.30/23.68  ((skc8) != zenon_X724)
% 23.30/23.68  ((skc6) != zenon_X130)
% 23.30/23.68  ((skc6) != zenon_X580)
% 23.30/23.68  ((skc7) != zenon_X746)
% 23.30/23.68  (-. (organism zenon_X80 (skc9)))
% 23.30/23.68  (unisex zenon_X18 (skc6))
% 23.30/23.68  (-. (entity zenon_X4 zenon_X224))
% 23.30/23.68  ((skc6) != zenon_X226)
% 23.30/23.68  ((skc9) != zenon_X944)
% 23.30/23.68  (specific zenon_X40 (skc9))
% 23.30/23.68  (-. (unisex zenon_X54 zenon_X384))
% 23.30/23.68  (-. (specific zenon_X87 zenon_X411))
% 23.30/23.68  (-. (mia_forename zenon_X68 zenon_X1180))
% 23.30/23.68  (eventuality zenon_X2 (skc6))
% 23.30/23.68  (-. (beverage zenon_X38 zenon_X954))
% 23.30/23.68  (zenon_X42 != zenon_X68)
% 23.30/23.68  (-. (eventuality zenon_X30 zenon_X272))
% 23.30/23.68  (-. (existent zenon_X16 zenon_X627))
% 23.30/23.68  (-. (act zenon_X56 zenon_X757))
% 23.30/23.68  (forename zenon_X54 (skc8))
% 23.30/23.68  (-. (beverage zenon_X16 zenon_X592))
% 23.30/23.68  (zenon_X26 != zenon_X87)
% 23.30/23.68  (-. (event zenon_X60 zenon_X341))
% 23.30/23.68  (-. (animate zenon_X16 (skc9)))
% 23.30/23.68  (-. (food zenon_X52 (skc7)))
% 23.30/23.68  ((skc9) != zenon_X737)
% 23.30/23.68  (zenon_X40 != zenon_X80)
% 23.30/23.68  (-. (human_person zenon_X0 zenon_X1062))
% 23.30/23.68  ((skc9) != zenon_X348)
% 23.30/23.68  (zenon_X32 != zenon_X14)
% 23.30/23.68  (-. (food zenon_X24 zenon_X318))
% 23.30/23.68  (-. (nonexistent (skc5) (skc9)))
% 23.30/23.68  ((skc6) != zenon_X404)
% 23.30/23.68  (zenon_X68 != zenon_X82)
% 23.30/23.68  (-. (beverage zenon_X78 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X987)
% 23.30/23.68  (-. (unisex zenon_X14 (skc7)))
% 23.30/23.68  (-. (shake_beverage zenon_X38 zenon_X1008))
% 23.30/23.68  (-. (human zenon_X42 (skc8)))
% 23.30/23.68  (-. (act zenon_X82 zenon_X1130))
% 23.30/23.68  ((skc7) != zenon_X442)
% 23.30/23.68  (zenon_X68 != zenon_X78)
% 23.30/23.68  (-. (specific zenon_X20 zenon_X730))
% 23.30/23.68  (-. (entity zenon_X20 zenon_X851))
% 23.30/23.68  ((skc9) != zenon_X725)
% 23.30/23.68  ((skc7) != zenon_X148)
% 23.30/23.68  (-. (order zenon_X18 zenon_X974))
% 23.30/23.68  (-. (shake_beverage zenon_X40 zenon_X1091))
% 23.30/23.68  (-. (human_person zenon_X18 zenon_X937))
% 23.30/23.68  (-. (human_person zenon_X87 zenon_X1137))
% 23.30/23.68  ((skc7) != zenon_X637)
% 23.30/23.68  (-. (substance_matter zenon_X78 zenon_X943))
% 23.30/23.68  (-. (event zenon_X44 zenon_X733))
% 23.30/23.68  ((skc7) != zenon_X400)
% 23.30/23.68  (specific zenon_X68 (skc9))
% 23.30/23.68  (nonliving (skc5) (skc7))
% 23.30/23.68  (zenon_X54 != zenon_X60)
% 23.30/23.68  (-. (entity zenon_X24 zenon_X201))
% 23.30/23.68  (-. (general zenon_X22 (skc7)))
% 23.30/23.68  ((skc7) != zenon_X452)
% 23.30/23.68  (-. (act zenon_X52 zenon_X300))
% 23.30/23.68  (specific zenon_X0 (skc9))
% 23.30/23.68  (-. (abstraction zenon_X34 (skc8)))
% 23.30/23.68  (-. (human_person zenon_X4 zenon_X1214))
% 23.30/23.68  (-. (abstraction zenon_X44 zenon_X490))
% 23.30/23.68  ((skc7) != zenon_X100)
% 23.30/23.68  (-. (abstraction zenon_X16 zenon_X250))
% 23.30/23.68  (-. (female zenon_X42 (skc8)))
% 23.30/23.68  ((skc7) != zenon_X257)
% 23.30/23.68  (-. (human_person zenon_X76 zenon_X1178))
% 23.30/23.68  (-. (forename zenon_X32 zenon_X379))
% 23.30/23.68  (-. (mia_forename zenon_X2 zenon_X354))
% 23.30/23.68  (-. (eventuality zenon_X44 zenon_X914))
% 23.30/23.68  ((skc8) != zenon_X662)
% 23.30/23.68  (-. (female zenon_X48 (skc8)))
% 23.30/23.68  (-. (event zenon_X68 zenon_X1148))
% 23.30/23.68  (-. (abstraction zenon_X78 zenon_X118))
% 23.30/23.68  (-. (abstraction zenon_X68 zenon_X1192))
% 23.30/23.68  (-. (entity zenon_X54 zenon_X252))
% 23.30/23.68  ((skc8) != zenon_X745)
% 23.30/23.68  (entity zenon_X60 (skc9))
% 23.30/23.68  (zenon_X58 != zenon_X80)
% 23.30/23.68  ((skc6) != zenon_X237)
% 23.30/23.68  (-. (female zenon_X40 (skc6)))
% 23.30/23.68  (-. (shake_beverage zenon_X58 zenon_X951))
% 23.30/23.68  (-. (human_person zenon_X4 zenon_X552))
% 23.30/23.68  ((skc9) != zenon_X982)
% 23.30/23.68  (-. (unisex zenon_X78 zenon_X964))
% 23.30/23.68  ((skc7) != zenon_X29)
% 23.30/23.68  (zenon_X26 != zenon_X80)
% 23.30/23.68  (nonliving zenon_X2 (skc7))
% 23.30/23.68  ((skc6) != zenon_X290)
% 23.30/23.68  ((skc9) != zenon_X63)
% 23.30/23.68  (-. (specific zenon_X48 zenon_X843))
% 23.30/23.68  (-. (human_person zenon_X74 zenon_X425))
% 23.30/23.68  (-. (organism zenon_X42 zenon_X944))
% 23.30/23.68  (-. (abstraction zenon_X4 zenon_X880))
% 23.30/23.68  (-. (object zenon_X72 (skc7)))
% 23.30/23.68  (-. (eventuality zenon_X74 (skc6)))
% 23.30/23.68  (zenon_X20 != zenon_X74)
% 23.30/23.68  (-. (female zenon_X32 (skc7)))
% 23.30/23.68  (-. (shake_beverage zenon_X4 zenon_X589))
% 23.30/23.68  ((skc9) != zenon_X102)
% 23.30/23.68  (-. (act zenon_X14 zenon_X774))
% 23.30/23.68  (zenon_X26 != zenon_X58)
% 23.30/23.68  (-. (order zenon_X87 zenon_X679))
% 23.30/23.68  (-. (female zenon_X22 (skc7)))
% 23.30/23.68  (existent zenon_X54 (skc9))
% 23.30/23.68  ((skc8) != zenon_X295)
% 23.30/23.68  (zenon_X42 != zenon_X18)
% 23.30/23.68  (-. (object zenon_X58 zenon_X753))
% 23.30/23.68  (-. (relname zenon_X16 (skc8)))
% 23.30/23.68  ((skc8) != zenon_X1042)
% 23.30/23.68  (zenon_X82 != zenon_X58)
% 23.30/23.68  (-. (eventuality zenon_X78 (skc6)))
% 23.30/23.68  (-. (act zenon_X87 zenon_X416))
% 23.30/23.68  (-. (unisex zenon_X48 zenon_X818))
% 23.30/23.68  (zenon_X0 != zenon_X52)
% 23.30/23.68  ((skc9) != zenon_X843)
% 23.30/23.68  (-. (woman zenon_X72 zenon_X868))
% 23.30/23.68  (zenon_X20 != zenon_X52)
% 23.30/23.68  ((skc9) != zenon_X1023)
% 23.30/23.68  (-. (entity zenon_X80 (skc9)))
% 23.30/23.68  (-. (nonliving zenon_X18 zenon_X1011))
% 23.30/23.68  (-. (shake_beverage zenon_X48 zenon_X921))
% 23.30/23.68  (unisex zenon_X60 (skc8))
% 23.30/23.68  (-. (entity zenon_X44 zenon_X482))
% 23.30/23.68  (zenon_X44 != zenon_X58)
% 23.30/23.68  ((skc8) != zenon_X762)
% 23.30/23.68  (-. (eventuality zenon_X78 zenon_X619))
% 23.30/23.68  (zenon_X40 != zenon_X0)
% 23.30/23.68  (-. (act zenon_X54 zenon_X503))
% 23.30/23.68  (-. (specific zenon_X87 (skc9)))
% 23.30/23.68  (-. (entity zenon_X58 zenon_X181))
% 23.30/23.68  ((skc9) != zenon_X565)
% 23.30/23.68  *)
% 23.30/23.68  (* NO-PROOF *)
% 23.30/23.68  % SZS status GaveUp
% 23.30/23.68  Number of rewrites on terms: 0
% 23.30/23.68  Number of rewrites on props: 0
% 23.30/23.68  nodes searched: 507367
% 23.30/23.68  max branch formulas: 6225
% 23.30/23.68  proof nodes created: 16500
% 23.30/23.68  formulas created: 548260
% 23.30/23.68  
%------------------------------------------------------------------------------