↑ Up

SNARK---20120808r022.THM-Ref.s

View TPTP
Problem
Process solution in
SystemOnTSTP
Download .tgz
%------------------------------------------------------------------------------
% File     : SNARK---20120808r022
% Problem  : CSR037+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run-snark %s %d

% Computer : n023.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 600s
% DateTime : Fri Jul 15 23:18:17 EDT 2022

% Result   : Theorem 11.13s 11.32s
% Output   : Refutation 11.13s
% Verified : 
% SZS Type : Refutation
%            Derivation depth      :    2
%            Number of leaves      :    5
% Syntax   : Number of clauses     :    8 (   5 unt;   0 nHn;   8 RR)
%            Number of literals    :   12 (   0 equ;   5 neg)
%            Maximal clause size   :    3 (   1 avg)
%            Maximal term depth    :    1 (   1 avg)
%            Number of predicates  :    3 (   2 usr;   1 prp; 0-2 aty)
%            Number of functors    :    4 (   4 usr;   4 con; 0-0 aty)
%            Number of variables   :    3 (   0 sgn)

% Comments : 
%------------------------------------------------------------------------------
cnf(10322,axiom,
    ( ~ mtvisible(c_tptpgeo_member7_mt)
    | geographicalsubregions(c_georegion_l3_x15_y24,c_georegion_l4_x45_y72) ),
    file('/export/starexec/sandbox/benchmark/Axioms/CSR002+3.ax',ax3_10648) ).

cnf(11955,axiom,
    ( ~ mtvisible(c_tptpgeo_member7_mt)
    | geographicalsubregions(c_georegion_l2_x5_y8,c_georegion_l3_x15_y24) ),
    file('/export/starexec/sandbox/benchmark/Axioms/CSR002+3.ax',ax3_12361) ).

cnf(40456,axiom,
    ( ~ geographicalsubregions(X,Y)
    | ~ geographicalsubregions(Y,Z)
    | geographicalsubregions(X,Z) ),
    file('/export/starexec/sandbox/benchmark/Axioms/CSR002+3.ax',ax3_44144) ).

cnf(40499,negated_conjecture,
    mtvisible(c_tptpgeo_member7_mt),
    file('/export/starexec/sandbox/benchmark/theBenchmark.p',query187) ).

cnf(40500,negated_conjecture,
    ~ geographicalsubregions(c_georegion_l2_x5_y8,c_georegion_l4_x45_y72),
    file('/export/starexec/sandbox/benchmark/theBenchmark.p',query187) ).

cnf(40507,plain,
    geographicalsubregions(c_georegion_l3_x15_y24,c_georegion_l4_x45_y72),
    inference('REWRITE',[status(thm)],[10322,40499]) ).

cnf(40509,plain,
    geographicalsubregions(c_georegion_l2_x5_y8,c_georegion_l3_x15_y24),
    inference('REWRITE',[status(thm)],[11955,40499]) ).

cnf(67025,plain,
    $false,
    inference('UR-RESOLVE',[status(thm)],[40456,40509,40507,40500]) ).

%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12  % Problem  : CSR037+4 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.13  % Command  : run-snark %s %d
% 0.14/0.34  % Computer : n023.cluster.edu
% 0.14/0.34  % Model    : x86_64 x86_64
% 0.14/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34  % Memory   : 8042.1875MB
% 0.14/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34  % CPULimit : 300
% 0.14/0.34  % WCLimit  : 600
% 0.14/0.34  % DateTime : Sat Jun 11 08:32:37 EDT 2022
% 0.14/0.34  % CPUTime  : 
% 0.20/0.45  /export/starexec/sandbox/benchmark/theBenchmark.p
% 0.20/0.46  * 
% 0.20/0.46  * 
% 0.20/0.47  #<PACKAGE "SNARK-USER">
% 0.20/0.47  * 
% 0.20/0.47  SNARK-TPTP-OPTIONS
% 0.20/0.47  * 
% 0.20/0.47  ((AGENDA-LENGTH-LIMIT NIL) (AGENDA-LENGTH-BEFORE-SIMPLIFICATION-LIMIT NIL)
% 0.20/0.47   (USE-HYPERRESOLUTION T) (USE-UR-RESOLUTION T) (USE-PARAMODULATION T)
% 0.20/0.47   (USE-FACTORING :POS)
% 0.20/0.47   (USE-LITERAL-ORDERING-WITH-HYPERRESOLUTION 'LITERAL-ORDERING-P)
% 0.20/0.47   (USE-LITERAL-ORDERING-WITH-PARAMODULATION 'LITERAL-ORDERING-P)
% 0.20/0.47   (ORDERING-FUNCTIONS>CONSTANTS T) (ASSERT-CONTEXT :CURRENT)
% 0.20/0.47   (RUN-TIME-LIMIT 300) (LISTEN-FOR-COMMANDS NIL)
% 0.20/0.47   (USE-CLOSURE-WHEN-SATISFIABLE T) (PRINT-ROWS-WHEN-GIVEN NIL)
% 0.20/0.47   (PRINT-ROWS-WHEN-DERIVED NIL) (PRINT-UNORIENTABLE-ROWS NIL)
% 0.20/0.47   (PRINT-ROW-WFFS-PRETTILY NIL) (PRINT-FINAL-ROWS :TPTP)
% 0.20/0.47   (PRINT-OPTIONS-WHEN-STARTING NIL) (USE-VARIABLE-NAME-SORTS NIL)
% 0.20/0.47   (USE-PURITY-TEST T) (USE-RELEVANCE-TEST T) (DECLARE-TPTP-SYMBOLS1)
% 0.20/0.47   (DECLARE-TPTP-SYMBOLS2))
% 0.20/0.47  * 
% 0.20/0.47  "."
% 0.20/0.47  * 
% 0.20/0.47  ; Begin refute-file /export/starexec/sandbox/benchmark/theBenchmark.p 2022-06-11T08:32:37
% 0.20/0.47  ; Running SNARK from /davis/home/graph/tptp/Systems/SNARK---20120808r022/Source/snark-system.lisp in SBCL 1.0.12 on n023.cluster.edu at 2022-06-11T08:32:37
% 3.08/3.30  
% 3.08/3.31  ; Recognized commutativity assertion (OR (NOT (|cogenlpreds| ?X ?Y)) (|cogenlpreds| ?Y ?X)).
% 3.16/3.32  ; Recognized commutativity assertion (OR (NOT (|cohabitants| ?X ?Y)) (|cohabitants| ?Y ?X)).
% 3.16/3.32  ; Recognized commutativity assertion (OR (NOT (|orthogonalsetsorcollections| ?X ?Y)) (|orthogonalsetsorcollections| ?Y ?X)).
% 3.16/3.32  ; Recognized commutativity assertion (OR (NOT (|coplanarlines| ?X ?Y)) (|coplanarlines| ?Y ?X)).
% 3.16/3.33  ; Recognized commutativity assertion (OR (NOT (|coextensionalsetorcollections| ?X ?Y)) (|coextensionalsetorcollections| ?Y ?X)).
% 3.16/3.33  ; Recognized commutativity assertion (OR (NOT (|spatiallyequidimensional| ?X ?Y)) (|spatiallyequidimensional| ?Y ?X)).
% 3.16/3.34  ; Recognized commutativity assertion (OR (NOT (|siblingdisjointwith| ?X ?Y)) (|siblingdisjointwith| ?Y ?X)).
% 3.16/3.35  ; Recognized commutativity assertion (OR (NOT (|siblingspecifications| ?X ?Y)) (|siblingspecifications| ?Y ?X)).
% 3.16/3.35  ; Recognized commutativity assertion (OR (NOT (|similarto| ?X ?Y)) (|similarto| ?Y ?X)).
% 3.16/3.37  ; Recognized commutativity assertion (OR (NOT (|exactly2| ?X ?Y)) (|exactly2| ?Y ?X)).
% 3.16/3.38  ; Recognized commutativity assertion (OR (NOT (|connectedspaceregions| ?X ?Y)) (|connectedspaceregions| ?Y ?X)).
% 3.23/3.39  ; Recognized commutativity assertion (OR (NOT (|afew| ?X ?Y)) (|afew| ?Y ?X)).
% 3.23/3.40  ; Recognized commutativity assertion (OR (NOT (|overlappingspaceregions| ?X ?Y)) (|overlappingspaceregions| ?Y ?X)).
% 3.23/3.40  ; Recognized commutativity assertion (OR (NOT (|no| ?X ?Y)) (|no| ?Y ?X)).
% 3.23/3.44  ; Recognized commutativity assertion (OR (NOT (|oppositedirection_interval| ?X ?Y)) (|oppositedirection_interval| ?Y ?X)).
% 3.23/3.44  ; Recognized commutativity assertion (OR (NOT (|potentialcompetitorlhms| ?X ?Y)) (|potentialcompetitorlhms| ?Y ?X)).
% 3.23/3.44  ; Recognized commutativity assertion (OR (NOT (|typically| ?X ?Y)) (|typically| ?Y ?X)).
% 3.23/3.45  ; Recognized commutativity assertion (OR (NOT (|disjointwith| ?X ?Y)) (|disjointwith| ?Y ?X)).
% 3.23/3.45  ; Recognized commutativity assertion (OR (NOT (|some| ?X ?Y)) (|some| ?Y ?X)).
% 3.23/3.45  ; Recognized commutativity assertion (OR (NOT (|mtalternatives| ?X ?Y)) (|mtalternatives| ?Y ?X)).
% 3.23/3.45  ; Recognized commutativity assertion (OR (NOT (|sihmsmutuallysupportive_conceptreferredtoindistinctways| ?X ?Y)) (|sihmsmutuallysupportive_conceptreferredtoindistinctways| ?Y ?X)).
% 3.23/3.46  ; Recognized commutativity assertion (OR (NOT (|siblingdisjointexceptions| ?X ?Y)) (|siblingdisjointexceptions| ?Y ?X)).
% 3.23/3.46  ; Recognized commutativity assertion (OR (NOT (|borderson| ?X ?Y)) (|borderson| ?Y ?X)).
% 3.23/3.47  ; Recognized commutativity assertion (OR (NOT (|connectedperpendicularlyto| ?X ?Y)) (|connectedperpendicularlyto| ?Y ?X)).
% 3.32/3.47  ; Recognized commutativity assertion (OR (NOT (|affiliatedwith| ?X ?Y)) (|affiliatedwith| ?Y ?X)).
% 3.32/3.47  ; Recognized commutativity assertion (OR (NOT (|partiallyoverlappingspaceregions| ?X ?Y)) (|partiallyoverlappingspaceregions| ?Y ?X)).
% 3.32/3.47  ; Declaring partiallyoverlappingspaceregions to be commutative.
% 3.32/3.47  ; Declaring connectedperpendicularlyto to be commutative.
% 3.32/3.47  ; Declaring borderson to be commutative.
% 3.32/3.47  ; Declaring siblingdisjointexceptions to be commutative.
% 3.32/3.47  ; Declaring some to be commutative.
% 3.32/3.47  ; Declaring disjointwith to be commutative.
% 3.32/3.47  ; Declaring typically to be commutative.
% 3.32/3.47  ; Declaring oppositedirection_interval to be commutative.
% 3.32/3.47  ; Declaring no to be commutative.
% 3.32/3.47  ; Declaring afew to be commutative.
% 3.32/3.47  ; Declaring exactly2 to be commutative.
% 3.32/3.47  ; Declaring siblingdisjointwith to be commutative.
% 3.32/3.47  ; Declaring coextensionalsetorcollections to be commutative.
% 3.32/3.47  ; Declaring orthogonalsetsorcollections to be commutative.
% 3.32/3.47  ; Declaring cogenlpreds to be commutative.
% 3.32/3.47  ; Declaring cohabitants to be commutative.
% 3.32/3.47  ; Declaring coplanarlines to be commutative.
% 3.32/3.47  ; Declaring spatiallyequidimensional to be commutative.
% 3.32/3.47  ; Declaring siblingspecifications to be commutative.
% 3.32/3.47  ; Declaring similarto to be commutative.
% 3.32/3.47  ; Declaring connectedspaceregions to be commutative.
% 3.32/3.47  ; Declaring overlappingspaceregions to be commutative.
% 3.32/3.47  ; Declaring potentialcompetitorlhms to be commutative.
% 3.32/3.47  ; Declaring mtalternatives to be commutative.
% 3.32/3.47  ; Declaring sihmsmutuallysupportive_conceptreferredtoindistinctways to be commutative.
% 3.37/3.54  WARNING:
% 3.37/3.54     |airporthasiatacode| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |hasmembers| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |topicofindividual| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |isleaderof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |velocityofobject| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |possessiverelation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |hightoveryhighamountof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |incidentininteriorofspaceregion| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectsides| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |geopoliticalsubdivision| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |domainsofspecialization| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |owns| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |cotemporal| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectpaidfor| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |obstacleblocks| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |derivedfrom| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |mainconstituent| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |obscuresfrom| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |relationinstanceexists| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |in_contgeneric| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |employees| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |providerofservice| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |hypothesismtconfidence| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |evaluee_direct| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |worksatfacility| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |widthofobject| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectofinvestigation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |productscreated| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |products| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |hasleaders| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |aestheticqualityofthing| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |personrepresentingagent| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |positionofpersoninorganization| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |conceptuallyrelated| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |intends| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectactedon| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |segmentofchain_individual| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |performsinstancesaspartofjob| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectcontrolled| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |rumorabout| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |siblingswithrespecttotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |chosenitem| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectguarded| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |controls| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |rider| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |focaltermtypeforinducedtemplatetype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |glossforformulatemplate| is a 5-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |institutionalfocus| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |ambassadorfromto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |operatesfacilities| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |cospatial| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectofstatechange| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |boss| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |programstepcompletesformula| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |hasphysicalattractiveness| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |spatiallysubsumes| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |buyer| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |orientation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |objectplaced| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.54  WARNING:
% 3.37/3.54     |precipitate| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |performedby| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |echelonofunit| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |beneficiary_generic| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |sourceofterm| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |instrument_usedasweapon| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |transportees| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |decreasesslot| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |speedofobject_translation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |possesses| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |inactiveingredients| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |damages| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |pathogencausesconditiontype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |resultstandsinrelationfndisjointwith| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |government| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |manufacturerrecommendedprotectiveattirefortype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |interargequalsisa3_4| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |catalyst| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subbeliefsystem| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |by_underspecified| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |physiologicalconditionaffects| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |basinofbodyofwater| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |contractor| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |percentdeathsduetoduring| is a 5-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |containsinformationabout| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |transporterhijacked| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |typecapablefnbehaviorcapable| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |behaviorcapable| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |causalactors| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |byproducts| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |highlyrelevantinevent| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |cationtypeofioniccompoundtype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |preservesrelninarg| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |outputsremaining| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |accountaccessed| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |accountsystemaccessed| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |president| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |pathterminus| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |spheroidinverseflattening| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |spheroidsemimajoraxislength| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |hasdeadline| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |altitudeaboveground| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |paththroughregion| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |mediators| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |sihmpresuppositionsupportforhypothesismt| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |topicof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |hasevaluativequantity| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |executives| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |causes_underspecified| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |conditionaffectsparttype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |jurisdictionregion| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |programused| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |amountofmoneytransferred| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |equivalentquantities| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |renownlevel| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |mainingredientsset| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |activeingredients| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |interargisa2_3| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |inputsdestroyed| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |topossessor| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |frompossessor| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |binaryroletypepredfnitemsstolen| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |itemsstolen| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |kesuggestionpreds_specins| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |armedwithweapon| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |topicofinfotransfer| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |agreeingserviceprovider| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |atomgrouping| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |airspaceofregion| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |namestring| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |sisters| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |learnedcapableof| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |quantityofchange| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |distanceabovesealevel| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |primaryfunction| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |instrumentalrole| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |objectretained| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |suspects| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |actsincapacityasmember| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |basicprice| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |observers| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |producttypestoredatfacility| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |primaryactivitytypeoflocation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |objecttakencareof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |hypothesizes| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |beneficiary| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |malfunctionaffects| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |goals| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |tptp_3_3| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |importfromthroughamountduring| is a 6-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |supportingobject| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |ministeroffnthesetpostalservicetelecommunicationscompany| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |informationstoremappingmt| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |tolocation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |hasalumni| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |bride| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |quantitysubsumes| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |ethnicity| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |objectattacked| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |primaryobjectmoving| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |termcreated| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |fromlocation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |arity| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetarterialroadalternateroutesubcollectionofwithrelationtotypefnroadwaypaththroughregiontunnel| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetcomputercomputermonitor_videokind| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetunderwaterlocationshoal| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetundergroundriver| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetlinearobject_onedimensionallinearobject_infinitelinearobject_semiboundedlinearobject_straight| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |resultstandsinrelationfnarity| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetalternateroutebusinessroutefreeway| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |afew_relationfromtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetabandoned_existentialstatustown| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetrailwayembankmentroadway| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetcyclsentencemillisecondsduration| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subcollectionofandsubsetof| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetspaceregionsetsetoftypefnpartiallytangiblesetoftypefnevent_localized| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |supplyrate| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetcompletelycloudcoveredareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetslope_verylowgradientslope_lowgradient| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |several_genquantrelntotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetindustry_localizedeconomicsector_localized| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |outofofficeduetoevent| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetthreedimensionalthinglinearobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetbusinessroutefreeway| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetfoggyareamistyarealightrainareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetsurfaceregion_infiniteconicalsurface| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfntheseteventtimeinterval| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesethomogeneousextendedspaceregionnullspaceregion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetarterialroadalternateroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetcblactuatorcblactuatorsensorcblsensor| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetfoggyareamistyarealightrainarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |containsinstructionsforactiontype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |percentofattacksagainsttypewithinfotranfertypebyperp| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetparkforestciviladministrativeregion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectiondefinedbyfnsublquotefncyc_subl_hl_support_module_p| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetcoastalregionvillage| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetunderwaterlocationridge_hill| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetcompany_militaryecheloncavalryunit_militaryspecialty| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |occupiedwith| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetmoderatethunderstormarealightrainarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetfoggyareamistyarealightsnowarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |disabilitytoplayrole| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |expectationcapabilities| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetresourcetypecapability| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetcollectorroadbusinessroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |interargequalsisa4_2| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesethospitalbuildingfacilitytypeoforganizationtypefnmedicalschool_generalfacilitytypeoforganizationtypefnpharmacyfacilitytypeoforganizationtypefnmedicalclinic| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionsubsetfnthingthesetofxthereexistsyandisaycollectionwithaneventlikeorderisaxy| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetoilpipelinejunctionofpaths| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetsubatomicparticlegroupfnsubatomicparticle| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |purposeofscripttypeinplan| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |inversebinarypredicatefnsubsetof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetunderwaterlocationsaddle_terrainfeature| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetmoderatethunderstormareafoggyareamistyarealightrainarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |tptptypes_6_803| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |typicallyrelnto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionsubsetfnbuyingthesetofbuythereexistspersonthereexiststripthereexistsforeign_placeandisabuybuyingsubeventstripbuyperformedbybuypersoneventoccursatbuyforeign_placetolocationtripforeign_placenotisapersonresidentfnforeign_place| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |nearestdifferentgenls| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetconstructionartifacthistoricalsite| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |attemptingfnpreventingfncollectionsubsetfnmilitaryattackthesetofobjobjectattackedobjeasttimor| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetunderwaterlocationfurrow_topographical| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetvalleyshoreline| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetpositivenumbernegativenumber| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetabandoned_existentialstatusprison| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |kesuggestionpreds_insins| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionsubsetfnprovidingtechnologicalassistancethesetofobjbeneficiaryobjarmyfniran| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetcommercialaircraftairlinecompanyairport_physical| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |nodescut_subsystem| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetsolidtangiblethingliquidtangiblething| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesettimeintervalqualitativetimeofday| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |femalefn_base_word_denot| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetusunitofmeasure_commoninternationalunitofmeasure_common| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetentertainmentorartsprofessionalformerfnentertainmentorartsprofessional| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |toachieveinevent_sittype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |objectwithamountofmainconstituentfntrinitrotoluenepound_unitofmass1| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetreligiousorganizationsubcollectionofwithrelationtotypefnpersonisasomefnpersontypebyethnicitysubcollectionofwithrelationtotypefnpersonisasomefnpersontypebyreligion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |tournightlodging| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetorganismparttypefnhomosapiensskeletalsystemdeadphysicalremainsfnorganismparttypefnhomosapiensskeletalsystem| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetplatinumcardgoldcard| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |candidateinferencesupportscore| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetunderwaterlocationcollectionunionfnthesetslope_verylowgradientslope_lowgradient| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetgravellysoilregiondesert| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |resourcecapableof| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetbuiltupareahistoricalsite| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |atleastn_genquant| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |fundraiser_organizationalrole| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |criterialforterraintacticalrole_positive| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |several_genquantrelnfromtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetfreewaysubcollectionofwithrelationtotypefnroadwaypaththroughregiontunnel| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetmultisurfacesurface| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetcavehumanlyoccupiedspatialobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetlinearobject_onedimensionallinearobject_finite| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |localconditionondiscoursereferent| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |systemofwriting| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionsubsetfnthingthesetofobjforallchoosingchosenitemchoosingobj| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetruinedartifactgeographicalplace| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetintelligentagentgroupfnintelligentagent| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesettrain_transportationdeviceroadvehicletransportfacilitytransportationpathsystem| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |unabletodefendaftertaskins| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |several_genquantrelnto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetagent_genericcomputeraccount| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |allottedcollection| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetcounty_englandcityincountryfnengland| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectiondifferencefnthingthing| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetscalarintervalvectorinterval| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetexperiencingemotionfnhappinessexperiencingemotionfnsatisfaction| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subcollectionofwithrelationfromfnredbloodcellpossessiverelationunitofcountfnpersonunitofcountfnhomosapiens| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetgroynebreakwater| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetcyclnlpragmaticassertioncyclnlsemanticassertion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetbelizeanpersonunitedstatesperson| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetdomainnameipaddress| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |kegenlsstrongconsiderationpreds| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |specifiedruleexpressesproposition| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetarterialroadalternateroutebusinessroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |uninterestingqueryforrelnwithtypeinarg| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetmoderatewindareamostlycloudcoveredarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subcollectionofwithrelationtofnbankaccountkappaobjtypeprimaryfunctionobjtypeinstrumentalrolekeepingmoneyinanaccount| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |many_genquantrelnto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetofobj_1thereexistsrel_1equalsobj_1holysiteofreligionfnrel_1| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetgoatherdsheepherder| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subcollectionofwithrelationtotypefnresearchobjectofinvestigationcollectionunionfnthesetnuclearweaponchemicalweaponradiologicalexplosiveweaponbiologicalweapon| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetlinearobject_onedimensionallinearobject_infinitelinearobject_unbounded| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |no_genquantrelnto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |classificationsystemof_focally| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |orderingtype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subcollectionofwithrelationtofnoblatespheroidspheroidsemimajoraxislengthmeter6377340189| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetsomethingexistingtube| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetlakepond| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetmissionarychristianperson| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetrainyareafoggyareaheavythunderstormarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |genericallyequivalentquantity| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetdiplomaticmission_thepostdiplomatembassybuilding| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |few_genquantrelntotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetfoggyareamistyarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionsubsetfnambassadorthesetofobjambassadorfromtoobjunitedarabemiratesfrance| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetmalehumanaristocrat| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetactionartifact_genericpropositionalconceptualwork| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |politicalcommissar| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |most_genquantrelntotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetdescendingeventascendingevent| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionsubsetfncarbombingthesetofbomb_2_1eventoccursatbomb_2_1israel| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetsulfuricacidsolutionfnsulfuricacidsulfurtrioxide| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetfoggyareamistyareaheavythunderstormareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |nearestarg4genl| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subcollectionofwithrelationtotypefnresearchobjectofinvestigationsubcollectionofwithrelationtotypefnmanufacturingproductscreatedcollectionunionfnthesetnuclearweaponchemicalweaponradiologicalexplosiveweaponbiologicalweapon| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |isa_featuretype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionintersectionfnthesetsoldierselfemployedworker| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetammoniacollectionsubsetfnsalt_chemicalsubstancethesetofobjcationtypeofioniccompoundtypeobjammoniumion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetlogicalschemasetoftypefnlogicalschema| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |collectionunionfnthesetmultilinesegmentlinesegment| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |subcollectionofwithrelationtofnsurfaceprojectionkappaxypreservesrelninargxy1spatiallyequidimensional| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.55  WARNING:
% 3.37/3.55     |many_genquantrelntotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |numberoftypewithrelationfrom| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |setorcollectionunion2| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |indexforagreement| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |setorcollectionintersection2| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |correspondingdomaininarg| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetrefugeecivilian| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptptypes_6_962| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetinfinitespatialthinglinearobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |determinerstrings| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetjunctionofpathsdrycreekbed| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |relativelyfewcomparedtotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetundergroundsubcollectionofwithrelationfromtypefnbodyofwatersubpathsstream| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnprovidingtechnologicalassistancethesetofobj_3beneficiaryobj_3armyfniran| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetarterialroadbypassroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |queryrolesofactortype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptptypes_9_927| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |typicallyrelnfromtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |desiredvalue| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationfromfnstoragefacilityproducttypestoredatfacilitycollectionunionfnthesetnuclearweaponchemicalweaponradiologicalexplosiveweaponbiologicalweapon| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetentertainmentperformancemovieshowing| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationtrough| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |scenarioelaboratesviaprecondition| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfinitespatialthingcylinder| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetwindyarealightsnowarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |objectwithamountofmainconstituentfnconcretecubicmeter3240000| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |decontextualizedcollection| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtotypefnmedickappaxyactsincapacityasmemberxmedicygovernmentmilitaryorganization| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnpersonthesetofxsuspectsgovernmentfnunitedstatesofamericaisaxdrugtrafficker| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |typesneedtobesimilarinscalar| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtofnbankaccountkappaobjtypeprimaryfunctionobjtypeinstrumentalrolesubcollectionofwithrelationtotypefnkeepingsomethingobjectretainedcurrency| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetcurvedflowterrain| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetoceantrenchcollectionintersectionfnthesetbasin_topographicalunderwaterlocationcollectionintersectionfnthesetunderwaterlocationtrough| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcalendarmillisecondcyclsentence| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetpartiallytangibleproductartifact| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |dodefinefunction| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetblanksurfacepageofpaper_ibo| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetabandoned_existentialstatusvillage| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetpartiallycloudcoveredareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |interarg3resultisa| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |laborforceofindustryoroccupationduring| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |most_genquantrelnfromtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |producttypefacilitates| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationsummit| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetrainyareafoggyareamistyarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |typecapablefnlearnedcapableof| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |owldatatypesemanticcorrelation| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetdressgown| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersection2fnsubcollectionofwithrelationtofnoblatespheroidspheroidinverseflattening2993249646subcollectionofwithrelationtofnoblatespheroidspheroidsemimajoraxislengthmeter6377340189| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |typeshaverelationinsituationtype_existential| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetprovidingfeedbackphysicaldistributionfninformationbearingobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetsocialsecuritynumbersocialinsurancenumber_canadainseenumber_france| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |resultstandsinrelationfnresultisa| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |interargnotisa4_5| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcupdrinkingmug| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetarterialroadtruckroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetlinearobject_onedimensionallinearobject_infinitelinearobject_unboundedlinearobject_straight| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetpipelinepowerline| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetarterialroadtollroad| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |specifiedsubsetof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |filecopycontents| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |quantitativeprobabilityofarbitraryinstancebeinginstance| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetgeographicalpoint_intangiblegeographicalline_intangiblegeographicalplace_3dgeographicalarea_intangible| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetintegermeasurablequantity| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |typicallyrelntotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nodesforconceptfilter| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetdurablegoodserviceeventproduct| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnpersonthesetofpersonambassadorfromtopersonpolandlebanon| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |termrankfocusedwrtset| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetpavedparkinglot| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetsill_terrainfeatureunderwaterlocation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetabandoned_existentialstatusrailroadstation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetsingletoncollectionfnpoundsign_thesymbolsingletoncollectionfnplussign_thesymbolsingletoncollectionfnminussign_thesymbol| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetnonnegativeintegersingletoncollectionfnasterisk_thesymbol| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |numrange_genquant| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |disposedtoplayrole| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwatervalley| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationplateau| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondefinedbyfnsublquotefncyc_subl_asserted_argument_token_p| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetheadscarfturban| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationledge_topographical| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |roleexpectedby| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nearestcommongenls| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesettimeintervalsituation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondifferencefngeographicalregioncollectionunionfnthesetparkforestciviladministrativeregion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nondavidsonianpredfnstealingthelisttopossessorfrompossessorbinaryroletypepredfnitemsstolen| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetintelligenceagentmilitarypersonunitedstatesperson| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetushighwayroute_majorstateroute_primary| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfoggyareamistyareaheavythunderstormarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |packettypefirewalltarget| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetascendingstairsdescendingstairs| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |inducedtypicalobjecttypeofverb| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |num_genquant| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetdayofweektypeannualholidaytypeconventionallyclassifiedtimeintervalseries_covering| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetthreedimensionalcoordinatesystemcartesiancoordinatesystem| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subscribers| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptp_5_24| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetleprosariumvillage| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetinfinitespatialthingsurfaceregion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetdrainageditchirrigationditch| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |relationallall_different| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |instructionstypeformakingtype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetteaplantseedfnteaplant| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |canperformwithlevelofeffectiveness| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |washingsin| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetweaponsystemmilitaryweapon| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtofnpizzamainingredientssetthesethamstufffnfruitfnpineappleplant| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtofnsurfaceprojectionkappaxypreservesrelninargxy1connectedspaceregions| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcblcallsublcblparaphrasecblcallcblparse| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |supplyratethrough| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nondavidsonianpredfnhidinganobjectbymovingitthelistperformedbyobjectactedon| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfncountrythesetofobjthereexistsactionandisaactionmakingavailablefnborder_stripneartheboundaryofanobjectobjectactedonactionnamibiaperformedbyactionobj| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptp_8_74| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptptypes_7_826| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |portionof| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondefinedbyfnsublquotefncyc_subl_kct_metric_tag_p| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tacticalterraintypefrompositionforunittype| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcblthrowcblsensationcblsend| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |smallestsubsystemundertraversal| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |objectwithamountofmainconstituentfnconcretecubicmeter32400000| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetrailwaytrain_transportationdevice| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |intangibleassetof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationgroupfnhill| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetlinearobject_planarlinearobject_onedimensional| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcollectionset_mathematical| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |relativelyfewcomparedto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |cultureprescribes_categorical| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetcollectorroadtollroad| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |onlytypeplaysroleinsituationtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcriminalspy| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationalluvialfan| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetsubcollectionofwithrelationtofnstocktradingmediatorsalternativeinvestmentmarketsubcollectionofwithrelationtofnstocktradingmediatorslondonstockexchange| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetbinarypredicatemodaloperator| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |authenticationdeviceused| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |firstroleineventtype| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetarterialroadalternateroutebypassroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetodortaste| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationgroupfnridge_hill| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |num_genquantrelnfromtype| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfreewaytollroadsubcollectionofwithrelationtotypefnroadwaypaththroughregiontunnel| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |sourcepatternfor_direct| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |summaryforthingqua| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tourtransits| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetgafgatheringstringbasedsearching| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |unchangedwrttype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationcollectionsubsetfnverticalprotrusion_topographicalthesetofknollthereexistsheightandgreaterthanheightmeter500greaterthanmeter1000heightaltitudeabovegroundknollheight| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |most_genquantrelnto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtotypefnmanufacturingproductscreatedcollectionunionfnthesetnuclearweaponchemicalweaponradiologicalexplosiveweaponbiologicalweapon| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetorganismparttypefnhomosapiensskulldeadphysicalremainsfnorganismparttypefnhomosapiensskull| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesettouristgroupfntourist| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetspheroidpatchspheroid| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |recipecopyfor| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtofnsurfaceprojectionkappaxypreservesrelninargxy1partofspaceregion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesethazyareamostlycloudlessarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetreligiousorganizationreligiousbuildingreligiousfigure| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetthreedimensionalcoordinatesystempolarcoordinatesystem| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetdesertcollectionunionfnthesetgravellysoilregionrockysoilregion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetspatialthingvectorinterval| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetmassspatialquantity| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesettruckroutefreeway| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |groupofmiscellaneousitems| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |resultarity| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collrelationunique| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetservicestationparkinggarage| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetundergroundhumanresidence| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetofobjthereexistsrelequalsobjholysiteofreligionfnrel| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetinfinitespatialthingcylinder| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetsimplerepairingmaintenanceevent| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnterroristgroupthesetofgroup_1_1hasbeliefsystemsgroup_1_1shiiteislam| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetmarshswamp| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptp_9_965| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesethazyareapartiallycloudcoveredareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetharbormarina| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nondavidsonianpredfnaccessingacomputeraccountthelistperformedbyaccountaccessedaccountsystemaccessed| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmostlycloudlessareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesethazyareapartiallycloudcoveredarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |microtheoryparametervalueinspecification| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtofnsurfaceprojectionkappaxypreservesrelninargxy1overlappingspaceregions| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetammoniacollectionsubsetfnsalt_chemicalsubstancethesetofobj_3cationtypeofioniccompoundtypeobj_3ammoniumion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetaxisymmetricobjectbilateralobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |elementof| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetbypassroutefreeway| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtotypefneventhighlyrelevantinevent_base_word_denot| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetprolatespheroidoblatespheroid| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetcompletelycloudcoveredareahazyarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesethazyareafoggyareamistyarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetstadiumamphitheater| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnpartiallytangiblethesetofxtypecapablefnbehaviorcapablexphysiologicalprocesscausalactors| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetgeographicalpoint_intangiblegeographicalline_intangiblegeographicalarea_intangible| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmoderatethunderstormareafoggyareamistyareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |potentialdutyofagenttype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetgeographicalregionhistoricalsite| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |no_genquantrelntofromtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |groupfncollectionsubsetfnbasin_topographicalthesetofbasthereexistsbowandisabowbodyofwater_intermittent_dryphasebasinofbodyofwaterbasbow| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnkidnappingsomeonethesetofxandeventoccursatxcolombiarelationinstanceexistsintendedattacktargetsxpublicofficialstartsafterendingofxmonthfnfebruaryyearfn2002startsafterendingofmonthfnmayyearfn2002x| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationgroupfnsummit| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetprojectileslug_bulletbulletassembly| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |allotmentofcollbyagentduring| is a 5-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |increasesslotfor| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |linkgrammarlinkfnsis| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |setorcollectiondifference| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetcollectorroadbypassroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcommutativerelationpartiallycommutativerelation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfinitespatialthingcone| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |limitpriceofstocktypeforagent_sell| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |allstandardgroupings| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondifferencefnpartiallytangibledangerousthing| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondefinedbyfnsublquotefncyc_subl_kct_metric_identifier_p| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetarterialroadbusinessroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |abstractofotherwork| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |probabilityofarbitraryinstancebeinginstance| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetpartiallytangiblenuclearrelatedthing| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetkeldpond| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondifferencefnspatialthingsituation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptptypes_8_397| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetnoseearthroat| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetfluidtangiblethinggroupfninanimateobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetbasin_topographicalflat_topographical| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesethazyareamostlycloudcoveredarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfoggyareamistyareaheavyrainarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetnumericintervalmeasurablequantity| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesettrain_transportationdeviceroadvehicletransportationpathsystem| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetbuildinghistoricalsite| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetbinarypredicatecommonmodaloperator| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetpartiallycloudcoveredareamoderatewindarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetibtcontenttypecwinfostructuredevisedpracticeorwork| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |importanceofthinginset| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetlawyeraccountant| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetclosedsurfaceregionclosedlinearobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetcompany_militaryechelonartilleryunit_militaryspecialty| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfoggyareaheavysnowarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetrim_boundarylinesomethingexisting| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfreewaytollroad| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |hypothesisrelevantscoringsetsorcollections| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetslope_highgradientslope_veryhighgradientslope_verticalslope_extremelysteep| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |afew_relationtotype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |afew_relationto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmoderatethunderstormareafoggyareamistyareaheavyrainarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nearestgenls| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetphysicalseriespath_spatial| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |disjointcollectionsdifferbecause| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmoderatethunderstormareaheavyrainarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetmine_excavationfacilityquarry| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |dislikes_generic| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |wearsclothing| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptp_7_73| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |kecommonquerypredforinstances| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfoggyareamistyareadrizzlingarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetsksisupportedconstantsksisupportedfunction| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetheadofstateheadofgovernment| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |typicallyrelnfrom| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetmigratoryanimalgroupfnmigratoryanimal| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetbiologicalprocesschemicalinteraction| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnmodernmilitaryorganizationthesetofobjandechelonofunitobjbattalion_militaryechelontroopstrengthofunitobjreinforcedstatus| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |receivestreatmenttypefortype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |networkhassecurityenvironment| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetalternateroutebypassroutefreeway| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |rateoffireontarget| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetjournalistinfrastructureoffnmediaorganization| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |istheunique| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetutilitycompanypublicwatersystemsewersystemelectricpowergrid| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |totalroledtypebyaffectedtypeintype| is a 5-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |networkmember| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nephews| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetabandoned_existentialstatusrailroadstop| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetparkhistoricalsite| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcblforeachcblgroup| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |inferenceanswerbindings| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmistyarealightrainareafreezingrainarealightsnowarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |nearestarg3genl| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetbiologicallivingobjectgroupfnbiologicallivingobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetstoneobject_naturalgroupfnstoneobject_natural| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnaspatialinformationstorethesetofobjisaobjsecret| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |num_genquantrelntotype| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |specializedactivityofunittype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationtofnpartiallytangibleobjectfoundinlocation_arg1| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetoffshoreoilplatformoilfield_developed| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfixedstructureprotrusion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetoilrefinerynaturalgasprocessingplant| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetpartiallytangiblelinearobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetcopperbottomside| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetlakecrater| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |num_genquantrelnto| is a 4-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptp_7_726| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |ailmentacquiredby| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmoderatebreezearealightsnowarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |normalworkhours| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmoderatethunderstormareafoggyareamistyarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |errorrate| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tasktypecommensuratewithoptype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |inferencereliesonstringininfostructure| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |linkgrammarlinkfnrw| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnpersonthesetofpersonambassadorfromtopersonindiaromania| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectionofwithrelationfromtypefnwall_verticalproperphysicalpartscollectionunionfnthesetmine_excavationfacilityquarry| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondifferencefnkbcontenttest_fullyspecifiedsksicontenttest| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondifferencefnthingcollectionunionfnthesetoctopusmalehumanfemalehuman| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptp_7_46| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetancientwall_genericbarrier| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetleveeunderwaterlocation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetlinearobject_onedimensionallinearobject_nonplanar| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |criterialforterraintacticalrole_negative| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcivilianprivateproperty| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |userredirectapplicabilityproperty| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesettable_documentpartgraph_documentpartabstractvisualstructure| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesethomosapiensgroupfnhomosapiens| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmound_ngaunderwaterlocation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnterroristattackthesetofeventandisaeventterroristattackeventoccursateventisrael| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetsurfaceregion_finiteconicalsurface_withoutbase| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptptypes_6_403| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |suppliedwithfrom| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |subcollectiondisjointwithfngeographicalregionthesetneighborhoodcity| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesettrough_topographicalunderwaterlocation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetfire_combustionprocessexplosion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfoggyareamistyareamoderatebreezearealightsnowarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetzoominginonsomethingzoomingoutonsomething| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetabandoned_existentialstatusbuildingcluster| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tangiblethreattypeposed| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |cblpostcondition| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetdeformablefluidtangiblething| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptptypes_8_89| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |softwareparametervaluedomaininsoftwareobject| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfntheseticecapsummit| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondifferencefncollectionowlsemanticdatatype| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnpartiallytangiblethesetofgiftorisagifthouseplant_pottedisagiftchocolatecandy| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetofficebuildinggovernmentalbuilding| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmalaysianpersonchineseperson| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetclericnunmonk| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfemalehumanactor| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |exceptionforsemtranstemplate| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcbltaskmethodcblsensationmethodcblmessagemethod| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetsurfaceregion_infiniteconicalsurface_withoutbase| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetchemicallybasicsubstancechlorine| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcollectionpredicate| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetairlinecompanyairport_physical| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |background_rst| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetlightrainareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |potentialdutyofagent| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationgap_topographical| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |correspondencefortargetitem| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesettwodimensionalthingonedimensionalthing| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfngeographicalregionthesetofobjthereexistscountryandisacountrycountrygeographicallysubsumescountryobjintendscountrythereexistsgrowthandisagrowthgrowtheventobjectactedongrowtheconomyfnobj| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |few_genquantrelnto| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptptypes_9_694| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnpersonthesetofpersonthereexistsagencyandisaagencytaxagencypositionofpersoninorganizationpersonagencycommissioner_rank| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetabandoned_existentialstatuspolicestation| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnconsulthesetofobjthereexistsxandisaxembassy_themissionrelationinstanceexistsaffiliatedwithxsaudipersonpossessiverelationxobj| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetonedimensionalthinglinearobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |percentofterritoryis| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |viablebasisforweapontype| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetfoggyareamistyarealightthunderstormarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunderwaterlocationgully| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfncollectionintersection2fnirishpersonsoldierthesetofobjthereexistsxandgenlsxpeacekeepingforcerelationallinstanceaffiliatedwithxunitednationsorganizationrelationinstanceexistswith_underspecifiedagentobjx| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetclearweatherareamoderatebreezearea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetalternateroutefreeway| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunarypredicatecommonmodaloperator| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesettitlehumannamestringhumannamesuffixhumangivennamehumansurname| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetmoderatebreezeareamostlycloudcoveredarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |odorthreshold| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |setbehaviorcapable| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetadultmalehumanmilitarypersonbritishperson| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |mournsover| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesettwodimensionalthinglinearobject| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcetaceanfish| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |protectingfncollectionsubsetfnoffshoreoilplatformthesetofplatformandobjectfoundinlocationplatformpersiangulfownsunitedarabemiratesplatform| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondefinedbyfnsublquotefncyc_subl_query_property_p| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnfueltankthesetoftankandisatankfixedstructurerelationinstanceexistsin_contgenerictankgasolinefuel| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |predexpansionlistfortype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetunarypredicatemodaloperator| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnpartiallytangiblethesetofobj2thereexistsobj1thereexistsagentobscuresfromobj1obj2agent| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetinformationbearingthingagent_generic| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetdiplomaticmission_thepostdiplomatdiplomatembassybuilding| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetgravellysoilregionrockysoilregion| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetmilitaryequipmentgroupfncommunicationdevice| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |linkscut_subsystem| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetpartiallytangiblespatiallycontinuousthing| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetheroicpersonmalehuman| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetclearweatherareamoderatewindarea| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |thicknessofobject| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |relativelyfew| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfntechstockthesetofstockthereexistsinvestingthereexistsdateandtemporallysubsumestimeintervalinclusivefndecadefn199earlypartfnyearfn2000datedateofeventinvestingdateobjectpaidforinvestingstock| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetsurfacelinesegmentpoint| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetalgerianpersonpalestinianperson| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |causingfncollectionunionfnthesetexperiencingemotionfnhappinessexperiencingemotionfnsatisfaction| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetoctopusmalehumanfemalehuman| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetcurrencymobfncurrency| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionsubsetfnsuicideattackthesetofsui_1andeventoccursatsui_1israelstartsafterendingofsui_1yearfn2000| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |tptp_8_43| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetundergroundground| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetworkplacecommercialorganizationbusinessperson| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |stringsused| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |ls_0| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionunionfnthesetbittertastebitterodor| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetruinedartifacttown| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |few_genquantrelnfromtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectiondefinedbyfnsublquotefncyc_subl_tv_p| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetabandoned_existentialstatushumanresidence| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |many_genquantrelnfromtype| is a 3-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.56  WARNING:
% 3.37/3.56     |collectionintersectionfnthesetcollectorroadalternateroute| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |natfunction| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |natargument| is a 3-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |sententialconstituent| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |setorcollectiontype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |fixedarityrelation| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |relation| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |binaryrelation| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |rate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |execution_judicial| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |real0_100| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |lexicaldatamicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |creatingnewconceptincyc| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |role| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |physiologicalconditiontype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |actorslot| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |listtypebymembertype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |chemicalsubstancetype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |killingthrougheventtype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |movementevent| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |planspecificationmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |attackonobject| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |moleculetypebychemicalcompoundtype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |hotelbuilding| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |traveltour| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |number_general| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |singlefixeddimensionmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |senseextensiondatamicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |dirtiness| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |discoursereferentpeg| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |writingsystem| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |militaryaction| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |tangiblestuffstatetype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |allotment_collective| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |datamicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |unitofcount| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |governmentpositionslot| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |strictlyfunctionalpredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |cyclrulespecification| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |formulatemplatetype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |partialordering| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |genericvaluepredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |quantityslot| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |stufftype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |spatialthingtypebyshape| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |economicagreement| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |softwareobject| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |army_branchofservice| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |takingcareofsomething| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |connectedpathsystem| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |scalarquantity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |monetaryvalue| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |persontypebyactivity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |diseasetype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |lifestagetype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |totallyorderedquantitytype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |retaininguserrights| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |levelofchange| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |electricaldevice| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |currentsource| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |programfunction| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |computeruser| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |agentcapacityquantity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |cycldenotationalterm| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |continuoustimeinterval| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |chapter_pitobsolete| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |pageinapublishededition_pit| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |computerfilecopy| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |probabilityquantity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |elementstufftypebynumberofprotons| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |cyctermrankingfocus| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |infectiontypebypathogentype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |conceptualwork| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |agreementforongoingservice| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |parsetreerepresentationmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |munsellredpurplehue| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |binaryroletypepredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |changeinuserrights| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |firewalltypebypackettarget| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |destructionevent| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |individual_ilpmode| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |culturalconvention_specification| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |singledoeraction| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |setoftypefnediblestuff| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |levelofrenown| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |moneytransfer| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |moneytransaction| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |orderofmagnitudeinterval| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |real0_1| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |terraintypebytacticalpotential| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |computerprogram_cw| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |computeractivity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |organismconstituenttype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |phrasestructureconstraint_syntactic| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |inducedformulatemplatetopictype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |humanculture| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |evaluativequantity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |binarysituationpredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |presuppositionhypothesismicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |socialoccurrence| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |authenticationevent| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |tptpquantity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |group| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |positivescalarinterval| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |continuousintervalonnumberline| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |recipecopy| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |pptbydosageformtype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |pptbystrengthtype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |linesegment_empirical| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |assignment_specification| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |imitationofcollection| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |paraphrasedatamicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |accountsystem| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |simpleactionpredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |situationpredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |simplesituationpredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |philosophicaltheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |referenceworkentry| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |path_underspecified| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |capabilitypredicate_typelevel| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |militaryunitspecialtytype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |poisoningtypebyagenttype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |intervalonnumberline| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |organismclassificationtype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |citytypebycountry| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |basin| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |organism_whole| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |physiologicalcondition| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |purposefulphysicalaction| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |persontypebygeopoliticalaffiliation| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |smallgroup| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |textualpcw| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |structurallyspecificwork| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |linkparserlinkage| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |setoftypefnmodaloperator| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |regiontypebyterrain| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |hazardousthingtype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |temperature| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |geopoliticalentity| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |metafunction| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |computercode_binary| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |computerprogram_cwis| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |attacktypebytargettype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |coadescriptionmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |speed| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |intrinsicstatechangeevent| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |somethingtowear| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |texture| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |militaryunittypebystrength| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |militaryunittypebyechelon| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |uniqueanatomicalparttype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |puttingsomethingsomewhere| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |networkorganization| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |cycinferenceanswer| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |monetaryexchangeofuserrights| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |basetype_lewis| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |temporalstagespecification| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |manufacturertypebyfocalproducttype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |softwareobject_individual| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |objecttypebysurfacefeature| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |existencedependentintermittentcollection| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |tangiblestuffcompositiontype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |defaultdisjointediblestufftype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |electronicdevice| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |militarytaskedactiontype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |tptpcol_6_28675| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |linkparserlinkpredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |formulaargposition| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |formulatemplatetopictype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |tptpcol_6_6| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |pharmaceuticaltype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |softwareuserredirectspecification| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |periodicalissue| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |calendarmonth| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |musicalinstrumentplayertypebymusicalinstrument| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |dangeroussituation| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |softwareparameter| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |symmetricscoringstrategy| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |temporallyexistingthing| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |economicsystem| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |linguisticobjecttype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |generalizedquantifier| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |culturalcodeofetiquette| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |persontypebypositioninorg| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |aestheticquality| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |culturalscenariocontext| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |acidtype_lewis| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |creationordestructionevent| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |tptpcol_7_7172| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |nationalculture| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |culturedefiningmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |makingsomething| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |perceptualagent_embodied| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |ediblestufftypebypreparationstyle| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |contentmodelmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |listoftypefnbinarypredicate| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |persontypebymaritalstatus| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |industrytype| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |calendardecade| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |humanfemalegivenname| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |takingoffaclothingitem| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |sksimappingmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |cyclqueryspecification| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |calendaryear| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |editionofcwseries_periodic| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |linearvelocityvector| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |modelmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |persontypebygeographicresidence| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |glassboxallotment| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |computeruserwithusermodel| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |softwareinteractionsessionrecordmicrotheory| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.37/3.57  WARNING:
% 3.37/3.57     |stringoflengthfn3| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 3.78/3.96  WARNING:
% 3.78/3.96     |temperatureofobject| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.78/3.96  WARNING:
% 3.78/3.96     |hasbeliefsystems| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.78/3.96  WARNING:
% 3.78/3.96     |duration| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.78/3.96  WARNING:
% 3.78/3.96     |dirtinessofobject| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.78/3.96  WARNING:
% 3.78/3.96     |collectionunionfnthesetcblcallsublcbltaskmethodcblsensationmethodcblcallcblmessagemethod| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 3.78/3.96  WARNING:
% 3.78/3.96     |exactlylocatedat_surfacegeographical| is a 2-ary relation that occurs only negatively; disabling rows that contain it.
% 3.78/3.96  WARNING:
% 3.78/3.96     |tptp_9_210| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 11.13/11.32  ; Declaring affiliatedwith to be commutative.
% 11.13/11.32  
% 11.13/11.32  #||
% 11.13/11.32  % SZS status Theorem for /export/starexec/sandbox/benchmark/theBenchmark.p
% 11.13/11.32  % SZS output start Refutation
% See solution above
% 11.13/11.32  ||#
% 11.13/11.32  
% 11.13/11.32  ; Summary of computation:
% 11.13/11.32  ;    163125 formulas have been input or derived (from 39297 formulas).
% 11.13/11.32  ;     67025 (41%) were retained.  Of these,
% 11.13/11.32  ;          973 ( 1%) were simplified or subsumed later,
% 11.13/11.32  ;        66052 (99%) are still being kept.
% 11.13/11.32  ; 
% 11.13/11.32  ; Run time in seconds excluding printing time:
% 11.13/11.32  ;     2.457  23%   Read assertion file          (1 call)
% 11.13/11.32  ;     0.389   4%   Assert                       (44,217 calls)
% 11.13/11.32  ;     2.824  26%   Process new row              (121,214 calls)
% 11.13/11.32  ;     1.952  18%   Resolution                   (78,592 calls)
% 11.13/11.32  ;     0.173   2%   Paramodulation               (39,296 calls)
% 11.13/11.32  ;     0.072   1%   Condensing                   (18,789 calls)
% 11.13/11.32  ;     0.301   3%   Forward subsumption          (18,789 calls)
% 11.13/11.32  ;     0.592   5%   Backward subsumption         (18,348 calls)
% 11.13/11.32  ;     0.001   0%   Clause clause subsumption    (933 calls)
% 11.13/11.32  ;     0.599   6%   Forward simplification       (118,724 calls)
% 11.13/11.32  ;     0.247   2%   Backward simplification      (67,025 calls)
% 11.13/11.32  ;     0.000   0%   Ordering                     (1 call)
% 11.13/11.32  ;     0.000   0%   Sortal reasoning             (32 calls)
% 11.13/11.32  ;     0.494   5%   Purity testing               (1 call)
% 11.13/11.32  ;     0.749   7%   Other
% 11.13/11.32  ;    10.850        Total
% 11.13/11.32  ;    10.853        Real time
% 11.13/11.32  ; 
% 11.13/11.32  ; Term-hash-array has 72,629 terms in all.
% 11.13/11.32  ; Feature-vector-row-index has 17,802 entries (18,188 at peak, 18,348 added, 546 deleted).
% 11.13/11.32  ; Feature-vector-row-index has 12,230 nodes (12,494 at peak, 12,658 added, 428 deleted).
% 11.13/11.32  ;  Retrieved 1,074,685 possibly forward subsuming rows in 18,789 calls.
% 11.13/11.32  ;  Retrieved 1,078,371 possibly backward subsumed rows in 18,348 calls.
% 11.13/11.32  ; Path-index has 86,278 entries (86,278 at peak, 87,164 added, 886 deleted).
% 11.13/11.32  ; Path-index has 89,413 nodes (89,413 at peak, 90,418 added, 1,005 deleted).
% 11.13/11.32  ; Trie-index has 86,278 entries (86,278 at peak, 87,164 added, 886 deleted).
% 11.13/11.32  ; Trie-index has 134,040 nodes (134,040 at peak, 135,159 added, 1,119 deleted).
% 11.13/11.32  ; Retrieved 54,948 generalization terms in 115,530 calls.
% 11.13/11.32  ; Retrieved 49,409 instance terms in 48,676 calls.
% 11.13/11.32  ; Retrieved 1,415,503 unifiable terms in 449,286 calls.
% 11.13/11.32  ; 
% 11.13/11.32  ; The agenda of rows to process has 22 entries:
% 11.13/11.32  ;    22 with value 5
% 11.13/11.32  ; The agenda of input rows to give has 850 entries:
% 11.13/11.32  ;     2 with value 12             21 with value 16               7 with value 21
% 11.13/11.32  ;   554 with value 13             22 with value 17               1 with value 23
% 11.13/11.32  ;    53 with value 14              6 with value 18              47 with value 24
% 11.13/11.32  ;   125 with value 15             12 with value 20
% 11.13/11.32  ; The agenda of rows to give has 26204 entries:
% 11.13/11.32  ;  9235 with value (4 4)        1781 with value (4 9)          125 with value (4 13)
% 11.13/11.32  ; 10361 with value (4 5)         493 with value (4 10)          13 with value (4 14)
% 11.13/11.32  ;   634 with value (4 6)         777 with value (4 11)           4 with value (4 15)
% 11.13/11.32  ;  2032 with value (4 7)         124 with value (4 12)           8 with value (4 16)
% 11.13/11.32  ;   617 with value (4 8)
% 11.13/11.32  Evaluation took:
% 11.13/11.32    10.856 seconds of real time
% 11.13/11.32    9.84518 seconds of user run time
% 11.13/11.32    1.008735 seconds of system run time
% 11.13/11.32    [Run times include 2.198 seconds GC run time.]
% 11.13/11.32    0 calls to %EVAL
% 11.13/11.32    0 page faults and
% 11.13/11.32    818,376,024 bytes consed.
% 11.13/11.32  :PROOF-FOUND
% 11.13/11.32  ; End refute-file /export/starexec/sandbox/benchmark/theBenchmark.p 2022-06-11T08:32:48
% 11.13/11.32  :PROOF-FOUND
% 11.13/11.32  * 
%------------------------------------------------------------------------------