LEO-II---2.3.1.THM-CRf.s

%------------------------------------------------------------------------------
% File     : LEO-II---2.3.1
% Problem  : CSR151^3 : TPTP v9.3.1. Released v5.3.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : leo --cores 7 --timeout 300 --proofoutput 1 --foatp e --atp e=/export/starexec/sandbox2/solver/bin/eprover /export/starexec/sandbox2/benchmark/theBenchmark.p

% Computer : n017.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8046.5625MB
% OS       : Linux 6.8.0-71-generic
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Wed Oct  7 10:16:18 AM UTC 2026

% Result   : Theorem 7.28s 1.46s
% Output   : CNFRefutation 7.28s
% Verified : 
% SZS Type : Refutation
%            Derivation depth      :    9
%            Number of leaves      :    2
% Syntax   : Number of formulae    :   14 (  12 unt;   0 typ;   0 def)
%            Number of atoms       :   64 (  12 equ;   0 cnn)
%            Maximal formula atoms :    3 (   4 avg)
%            Number of connectives :  122 (  18   ~;   5   |;   8   &;  91   @)
%                                         (   0 <=>;   0  =>;   0  <=;   0 <~>)
%            Maximal formula depth :    5 (   2 avg)
%            Number of types       :    3 (   1 usr)
%            Number of type conns  :    0 (   0   >;   0   *;   0   +;   0  <<)
%            Number of symbols     : 1437 (1434 usr; 992 con; 0-7 aty)
%            Number of variables   :    0 (   0   ^;   0   !;   0   ?;   0   :)

% Comments : 
%------------------------------------------------------------------------------
thf(tp_num,type,
    num: $tType ).

thf(tp_abstractCounterpart_THFTYPE_IiioI,type,
    abstractCounterpart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_acquaintance_THFTYPE_i,type,
    acquaintance_THFTYPE_i: $i ).

thf(tp_age_THFTYPE_IiioI,type,
    age_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_agent_THFTYPE_IiioI,type,
    agent_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_altitude_THFTYPE_IiiioI,type,
    altitude_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_ancestor_THFTYPE_IiioI,type,
    ancestor_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_angleOfFigure_THFTYPE_i,type,
    angleOfFigure_THFTYPE_i: $i ).

thf(tp_angularMeasure_THFTYPE_i,type,
    angularMeasure_THFTYPE_i: $i ).

thf(tp_arcWeight_THFTYPE_IiioI,type,
    arcWeight_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_atomicNumber_THFTYPE_IiioI,type,
    atomicNumber_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_attends_THFTYPE_IiioI,type,
    attends_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_attribute_THFTYPE_IiioI,type,
    attribute_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_authors_THFTYPE_IiioI,type,
    authors_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_average_THFTYPE_IiioI,type,
    average_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_barometricPressure_THFTYPE_IiioI,type,
    barometricPressure_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_beforeOrEqual_THFTYPE_IiioI,type,
    beforeOrEqual_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_before_THFTYPE_IiioI,type,
    before_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_believes_THFTYPE_IiooI,type,
    believes_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_between_THFTYPE_IiiioI,type,
    between_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_boilingPoint_THFTYPE_IiioI,type,
    boilingPoint_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_bottom_THFTYPE_IiioI,type,
    bottom_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_brother_THFTYPE_i,type,
    brother_THFTYPE_i: $i ).

thf(tp_capability_THFTYPE_IIioIIiioIioI,type,
    capability_THFTYPE_IIioIIiioIioI: ( $i > $o ) > ( $i > $i > $o ) > $i > $o ).

thf(tp_capability_THFTYPE_IiIiioIioI,type,
    capability_THFTYPE_IiIiioIioI: $i > ( $i > $i > $o ) > $i > $o ).

thf(tp_causesProposition_THFTYPE_IoooI,type,
    causesProposition_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_causesSubclass_THFTYPE_IiioI,type,
    causesSubclass_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_causes_THFTYPE_IiioI,type,
    causes_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_citizen_THFTYPE_i,type,
    citizen_THFTYPE_i: $i ).

thf(tp_closedOn_THFTYPE_IiioI,type,
    closedOn_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_color_THFTYPE_IiioI,type,
    color_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_completelyFills_THFTYPE_IiioI,type,
    completelyFills_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_component_THFTYPE_IiioI,type,
    component_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_conclusion_THFTYPE_IoooI,type,
    conclusion_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_conditionalProbability_THFTYPE_IooioI,type,
    conditionalProbability_THFTYPE_IooioI: $o > $o > $i > $o ).

thf(tp_confersNorm_THFTYPE_IioioI,type,
    confersNorm_THFTYPE_IioioI: $i > $o > $i > $o ).

thf(tp_confersObligation_THFTYPE_IoiioI,type,
    confersObligation_THFTYPE_IoiioI: $o > $i > $i > $o ).

thf(tp_confersRight_THFTYPE_IoiioI,type,
    confersRight_THFTYPE_IoiioI: $o > $i > $i > $o ).

thf(tp_connectedEngineeringComponents_THFTYPE_IiioI,type,
    connectedEngineeringComponents_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_connected_THFTYPE_IiioI,type,
    connected_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_connectsEngineeringComponents_THFTYPE_IiiioI,type,
    connectsEngineeringComponents_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_connects_THFTYPE_IiiioI,type,
    connects_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_considers_THFTYPE_IiooI,type,
    considers_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_consistent_THFTYPE_IoooI,type,
    consistent_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_containsInformation_THFTYPE_IiooI,type,
    containsInformation_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_contains_THFTYPE_IiioI,type,
    contains_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_contraryAttribute_THFTYPE_IiiiioI,type,
    contraryAttribute_THFTYPE_IiiiioI: $i > $i > $i > $i > $o ).

thf(tp_contraryAttribute_THFTYPE_IiioI,type,
    contraryAttribute_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_contraryAttribute_THFTYPE_IioI,type,
    contraryAttribute_THFTYPE_IioI: $i > $o ).

thf(tp_contraryAttribute_THFTYPE_IoooI,type,
    contraryAttribute_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_cooccur_THFTYPE_IiioI,type,
    cooccur_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_copy_THFTYPE_IiioI,type,
    copy_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_crosses_THFTYPE_IiioI,type,
    crosses_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_date_THFTYPE_IiioI,type,
    date_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_daughter_THFTYPE_IiioI,type,
    daughter_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_decreasesLikelihood_THFTYPE_IoooI,type,
    decreasesLikelihood_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_deprivesNorm_THFTYPE_IioioI,type,
    deprivesNorm_THFTYPE_IioioI: $i > $o > $i > $o ).

thf(tp_depth_THFTYPE_IiiioI,type,
    depth_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_desires_THFTYPE_IiooI,type,
    desires_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_destination_THFTYPE_IiioI,type,
    destination_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_developmentalForm_THFTYPE_IiioI,type,
    developmentalForm_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_diameter_THFTYPE_IiioI,type,
    diameter_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_direction_THFTYPE_IiioI,type,
    direction_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_disjointDecomposition_THFTYPE_IiiiiiioI,type,
    disjointDecomposition_THFTYPE_IiiiiiioI: $i > $i > $i > $i > $i > $i > $o ).

thf(tp_disjointDecomposition_THFTYPE_IiiiiioI,type,
    disjointDecomposition_THFTYPE_IiiiiioI: $i > $i > $i > $i > $i > $o ).

thf(tp_disjointDecomposition_THFTYPE_IiiiioI,type,
    disjointDecomposition_THFTYPE_IiiiioI: $i > $i > $i > $i > $o ).

thf(tp_disjointDecomposition_THFTYPE_IiiioI,type,
    disjointDecomposition_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_disjointDecomposition_THFTYPE_IiioI,type,
    disjointDecomposition_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_disjointDecomposition_THFTYPE_IioI,type,
    disjointDecomposition_THFTYPE_IioI: $i > $o ).

thf(tp_disjointRelation_THFTYPE_IIiioIIiioIoI,type,
    disjointRelation_THFTYPE_IIiioIIiioIoI: ( $i > $i > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_disjointRelation_THFTYPE_IIioIIioIoI,type,
    disjointRelation_THFTYPE_IIioIIioIoI: ( $i > $o ) > ( $i > $o ) > $o ).

thf(tp_disjointRelation_THFTYPE_IIioioIIioioIoI,type,
    disjointRelation_THFTYPE_IIioioIIioioIoI: ( $i > $o > $i > $o ) > ( $i > $o > $i > $o ) > $o ).

thf(tp_disjointRelation_THFTYPE_IIoooIIoooIoI,type,
    disjointRelation_THFTYPE_IIoooIIoooIoI: ( $o > $o > $o ) > ( $o > $o > $o ) > $o ).

thf(tp_disjointRelation_THFTYPE_IiIiioIoI,type,
    disjointRelation_THFTYPE_IiIiioIoI: $i > ( $i > $i > $o ) > $o ).

thf(tp_disjointRelation_THFTYPE_IiioI,type,
    disjointRelation_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_disjoint_THFTYPE_IiioI,type,
    disjoint_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_distance_THFTYPE_IiiioI,type,
    distance_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_distributes_THFTYPE_IiioI,type,
    distributes_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_div_THFTYPE_IiiiI,type,
    div_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_documentation_THFTYPE_i,type,
    documentation_THFTYPE_i: $i ).

thf(tp_domainSubclass_THFTYPE_IIIioIIiioIioIiioI,type,
    domainSubclass_THFTYPE_IIIioIIiioIioIiioI: ( ( $i > $o ) > ( $i > $i > $o ) > $i > $o ) > $i > $i > $o ).

thf(tp_domainSubclass_THFTYPE_IIiiiIiioI,type,
    domainSubclass_THFTYPE_IIiiiIiioI: ( $i > $i > $i ) > $i > $i > $o ).

thf(tp_domainSubclass_THFTYPE_IIiiiiiioIiioI,type,
    domainSubclass_THFTYPE_IIiiiiiioIiioI: ( $i > $i > $i > $i > $i > $i > $o ) > $i > $i > $o ).

thf(tp_domainSubclass_THFTYPE_IIiioIiioI,type,
    domainSubclass_THFTYPE_IIiioIiioI: ( $i > $i > $o ) > $i > $i > $o ).

thf(tp_domainSubclass_THFTYPE_IIioIiioI,type,
    domainSubclass_THFTYPE_IIioIiioI: ( $i > $o ) > $i > $i > $o ).

thf(tp_domainSubclass_THFTYPE_IiiioI,type,
    domainSubclass_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIIioIIiioIioIiioIiioI,type,
    domain_THFTYPE_IIIIioIIiioIioIiioIiioI: ( ( ( $i > $o ) > ( $i > $i > $o ) > $i > $o ) > $i > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIiiIioIiioI,type,
    domain_THFTYPE_IIIiiIioIiioI: ( ( $i > $i ) > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIiioIIiioIoIiioI,type,
    domain_THFTYPE_IIIiioIIiioIoIiioI: ( ( $i > $i > $o ) > ( $i > $i > $o ) > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIiioIioIiioI,type,
    domain_THFTYPE_IIIiioIioIiioI: ( ( $i > $i > $o ) > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIioIIiioIioIiioI,type,
    domain_THFTYPE_IIIioIIiioIioIiioI: ( ( $i > $o ) > ( $i > $i > $o ) > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIioIiIiioI,type,
    domain_THFTYPE_IIIioIiIiioI: ( ( $i > $o ) > $i ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIioIioIiioI,type,
    domain_THFTYPE_IIIioIioIiioI: ( ( $i > $o ) > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIoiIioIiioI,type,
    domain_THFTYPE_IIIoiIioIiioI: ( ( $o > $i ) > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIIoioIIiioIoIiioI,type,
    domain_THFTYPE_IIIoioIIiioIoIiioI: ( ( $o > $i > $o ) > ( $i > $i > $o ) > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIiiIiioI,type,
    domain_THFTYPE_IIiiIiioI: ( $i > $i ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIiiiIiioI,type,
    domain_THFTYPE_IIiiiIiioI: ( $i > $i > $i ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIiiiiiioIiioI,type,
    domain_THFTYPE_IIiiiiiioIiioI: ( $i > $i > $i > $i > $i > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIiiiioIiioI,type,
    domain_THFTYPE_IIiiiioIiioI: ( $i > $i > $i > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIiiioIiioI,type,
    domain_THFTYPE_IIiiioIiioI: ( $i > $i > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIiioIiioI,type,
    domain_THFTYPE_IIiioIiioI: ( $i > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIioIiioI,type,
    domain_THFTYPE_IIioIiioI: ( $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIioioIiioI,type,
    domain_THFTYPE_IIioioIiioI: ( $i > $o > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIiooIiioI,type,
    domain_THFTYPE_IIiooIiioI: ( $i > $o > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIioooIiioI,type,
    domain_THFTYPE_IIioooIiioI: ( $i > $o > $o > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIoiIiioI,type,
    domain_THFTYPE_IIoiIiioI: ( $o > $i ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIoiioIiioI,type,
    domain_THFTYPE_IIoiioIiioI: ( $o > $i > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIoioIiioI,type,
    domain_THFTYPE_IIoioIiioI: ( $o > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIooIiioI,type,
    domain_THFTYPE_IIooIiioI: ( $o > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIooioIiioI,type,
    domain_THFTYPE_IIooioIiioI: ( $o > $o > $i > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IIoooIiioI,type,
    domain_THFTYPE_IIoooIiioI: ( $o > $o > $o ) > $i > $i > $o ).

thf(tp_domain_THFTYPE_IiiioI,type,
    domain_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_duration_THFTYPE_IiioI,type,
    duration_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_during_THFTYPE_IiioI,type,
    during_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_earlier_THFTYPE_IiioI,type,
    earlier_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_editor_THFTYPE_i,type,
    editor_THFTYPE_i: $i ).

thf(tp_element_THFTYPE_IiioI,type,
    element_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_employs_THFTYPE_IiioI,type,
    employs_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_engineeringSubcomponent_THFTYPE_IiioI,type,
    engineeringSubcomponent_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_entails_THFTYPE_IoooI,type,
    entails_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_equal_THFTYPE_i,type,
    equal_THFTYPE_i: $i ).

thf(tp_equivalenceRelationOn_THFTYPE_IIiioIioI,type,
    equivalenceRelationOn_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_equivalentContentClass_THFTYPE_IiioI,type,
    equivalentContentClass_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_equivalentContentInstance_THFTYPE_IiioI,type,
    equivalentContentInstance_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_exactlyLocated_THFTYPE_IiioI,type,
    exactlyLocated_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_exhaustiveAttribute_THFTYPE_IiiiiiioI,type,
    exhaustiveAttribute_THFTYPE_IiiiiiioI: $i > $i > $i > $i > $i > $i > $o ).

thf(tp_exhaustiveAttribute_THFTYPE_IiiioI,type,
    exhaustiveAttribute_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_exhaustiveAttribute_THFTYPE_IiioI,type,
    exhaustiveAttribute_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_exhaustiveDecomposition_THFTYPE_IiioI,type,
    exhaustiveDecomposition_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_exhaustiveDecomposition_THFTYPE_IioI,type,
    exhaustiveDecomposition_THFTYPE_IioI: $i > $o ).

thf(tp_experiencer_THFTYPE_IiioI,type,
    experiencer_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_exploits_THFTYPE_IiioI,type,
    exploits_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_expressedInLanguage_THFTYPE_IiioI,type,
    expressedInLanguage_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_externalImage_THFTYPE_i,type,
    externalImage_THFTYPE_i: $i ).

thf(tp_faces_THFTYPE_IiioI,type,
    faces_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_familyRelation_THFTYPE_IiioI,type,
    familyRelation_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_father_THFTYPE_IiioI,type,
    father_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_fills_THFTYPE_IiioI,type,
    fills_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_finishes_THFTYPE_IiioI,type,
    finishes_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_frequency_THFTYPE_IiioI,type,
    frequency_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_geographicSubregion_THFTYPE_i,type,
    geographicSubregion_THFTYPE_i: $i ).

thf(tp_geometricDistance_THFTYPE_IiiioI,type,
    geometricDistance_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_geometricPart_THFTYPE_i,type,
    geometricPart_THFTYPE_i: $i ).

thf(tp_geopoliticalSubdivision_THFTYPE_IiioI,type,
    geopoliticalSubdivision_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_graphMeasure_THFTYPE_IiioI,type,
    graphMeasure_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_graphPart_THFTYPE_IiioI,type,
    graphPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_grasps_THFTYPE_IiioI,type,
    grasps_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_greaterThanByQuality_THFTYPE_IiiioI,type,
    greaterThanByQuality_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_greaterThanOrEqualTo_THFTYPE_IiioI,type,
    greaterThanOrEqualTo_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_greaterThan_THFTYPE_IiioI,type,
    greaterThan_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_gt_THFTYPE_IiioI,type,
    gt_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_gtet_THFTYPE_IiioI,type,
    gtet_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_hasPurposeForAgent_THFTYPE_IioioI,type,
    hasPurposeForAgent_THFTYPE_IioioI: $i > $o > $i > $o ).

thf(tp_hasPurpose_THFTYPE_IiooI,type,
    hasPurpose_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_hasPurpose_THFTYPE_IooI,type,
    hasPurpose_THFTYPE_IooI: $o > $o ).

thf(tp_hasSkill_THFTYPE_IiioI,type,
    hasSkill_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_height_THFTYPE_IiioI,type,
    height_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_holdsDuring_THFTYPE_IiooI,type,
    holdsDuring_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_holdsObligation_THFTYPE_IoioI,type,
    holdsObligation_THFTYPE_IoioI: $o > $i > $o ).

thf(tp_holdsRight_THFTYPE_IoioI,type,
    holdsRight_THFTYPE_IoioI: $o > $i > $o ).

thf(tp_hole_THFTYPE_IiioI,type,
    hole_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_home_THFTYPE_IiioI,type,
    home_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_husband_THFTYPE_IiioI,type,
    husband_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_identicalListItems_THFTYPE_IiioI,type,
    identicalListItems_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_identityElement_THFTYPE_IIiiiIioI,type,
    identityElement_THFTYPE_IIiiiIioI: ( $i > $i > $i ) > $i > $o ).

thf(tp_identityElement_THFTYPE_IiioI,type,
    identityElement_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_immediateInstance_THFTYPE_IiioI,type,
    immediateInstance_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_immediateSubclass_THFTYPE_IiioI,type,
    immediateSubclass_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_inList_THFTYPE_IiioI,type,
    inList_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_inScopeOfInterest_THFTYPE_IiioI,type,
    inScopeOfInterest_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_increasesLikelihood_THFTYPE_IoooI,type,
    increasesLikelihood_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_independentProbability_THFTYPE_IoooI,type,
    independentProbability_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_inhabits_THFTYPE_IiioI,type,
    inhabits_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_inhibits_THFTYPE_IiioI,type,
    inhibits_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_initialList_THFTYPE_IiioI,type,
    initialList_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_initialPart_THFTYPE_IiioI,type,
    initialPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_instance_THFTYPE_IIIIioIIiioIioIiioIioI,type,
    instance_THFTYPE_IIIIioIIiioIioIiioIioI: ( ( ( $i > $o ) > ( $i > $i > $o ) > $i > $o ) > $i > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIiiIioIioI,type,
    instance_THFTYPE_IIIiiIioIioI: ( ( $i > $i ) > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIiioIIiioIoIioI,type,
    instance_THFTYPE_IIIiioIIiioIoIioI: ( ( $i > $i > $o ) > ( $i > $i > $o ) > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIiioIioIioI,type,
    instance_THFTYPE_IIIiioIioIioI: ( ( $i > $i > $o ) > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIioIIiioIioIioI,type,
    instance_THFTYPE_IIIioIIiioIioIioI: ( ( $i > $o ) > ( $i > $i > $o ) > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIioIiIioI,type,
    instance_THFTYPE_IIIioIiIioI: ( ( $i > $o ) > $i ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIioIioIioI,type,
    instance_THFTYPE_IIIioIioIioI: ( ( $i > $o ) > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIioioIiioIioI,type,
    instance_THFTYPE_IIIioioIiioIioI: ( ( $i > $o > $i > $o ) > $i > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIIoioIIiioIoIioI,type,
    instance_THFTYPE_IIIoioIIiioIoIioI: ( ( $o > $i > $o ) > ( $i > $i > $o ) > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIiiIioI,type,
    instance_THFTYPE_IIiiIioI: ( $i > $i ) > $i > $o ).

thf(tp_instance_THFTYPE_IIiiiIioI,type,
    instance_THFTYPE_IIiiiIioI: ( $i > $i > $i ) > $i > $o ).

thf(tp_instance_THFTYPE_IIiiiiiioIioI,type,
    instance_THFTYPE_IIiiiiiioIioI: ( $i > $i > $i > $i > $i > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIiiiioIioI,type,
    instance_THFTYPE_IIiiiioIioI: ( $i > $i > $i > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIiiioIioI,type,
    instance_THFTYPE_IIiiioIioI: ( $i > $i > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIiioIioI,type,
    instance_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIioIioI,type,
    instance_THFTYPE_IIioIioI: ( $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIioioIioI,type,
    instance_THFTYPE_IIioioIioI: ( $i > $o > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIiooIioI,type,
    instance_THFTYPE_IIiooIioI: ( $i > $o > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIioooIioI,type,
    instance_THFTYPE_IIioooIioI: ( $i > $o > $o > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIoiIioI,type,
    instance_THFTYPE_IIoiIioI: ( $o > $i ) > $i > $o ).

thf(tp_instance_THFTYPE_IIoiioIioI,type,
    instance_THFTYPE_IIoiioIioI: ( $o > $i > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIoioIioI,type,
    instance_THFTYPE_IIoioIioI: ( $o > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIooIioI,type,
    instance_THFTYPE_IIooIioI: ( $o > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIooioIioI,type,
    instance_THFTYPE_IIooioIioI: ( $o > $o > $i > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IIoooIioI,type,
    instance_THFTYPE_IIoooIioI: ( $o > $o > $o ) > $i > $o ).

thf(tp_instance_THFTYPE_IiioI,type,
    instance_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_instance_THFTYPE_IoioI,type,
    instance_THFTYPE_IoioI: $o > $i > $o ).

thf(tp_instrument_THFTYPE_IiioI,type,
    instrument_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_interiorPart_THFTYPE_IiioI,type,
    interiorPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_inverse_THFTYPE_IIiioIIiioIoI,type,
    inverse_THFTYPE_IIiioIIiioIoI: ( $i > $i > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_involvedInEvent_THFTYPE_IiioI,type,
    involvedInEvent_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_irreflexiveOn_THFTYPE_IIiioIioI,type,
    irreflexiveOn_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_knows_THFTYPE_IiooI,type,
    knows_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_lAbnormalAnatomicalStructure_THFTYPE_i,type,
    lAbnormalAnatomicalStructure_THFTYPE_i: $i ).

thf(tp_lAbove_THFTYPE_i,type,
    lAbove_THFTYPE_i: $i ).

thf(tp_lAbsoluteValueFn_THFTYPE_IiiI,type,
    lAbsoluteValueFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lAbsoluteValueFn_THFTYPE_i,type,
    lAbsoluteValueFn_THFTYPE_i: $i ).

thf(tp_lAbstract_THFTYPE_i,type,
    lAbstract_THFTYPE_i: $i ).

thf(tp_lAbstractionFn_THFTYPE_IiiI,type,
    lAbstractionFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lAbstractionFn_THFTYPE_i,type,
    lAbstractionFn_THFTYPE_i: $i ).

thf(tp_lAdditionFn_THFTYPE_IiiiI,type,
    lAdditionFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lAdditionFn_THFTYPE_i,type,
    lAdditionFn_THFTYPE_i: $i ).

thf(tp_lAdjacent_THFTYPE_i,type,
    lAdjacent_THFTYPE_i: $i ).

thf(tp_lAdjective_THFTYPE_i,type,
    lAdjective_THFTYPE_i: $i ).

thf(tp_lAdverb_THFTYPE_i,type,
    lAdverb_THFTYPE_i: $i ).

thf(tp_lAdvertising_THFTYPE_i,type,
    lAdvertising_THFTYPE_i: $i ).

thf(tp_lAgeGroup_THFTYPE_i,type,
    lAgeGroup_THFTYPE_i: $i ).

thf(tp_lAgent_THFTYPE_i,type,
    lAgent_THFTYPE_i: $i ).

thf(tp_lAir_THFTYPE_i,type,
    lAir_THFTYPE_i: $i ).

thf(tp_lAlethicAttribute_THFTYPE_i,type,
    lAlethicAttribute_THFTYPE_i: $i ).

thf(tp_lAlga_THFTYPE_i,type,
    lAlga_THFTYPE_i: $i ).

thf(tp_lAmbulating_THFTYPE_i,type,
    lAmbulating_THFTYPE_i: $i ).

thf(tp_lAmpere_THFTYPE_i,type,
    lAmpere_THFTYPE_i: $i ).

thf(tp_lAmphibian_THFTYPE_i,type,
    lAmphibian_THFTYPE_i: $i ).

thf(tp_lAmu_THFTYPE_i,type,
    lAmu_THFTYPE_i: $i ).

thf(tp_lAnatomicalStructure_THFTYPE_i,type,
    lAnatomicalStructure_THFTYPE_i: $i ).

thf(tp_lAngleMeasure_THFTYPE_i,type,
    lAngleMeasure_THFTYPE_i: $i ).

thf(tp_lAngstrom_THFTYPE_i,type,
    lAngstrom_THFTYPE_i: $i ).

thf(tp_lAngularDegree_THFTYPE_i,type,
    lAngularDegree_THFTYPE_i: $i ).

thf(tp_lAnimacyAttribute_THFTYPE_i,type,
    lAnimacyAttribute_THFTYPE_i: $i ).

thf(tp_lAnimalAnatomicalStructure_THFTYPE_i,type,
    lAnimalAnatomicalStructure_THFTYPE_i: $i ).

thf(tp_lAnimalLanguage_THFTYPE_i,type,
    lAnimalLanguage_THFTYPE_i: $i ).

thf(tp_lAnimalSubstance_THFTYPE_i,type,
    lAnimalSubstance_THFTYPE_i: $i ).

thf(tp_lAnimal_THFTYPE_i,type,
    lAnimal_THFTYPE_i: $i ).

thf(tp_lAntiSymmetricPositionalAttribute_THFTYPE_i,type,
    lAntiSymmetricPositionalAttribute_THFTYPE_i: $i ).

thf(tp_lAntisymmetricRelation_THFTYPE_i,type,
    lAntisymmetricRelation_THFTYPE_i: $i ).

thf(tp_lApe_THFTYPE_i,type,
    lApe_THFTYPE_i: $i ).

thf(tp_lApril_THFTYPE_i,type,
    lApril_THFTYPE_i: $i ).

thf(tp_lAquaticMammal_THFTYPE_i,type,
    lAquaticMammal_THFTYPE_i: $i ).

thf(tp_lArachnid_THFTYPE_i,type,
    lArachnid_THFTYPE_i: $i ).

thf(tp_lAreaMeasure_THFTYPE_i,type,
    lAreaMeasure_THFTYPE_i: $i ).

thf(tp_lArgument_THFTYPE_i,type,
    lArgument_THFTYPE_i: $i ).

thf(tp_lArtWork_THFTYPE_i,type,
    lArtWork_THFTYPE_i: $i ).

thf(tp_lArthropod_THFTYPE_i,type,
    lArthropod_THFTYPE_i: $i ).

thf(tp_lArticle_THFTYPE_i,type,
    lArticle_THFTYPE_i: $i ).

thf(tp_lArtifact_THFTYPE_i,type,
    lArtifact_THFTYPE_i: $i ).

thf(tp_lArtificialLanguage_THFTYPE_i,type,
    lArtificialLanguage_THFTYPE_i: $i ).

thf(tp_lAsexualReproduction_THFTYPE_i,type,
    lAsexualReproduction_THFTYPE_i: $i ).

thf(tp_lAsleep_THFTYPE_i,type,
    lAsleep_THFTYPE_i: $i ).

thf(tp_lAssignmentFn_THFTYPE_IiiiI,type,
    lAssignmentFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lAssignmentFn_THFTYPE_IiiiiI,type,
    lAssignmentFn_THFTYPE_IiiiiI: $i > $i > $i > $i ).

thf(tp_lAssignmentFn_THFTYPE_i,type,
    lAssignmentFn_THFTYPE_i: $i ).

thf(tp_lAssociativeFunction_THFTYPE_i,type,
    lAssociativeFunction_THFTYPE_i: $i ).

thf(tp_lAstronomicalBody_THFTYPE_i,type,
    lAstronomicalBody_THFTYPE_i: $i ).

thf(tp_lAsymmetricRelation_THFTYPE_i,type,
    lAsymmetricRelation_THFTYPE_i: $i ).

thf(tp_lAtomGram_THFTYPE_i,type,
    lAtomGram_THFTYPE_i: $i ).

thf(tp_lAtom_THFTYPE_i,type,
    lAtom_THFTYPE_i: $i ).

thf(tp_lAtomicNucleus_THFTYPE_i,type,
    lAtomicNucleus_THFTYPE_i: $i ).

thf(tp_lAttachingDevice_THFTYPE_i,type,
    lAttachingDevice_THFTYPE_i: $i ).

thf(tp_lAttaching_THFTYPE_i,type,
    lAttaching_THFTYPE_i: $i ).

thf(tp_lAttack_THFTYPE_i,type,
    lAttack_THFTYPE_i: $i ).

thf(tp_lAttribute_THFTYPE_i,type,
    lAttribute_THFTYPE_i: $i ).

thf(tp_lAudible_THFTYPE_i,type,
    lAudible_THFTYPE_i: $i ).

thf(tp_lAugust_THFTYPE_i,type,
    lAugust_THFTYPE_i: $i ).

thf(tp_lAutonomicProcess_THFTYPE_i,type,
    lAutonomicProcess_THFTYPE_i: $i ).

thf(tp_lAwake_THFTYPE_i,type,
    lAwake_THFTYPE_i: $i ).

thf(tp_lBackFn_THFTYPE_IiiI,type,
    lBackFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lBackFn_THFTYPE_i,type,
    lBackFn_THFTYPE_i: $i ).

thf(tp_lBacterium_THFTYPE_i,type,
    lBacterium_THFTYPE_i: $i ).

thf(tp_lBattle_THFTYPE_i,type,
    lBattle_THFTYPE_i: $i ).

thf(tp_lBecquerel_THFTYPE_i,type,
    lBecquerel_THFTYPE_i: $i ).

thf(tp_lBeginFn_THFTYPE_IiiI,type,
    lBeginFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lBeginFn_THFTYPE_i,type,
    lBeginFn_THFTYPE_i: $i ).

thf(tp_lBeginNodeFn_THFTYPE_IiiI,type,
    lBeginNodeFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lBeginNodeFn_THFTYPE_i,type,
    lBeginNodeFn_THFTYPE_i: $i ).

thf(tp_lBeliefGroup_THFTYPE_i,type,
    lBeliefGroup_THFTYPE_i: $i ).

thf(tp_lBelow_THFTYPE_i,type,
    lBelow_THFTYPE_i: $i ).

thf(tp_lBetting_THFTYPE_i,type,
    lBetting_THFTYPE_i: $i ).

thf(tp_lBeverage_THFTYPE_i,type,
    lBeverage_THFTYPE_i: $i ).

thf(tp_lBill_THFTYPE_i,type,
    lBill_THFTYPE_i: $i ).

thf(tp_lBinaryFunction_THFTYPE_i,type,
    lBinaryFunction_THFTYPE_i: $i ).

thf(tp_lBinaryNumber_THFTYPE_i,type,
    lBinaryNumber_THFTYPE_i: $i ).

thf(tp_lBinaryPredicate_THFTYPE_i,type,
    lBinaryPredicate_THFTYPE_i: $i ).

thf(tp_lBinaryRelation_THFTYPE_i,type,
    lBinaryRelation_THFTYPE_i: $i ).

thf(tp_lBiologicalAttribute_THFTYPE_i,type,
    lBiologicalAttribute_THFTYPE_i: $i ).

thf(tp_lBiologicalProcess_THFTYPE_i,type,
    lBiologicalProcess_THFTYPE_i: $i ).

thf(tp_lBiologicallyActiveSubstance_THFTYPE_i,type,
    lBiologicallyActiveSubstance_THFTYPE_i: $i ).

thf(tp_lBird_THFTYPE_i,type,
    lBird_THFTYPE_i: $i ).

thf(tp_lBirth_THFTYPE_i,type,
    lBirth_THFTYPE_i: $i ).

thf(tp_lBit_THFTYPE_i,type,
    lBit_THFTYPE_i: $i ).

thf(tp_lBlack_THFTYPE_i,type,
    lBlack_THFTYPE_i: $i ).

thf(tp_lBlood_THFTYPE_i,type,
    lBlood_THFTYPE_i: $i ).

thf(tp_lBlue_THFTYPE_i,type,
    lBlue_THFTYPE_i: $i ).

thf(tp_lBodyCavity_THFTYPE_i,type,
    lBodyCavity_THFTYPE_i: $i ).

thf(tp_lBodyCovering_THFTYPE_i,type,
    lBodyCovering_THFTYPE_i: $i ).

thf(tp_lBodyJunction_THFTYPE_i,type,
    lBodyJunction_THFTYPE_i: $i ).

thf(tp_lBodyMotion_THFTYPE_i,type,
    lBodyMotion_THFTYPE_i: $i ).

thf(tp_lBodyPart_THFTYPE_i,type,
    lBodyPart_THFTYPE_i: $i ).

thf(tp_lBodyPosition_THFTYPE_i,type,
    lBodyPosition_THFTYPE_i: $i ).

thf(tp_lBodySubstance_THFTYPE_i,type,
    lBodySubstance_THFTYPE_i: $i ).

thf(tp_lBodyVessel_THFTYPE_i,type,
    lBodyVessel_THFTYPE_i: $i ).

thf(tp_lBoiling_THFTYPE_i,type,
    lBoiling_THFTYPE_i: $i ).

thf(tp_lBone_THFTYPE_i,type,
    lBone_THFTYPE_i: $i ).

thf(tp_lBook_THFTYPE_i,type,
    lBook_THFTYPE_i: $i ).

thf(tp_lBorrowing_THFTYPE_i,type,
    lBorrowing_THFTYPE_i: $i ).

thf(tp_lBreathing_THFTYPE_i,type,
    lBreathing_THFTYPE_i: $i ).

thf(tp_lBritishThermalUnit_THFTYPE_i,type,
    lBritishThermalUnit_THFTYPE_i: $i ).

thf(tp_lBuilding_THFTYPE_i,type,
    lBuilding_THFTYPE_i: $i ).

thf(tp_lBuying_THFTYPE_i,type,
    lBuying_THFTYPE_i: $i ).

thf(tp_lByte_THFTYPE_i,type,
    lByte_THFTYPE_i: $i ).

thf(tp_lCalculating_THFTYPE_i,type,
    lCalculating_THFTYPE_i: $i ).

thf(tp_lCalorie_THFTYPE_i,type,
    lCalorie_THFTYPE_i: $i ).

thf(tp_lCandela_THFTYPE_i,type,
    lCandela_THFTYPE_i: $i ).

thf(tp_lCanine_THFTYPE_i,type,
    lCanine_THFTYPE_i: $i ).

thf(tp_lCarbohydrate_THFTYPE_i,type,
    lCarbohydrate_THFTYPE_i: $i ).

thf(tp_lCardinalityFn_THFTYPE_IIioIiI,type,
    lCardinalityFn_THFTYPE_IIioIiI: ( $i > $o ) > $i ).

thf(tp_lCardinalityFn_THFTYPE_IiiI,type,
    lCardinalityFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lCardinalityFn_THFTYPE_i,type,
    lCardinalityFn_THFTYPE_i: $i ).

thf(tp_lCarnivore_THFTYPE_i,type,
    lCarnivore_THFTYPE_i: $i ).

thf(tp_lCarrying_THFTYPE_i,type,
    lCarrying_THFTYPE_i: $i ).

thf(tp_lCaseRole_THFTYPE_i,type,
    lCaseRole_THFTYPE_i: $i ).

thf(tp_lCeilingFn_THFTYPE_IiiI,type,
    lCeilingFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lCeilingFn_THFTYPE_i,type,
    lCeilingFn_THFTYPE_i: $i ).

thf(tp_lCell_THFTYPE_i,type,
    lCell_THFTYPE_i: $i ).

thf(tp_lCelsiusDegree_THFTYPE_i,type,
    lCelsiusDegree_THFTYPE_i: $i ).

thf(tp_lCenterOfCircleFn_THFTYPE_IiiI,type,
    lCenterOfCircleFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lCenterOfCircleFn_THFTYPE_i,type,
    lCenterOfCircleFn_THFTYPE_i: $i ).

thf(tp_lCentimeter_THFTYPE_i,type,
    lCentimeter_THFTYPE_i: $i ).

thf(tp_lCentralTimeZone_THFTYPE_i,type,
    lCentralTimeZone_THFTYPE_i: $i ).

thf(tp_lCertificate_THFTYPE_i,type,
    lCertificate_THFTYPE_i: $i ).

thf(tp_lChangeOfPossession_THFTYPE_i,type,
    lChangeOfPossession_THFTYPE_i: $i ).

thf(tp_lCharacter_THFTYPE_i,type,
    lCharacter_THFTYPE_i: $i ).

thf(tp_lChemicalDecomposition_THFTYPE_i,type,
    lChemicalDecomposition_THFTYPE_i: $i ).

thf(tp_lChemicalProcess_THFTYPE_i,type,
    lChemicalProcess_THFTYPE_i: $i ).

thf(tp_lChemicalSynthesis_THFTYPE_i,type,
    lChemicalSynthesis_THFTYPE_i: $i ).

thf(tp_lCircle_THFTYPE_i,type,
    lCircle_THFTYPE_i: $i ).

thf(tp_lCity_THFTYPE_i,type,
    lCity_THFTYPE_i: $i ).

thf(tp_lClass_THFTYPE_i,type,
    lClass_THFTYPE_i: $i ).

thf(tp_lClassifying_THFTYPE_i,type,
    lClassifying_THFTYPE_i: $i ).

thf(tp_lClosedTwoDimensionalFigure_THFTYPE_i,type,
    lClosedTwoDimensionalFigure_THFTYPE_i: $i ).

thf(tp_lClothing_THFTYPE_i,type,
    lClothing_THFTYPE_i: $i ).

thf(tp_lCloud_THFTYPE_i,type,
    lCloud_THFTYPE_i: $i ).

thf(tp_lCognitiveAgent_THFTYPE_i,type,
    lCognitiveAgent_THFTYPE_i: $i ).

thf(tp_lColdBloodedVertebrate_THFTYPE_i,type,
    lColdBloodedVertebrate_THFTYPE_i: $i ).

thf(tp_lCollection_THFTYPE_i,type,
    lCollection_THFTYPE_i: $i ).

thf(tp_lColorAttribute_THFTYPE_i,type,
    lColorAttribute_THFTYPE_i: $i ).

thf(tp_lColoring_THFTYPE_i,type,
    lColoring_THFTYPE_i: $i ).

thf(tp_lCombining_THFTYPE_i,type,
    lCombining_THFTYPE_i: $i ).

thf(tp_lCombustion_THFTYPE_i,type,
    lCombustion_THFTYPE_i: $i ).

thf(tp_lCommercialAgent_THFTYPE_i,type,
    lCommercialAgent_THFTYPE_i: $i ).

thf(tp_lCommercialService_THFTYPE_i,type,
    lCommercialService_THFTYPE_i: $i ).

thf(tp_lCommitting_THFTYPE_i,type,
    lCommitting_THFTYPE_i: $i ).

thf(tp_lCommunication_THFTYPE_i,type,
    lCommunication_THFTYPE_i: $i ).

thf(tp_lCommutativeFunction_THFTYPE_i,type,
    lCommutativeFunction_THFTYPE_i: $i ).

thf(tp_lComparing_THFTYPE_i,type,
    lComparing_THFTYPE_i: $i ).

thf(tp_lComplementFn_THFTYPE_i,type,
    lComplementFn_THFTYPE_i: $i ).

thf(tp_lComplexNumber_THFTYPE_i,type,
    lComplexNumber_THFTYPE_i: $i ).

thf(tp_lCompositeUnitOfMeasure_THFTYPE_i,type,
    lCompositeUnitOfMeasure_THFTYPE_i: $i ).

thf(tp_lCompoundSubstance_THFTYPE_i,type,
    lCompoundSubstance_THFTYPE_i: $i ).

thf(tp_lComputerLanguage_THFTYPE_i,type,
    lComputerLanguage_THFTYPE_i: $i ).

thf(tp_lComputerProgram_THFTYPE_i,type,
    lComputerProgram_THFTYPE_i: $i ).

thf(tp_lComputerProgramming_THFTYPE_i,type,
    lComputerProgramming_THFTYPE_i: $i ).

thf(tp_lCondensing_THFTYPE_i,type,
    lCondensing_THFTYPE_i: $i ).

thf(tp_lConfining_THFTYPE_i,type,
    lConfining_THFTYPE_i: $i ).

thf(tp_lConsciousnessAttribute_THFTYPE_i,type,
    lConsciousnessAttribute_THFTYPE_i: $i ).

thf(tp_lConstantQuantity_THFTYPE_i,type,
    lConstantQuantity_THFTYPE_i: $i ).

thf(tp_lConstructedLanguage_THFTYPE_i,type,
    lConstructedLanguage_THFTYPE_i: $i ).

thf(tp_lConstructing_THFTYPE_i,type,
    lConstructing_THFTYPE_i: $i ).

thf(tp_lContentBearingObject_THFTYPE_i,type,
    lContentBearingObject_THFTYPE_i: $i ).

thf(tp_lContentBearingPhysical_THFTYPE_i,type,
    lContentBearingPhysical_THFTYPE_i: $i ).

thf(tp_lContentBearingProcess_THFTYPE_i,type,
    lContentBearingProcess_THFTYPE_i: $i ).

thf(tp_lContentDevelopment_THFTYPE_i,type,
    lContentDevelopment_THFTYPE_i: $i ).

thf(tp_lContestAttribute_THFTYPE_i,type,
    lContestAttribute_THFTYPE_i: $i ).

thf(tp_lContest_THFTYPE_i,type,
    lContest_THFTYPE_i: $i ).

thf(tp_lContinent_THFTYPE_i,type,
    lContinent_THFTYPE_i: $i ).

thf(tp_lContinuousFunction_THFTYPE_i,type,
    lContinuousFunction_THFTYPE_i: $i ).

thf(tp_lContract_THFTYPE_i,type,
    lContract_THFTYPE_i: $i ).

thf(tp_lCooking_THFTYPE_i,type,
    lCooking_THFTYPE_i: $i ).

thf(tp_lCooling_THFTYPE_i,type,
    lCooling_THFTYPE_i: $i ).

thf(tp_lCooperation_THFTYPE_i,type,
    lCooperation_THFTYPE_i: $i ).

thf(tp_lCoordinatedUniversalTimeZone_THFTYPE_i,type,
    lCoordinatedUniversalTimeZone_THFTYPE_i: $i ).

thf(tp_lCorporation_THFTYPE_i,type,
    lCorporation_THFTYPE_i: $i ).

thf(tp_lCorpuscularObject_THFTYPE_i,type,
    lCorpuscularObject_THFTYPE_i: $i ).

thf(tp_lCosineFn_THFTYPE_IiiI,type,
    lCosineFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lCosineFn_THFTYPE_i,type,
    lCosineFn_THFTYPE_i: $i ).

thf(tp_lCoulomb_THFTYPE_i,type,
    lCoulomb_THFTYPE_i: $i ).

thf(tp_lCounting_THFTYPE_i,type,
    lCounting_THFTYPE_i: $i ).

thf(tp_lCounty_THFTYPE_i,type,
    lCounty_THFTYPE_i: $i ).

thf(tp_lCovering_THFTYPE_i,type,
    lCovering_THFTYPE_i: $i ).

thf(tp_lCreation_THFTYPE_i,type,
    lCreation_THFTYPE_i: $i ).

thf(tp_lCrustacean_THFTYPE_i,type,
    lCrustacean_THFTYPE_i: $i ).

thf(tp_lCup_THFTYPE_i,type,
    lCup_THFTYPE_i: $i ).

thf(tp_lCurrencyMeasure_THFTYPE_i,type,
    lCurrencyMeasure_THFTYPE_i: $i ).

thf(tp_lCurrency_THFTYPE_i,type,
    lCurrency_THFTYPE_i: $i ).

thf(tp_lCutSetFn_THFTYPE_IiiI,type,
    lCutSetFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lCutSetFn_THFTYPE_i,type,
    lCutSetFn_THFTYPE_i: $i ).

thf(tp_lCutting_THFTYPE_i,type,
    lCutting_THFTYPE_i: $i ).

thf(tp_lDamaging_THFTYPE_i,type,
    lDamaging_THFTYPE_i: $i ).

thf(tp_lDamp_THFTYPE_i,type,
    lDamp_THFTYPE_i: $i ).

thf(tp_lDancing_THFTYPE_i,type,
    lDancing_THFTYPE_i: $i ).

thf(tp_lDayDuration_THFTYPE_i,type,
    lDayDuration_THFTYPE_i: $i ).

thf(tp_lDayFn_THFTYPE_IiiiI,type,
    lDayFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lDayFn_THFTYPE_i,type,
    lDayFn_THFTYPE_i: $i ).

thf(tp_lDay_THFTYPE_i,type,
    lDay_THFTYPE_i: $i ).

thf(tp_lDead_THFTYPE_i,type,
    lDead_THFTYPE_i: $i ).

thf(tp_lDeath_THFTYPE_i,type,
    lDeath_THFTYPE_i: $i ).

thf(tp_lDecember_THFTYPE_i,type,
    lDecember_THFTYPE_i: $i ).

thf(tp_lDeciding_THFTYPE_i,type,
    lDeciding_THFTYPE_i: $i ).

thf(tp_lDeclaring_THFTYPE_i,type,
    lDeclaring_THFTYPE_i: $i ).

thf(tp_lDecoding_THFTYPE_i,type,
    lDecoding_THFTYPE_i: $i ).

thf(tp_lDecreasing_THFTYPE_i,type,
    lDecreasing_THFTYPE_i: $i ).

thf(tp_lDeductiveArgument_THFTYPE_i,type,
    lDeductiveArgument_THFTYPE_i: $i ).

thf(tp_lDefensiveManeuver_THFTYPE_i,type,
    lDefensiveManeuver_THFTYPE_i: $i ).

thf(tp_lDemonstrating_THFTYPE_i,type,
    lDemonstrating_THFTYPE_i: $i ).

thf(tp_lDenominatorFn_THFTYPE_i,type,
    lDenominatorFn_THFTYPE_i: $i ).

thf(tp_lDensityFn_THFTYPE_i,type,
    lDensityFn_THFTYPE_i: $i ).

thf(tp_lDeonticAttribute_THFTYPE_i,type,
    lDeonticAttribute_THFTYPE_i: $i ).

thf(tp_lDesigning_THFTYPE_i,type,
    lDesigning_THFTYPE_i: $i ).

thf(tp_lDestruction_THFTYPE_i,type,
    lDestruction_THFTYPE_i: $i ).

thf(tp_lDetaching_THFTYPE_i,type,
    lDetaching_THFTYPE_i: $i ).

thf(tp_lDevelopmentalAttribute_THFTYPE_i,type,
    lDevelopmentalAttribute_THFTYPE_i: $i ).

thf(tp_lDevice_THFTYPE_i,type,
    lDevice_THFTYPE_i: $i ).

thf(tp_lDiagnosticProcess_THFTYPE_i,type,
    lDiagnosticProcess_THFTYPE_i: $i ).

thf(tp_lDigesting_THFTYPE_i,type,
    lDigesting_THFTYPE_i: $i ).

thf(tp_lDirectedGraph_THFTYPE_i,type,
    lDirectedGraph_THFTYPE_i: $i ).

thf(tp_lDirecting_THFTYPE_i,type,
    lDirecting_THFTYPE_i: $i ).

thf(tp_lDirectionChange_THFTYPE_i,type,
    lDirectionChange_THFTYPE_i: $i ).

thf(tp_lDirectionalAttribute_THFTYPE_i,type,
    lDirectionalAttribute_THFTYPE_i: $i ).

thf(tp_lDisagreeing_THFTYPE_i,type,
    lDisagreeing_THFTYPE_i: $i ).

thf(tp_lDiscovering_THFTYPE_i,type,
    lDiscovering_THFTYPE_i: $i ).

thf(tp_lDiseaseOrSyndrome_THFTYPE_i,type,
    lDiseaseOrSyndrome_THFTYPE_i: $i ).

thf(tp_lDisseminating_THFTYPE_i,type,
    lDisseminating_THFTYPE_i: $i ).

thf(tp_lDivisionFn_THFTYPE_IiiiI,type,
    lDivisionFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lDivisionFn_THFTYPE_i,type,
    lDivisionFn_THFTYPE_i: $i ).

thf(tp_lDrinking_THFTYPE_i,type,
    lDrinking_THFTYPE_i: $i ).

thf(tp_lDriving_THFTYPE_i,type,
    lDriving_THFTYPE_i: $i ).

thf(tp_lDry_THFTYPE_i,type,
    lDry_THFTYPE_i: $i ).

thf(tp_lDrying_THFTYPE_i,type,
    lDrying_THFTYPE_i: $i ).

thf(tp_lDualObjectProcess_THFTYPE_i,type,
    lDualObjectProcess_THFTYPE_i: $i ).

thf(tp_lEast_THFTYPE_i,type,
    lEast_THFTYPE_i: $i ).

thf(tp_lEasternTimeZone_THFTYPE_i,type,
    lEasternTimeZone_THFTYPE_i: $i ).

thf(tp_lEating_THFTYPE_i,type,
    lEating_THFTYPE_i: $i ).

thf(tp_lEditionFn_THFTYPE_IiiiI,type,
    lEditionFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lEditionFn_THFTYPE_i,type,
    lEditionFn_THFTYPE_i: $i ).

thf(tp_lEducationalOrganization_THFTYPE_i,type,
    lEducationalOrganization_THFTYPE_i: $i ).

thf(tp_lEducationalProcess_THFTYPE_i,type,
    lEducationalProcess_THFTYPE_i: $i ).

thf(tp_lEgg_THFTYPE_i,type,
    lEgg_THFTYPE_i: $i ).

thf(tp_lElection_THFTYPE_i,type,
    lElection_THFTYPE_i: $i ).

thf(tp_lElectronVolt_THFTYPE_i,type,
    lElectronVolt_THFTYPE_i: $i ).

thf(tp_lElectron_THFTYPE_i,type,
    lElectron_THFTYPE_i: $i ).

thf(tp_lElementalSubstance_THFTYPE_i,type,
    lElementalSubstance_THFTYPE_i: $i ).

thf(tp_lEmbryonic_THFTYPE_i,type,
    lEmbryonic_THFTYPE_i: $i ).

thf(tp_lEmotionalState_THFTYPE_i,type,
    lEmotionalState_THFTYPE_i: $i ).

thf(tp_lEncoding_THFTYPE_i,type,
    lEncoding_THFTYPE_i: $i ).

thf(tp_lEndFn_THFTYPE_IiiI,type,
    lEndFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lEndFn_THFTYPE_i,type,
    lEndFn_THFTYPE_i: $i ).

thf(tp_lEndNodeFn_THFTYPE_IiiI,type,
    lEndNodeFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lEndNodeFn_THFTYPE_i,type,
    lEndNodeFn_THFTYPE_i: $i ).

thf(tp_lEngineeringComponent_THFTYPE_i,type,
    lEngineeringComponent_THFTYPE_i: $i ).

thf(tp_lEngineeringConnection_THFTYPE_i,type,
    lEngineeringConnection_THFTYPE_i: $i ).

thf(tp_lEnglishLanguage_THFTYPE_i,type,
    lEnglishLanguage_THFTYPE_i: $i ).

thf(tp_lEntity_THFTYPE_i,type,
    lEntity_THFTYPE_i: $i ).

thf(tp_lEnzyme_THFTYPE_i,type,
    lEnzyme_THFTYPE_i: $i ).

thf(tp_lEquivalenceRelation_THFTYPE_i,type,
    lEquivalenceRelation_THFTYPE_i: $i ).

thf(tp_lEthnicGroup_THFTYPE_i,type,
    lEthnicGroup_THFTYPE_i: $i ).

thf(tp_lEuroCent_THFTYPE_i,type,
    lEuroCent_THFTYPE_i: $i ).

thf(tp_lEuroDollar_THFTYPE_i,type,
    lEuroDollar_THFTYPE_i: $i ).

thf(tp_lEvaporating_THFTYPE_i,type,
    lEvaporating_THFTYPE_i: $i ).

thf(tp_lEvenInteger_THFTYPE_i,type,
    lEvenInteger_THFTYPE_i: $i ).

thf(tp_lExperimenting_THFTYPE_i,type,
    lExperimenting_THFTYPE_i: $i ).

thf(tp_lExplanation_THFTYPE_i,type,
    lExplanation_THFTYPE_i: $i ).

thf(tp_lExponentiationFn_THFTYPE_IiiiI,type,
    lExponentiationFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lExponentiationFn_THFTYPE_i,type,
    lExponentiationFn_THFTYPE_i: $i ).

thf(tp_lExpressing_THFTYPE_i,type,
    lExpressing_THFTYPE_i: $i ).

thf(tp_lExtensionFn_THFTYPE_IiiI,type,
    lExtensionFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lExtensionFn_THFTYPE_i,type,
    lExtensionFn_THFTYPE_i: $i ).

thf(tp_lFabric_THFTYPE_i,type,
    lFabric_THFTYPE_i: $i ).

thf(tp_lFactualText_THFTYPE_i,type,
    lFactualText_THFTYPE_i: $i ).

thf(tp_lFahrenheitDegree_THFTYPE_i,type,
    lFahrenheitDegree_THFTYPE_i: $i ).

thf(tp_lFalling_THFTYPE_i,type,
    lFalling_THFTYPE_i: $i ).

thf(tp_lFamilyGroup_THFTYPE_i,type,
    lFamilyGroup_THFTYPE_i: $i ).

thf(tp_lFarad_THFTYPE_i,type,
    lFarad_THFTYPE_i: $i ).

thf(tp_lFatTissue_THFTYPE_i,type,
    lFatTissue_THFTYPE_i: $i ).

thf(tp_lFebruary_THFTYPE_i,type,
    lFebruary_THFTYPE_i: $i ).

thf(tp_lFeline_THFTYPE_i,type,
    lFeline_THFTYPE_i: $i ).

thf(tp_lFemale_THFTYPE_i,type,
    lFemale_THFTYPE_i: $i ).

thf(tp_lFern_THFTYPE_i,type,
    lFern_THFTYPE_i: $i ).

thf(tp_lFictionalText_THFTYPE_i,type,
    lFictionalText_THFTYPE_i: $i ).

thf(tp_lFieldOfStudy_THFTYPE_i,type,
    lFieldOfStudy_THFTYPE_i: $i ).

thf(tp_lFillable_THFTYPE_i,type,
    lFillable_THFTYPE_i: $i ).

thf(tp_lFinancialInstrument_THFTYPE_i,type,
    lFinancialInstrument_THFTYPE_i: $i ).

thf(tp_lFinancialTransaction_THFTYPE_i,type,
    lFinancialTransaction_THFTYPE_i: $i ).

thf(tp_lFiniteSet_THFTYPE_i,type,
    lFiniteSet_THFTYPE_i: $i ).

thf(tp_lFish_THFTYPE_i,type,
    lFish_THFTYPE_i: $i ).

thf(tp_lFlammable_THFTYPE_i,type,
    lFlammable_THFTYPE_i: $i ).

thf(tp_lFloorFn_THFTYPE_IiiI,type,
    lFloorFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lFloorFn_THFTYPE_i,type,
    lFloorFn_THFTYPE_i: $i ).

thf(tp_lFlowRegion_THFTYPE_i,type,
    lFlowRegion_THFTYPE_i: $i ).

thf(tp_lFloweringPlant_THFTYPE_i,type,
    lFloweringPlant_THFTYPE_i: $i ).

thf(tp_lFluid_THFTYPE_i,type,
    lFluid_THFTYPE_i: $i ).

thf(tp_lFood_THFTYPE_i,type,
    lFood_THFTYPE_i: $i ).

thf(tp_lFootLength_THFTYPE_i,type,
    lFootLength_THFTYPE_i: $i ).

thf(tp_lFormula_THFTYPE_i,type,
    lFormula_THFTYPE_i: $i ).

thf(tp_lFreezing_THFTYPE_i,type,
    lFreezing_THFTYPE_i: $i ).

thf(tp_lFrequencyMeasure_THFTYPE_i,type,
    lFrequencyMeasure_THFTYPE_i: $i ).

thf(tp_lFreshWaterArea_THFTYPE_i,type,
    lFreshWaterArea_THFTYPE_i: $i ).

thf(tp_lFriday_THFTYPE_i,type,
    lFriday_THFTYPE_i: $i ).

thf(tp_lFrontFn_THFTYPE_IiiI,type,
    lFrontFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lFrontFn_THFTYPE_i,type,
    lFrontFn_THFTYPE_i: $i ).

thf(tp_lFruitOrVegetable_THFTYPE_i,type,
    lFruitOrVegetable_THFTYPE_i: $i ).

thf(tp_lFullyFormed_THFTYPE_i,type,
    lFullyFormed_THFTYPE_i: $i ).

thf(tp_lFunctionQuantity_THFTYPE_i,type,
    lFunctionQuantity_THFTYPE_i: $i ).

thf(tp_lFunction_THFTYPE_i,type,
    lFunction_THFTYPE_i: $i ).

thf(tp_lFunding_THFTYPE_i,type,
    lFunding_THFTYPE_i: $i ).

thf(tp_lFungus_THFTYPE_i,type,
    lFungus_THFTYPE_i: $i ).

thf(tp_lFutureFn_THFTYPE_IiiI,type,
    lFutureFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lFutureFn_THFTYPE_i,type,
    lFutureFn_THFTYPE_i: $i ).

thf(tp_lGame_THFTYPE_i,type,
    lGame_THFTYPE_i: $i ).

thf(tp_lGasMixture_THFTYPE_i,type,
    lGasMixture_THFTYPE_i: $i ).

thf(tp_lGasMotion_THFTYPE_i,type,
    lGasMotion_THFTYPE_i: $i ).

thf(tp_lGas_THFTYPE_i,type,
    lGas_THFTYPE_i: $i ).

thf(tp_lGeneralizedIntersectionFn_THFTYPE_i,type,
    lGeneralizedIntersectionFn_THFTYPE_i: $i ).

thf(tp_lGeneralizedUnionFn_THFTYPE_i,type,
    lGeneralizedUnionFn_THFTYPE_i: $i ).

thf(tp_lGeographicArea_THFTYPE_i,type,
    lGeographicArea_THFTYPE_i: $i ).

thf(tp_lGeologicalProcess_THFTYPE_i,type,
    lGeologicalProcess_THFTYPE_i: $i ).

thf(tp_lGeometricFigure_THFTYPE_i,type,
    lGeometricFigure_THFTYPE_i: $i ).

thf(tp_lGeometricPoint_THFTYPE_i,type,
    lGeometricPoint_THFTYPE_i: $i ).

thf(tp_lGeopoliticalArea_THFTYPE_i,type,
    lGeopoliticalArea_THFTYPE_i: $i ).

thf(tp_lGesture_THFTYPE_i,type,
    lGesture_THFTYPE_i: $i ).

thf(tp_lGetting_THFTYPE_i,type,
    lGetting_THFTYPE_i: $i ).

thf(tp_lGigaFn_THFTYPE_IiiI,type,
    lGigaFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lGigaFn_THFTYPE_i,type,
    lGigaFn_THFTYPE_i: $i ).

thf(tp_lGivingBack_THFTYPE_i,type,
    lGivingBack_THFTYPE_i: $i ).

thf(tp_lGiving_THFTYPE_i,type,
    lGiving_THFTYPE_i: $i ).

thf(tp_lGland_THFTYPE_i,type,
    lGland_THFTYPE_i: $i ).

thf(tp_lGovernmentFn_THFTYPE_IiiI,type,
    lGovernmentFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lGovernmentFn_THFTYPE_i,type,
    lGovernmentFn_THFTYPE_i: $i ).

thf(tp_lGovernmentOrganization_THFTYPE_i,type,
    lGovernmentOrganization_THFTYPE_i: $i ).

thf(tp_lGovernment_THFTYPE_i,type,
    lGovernment_THFTYPE_i: $i ).

thf(tp_lGrabbing_THFTYPE_i,type,
    lGrabbing_THFTYPE_i: $i ).

thf(tp_lGraduation_THFTYPE_i,type,
    lGraduation_THFTYPE_i: $i ).

thf(tp_lGram_THFTYPE_i,type,
    lGram_THFTYPE_i: $i ).

thf(tp_lGraphArc_THFTYPE_i,type,
    lGraphArc_THFTYPE_i: $i ).

thf(tp_lGraphCircuit_THFTYPE_i,type,
    lGraphCircuit_THFTYPE_i: $i ).

thf(tp_lGraphElement_THFTYPE_i,type,
    lGraphElement_THFTYPE_i: $i ).

thf(tp_lGraphLoop_THFTYPE_i,type,
    lGraphLoop_THFTYPE_i: $i ).

thf(tp_lGraphNode_THFTYPE_i,type,
    lGraphNode_THFTYPE_i: $i ).

thf(tp_lGraphPathFn_THFTYPE_IiiiI,type,
    lGraphPathFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lGraphPathFn_THFTYPE_i,type,
    lGraphPathFn_THFTYPE_i: $i ).

thf(tp_lGraphPath_THFTYPE_i,type,
    lGraphPath_THFTYPE_i: $i ).

thf(tp_lGraph_THFTYPE_i,type,
    lGraph_THFTYPE_i: $i ).

thf(tp_lGray_THFTYPE_i,type,
    lGray_THFTYPE_i: $i ).

thf(tp_lGreatestCommonDivisorFn_THFTYPE_IiiI,type,
    lGreatestCommonDivisorFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lGreatestCommonDivisorFn_THFTYPE_i,type,
    lGreatestCommonDivisorFn_THFTYPE_i: $i ).

thf(tp_lGroupOfPeople_THFTYPE_i,type,
    lGroupOfPeople_THFTYPE_i: $i ).

thf(tp_lGroup_THFTYPE_i,type,
    lGroup_THFTYPE_i: $i ).

thf(tp_lGrowth_THFTYPE_i,type,
    lGrowth_THFTYPE_i: $i ).

thf(tp_lGuiding_THFTYPE_i,type,
    lGuiding_THFTYPE_i: $i ).

thf(tp_lHearing_THFTYPE_i,type,
    lHearing_THFTYPE_i: $i ).

thf(tp_lHeating_THFTYPE_i,type,
    lHeating_THFTYPE_i: $i ).

thf(tp_lHenry_THFTYPE_i,type,
    lHenry_THFTYPE_i: $i ).

thf(tp_lHertz_THFTYPE_i,type,
    lHertz_THFTYPE_i: $i ).

thf(tp_lHiring_THFTYPE_i,type,
    lHiring_THFTYPE_i: $i ).

thf(tp_lHoleHostFn_THFTYPE_IiiI,type,
    lHoleHostFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lHoleHostFn_THFTYPE_i,type,
    lHoleHostFn_THFTYPE_i: $i ).

thf(tp_lHoleSkinFn_THFTYPE_IiiI,type,
    lHoleSkinFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lHoleSkinFn_THFTYPE_i,type,
    lHoleSkinFn_THFTYPE_i: $i ).

thf(tp_lHole_THFTYPE_i,type,
    lHole_THFTYPE_i: $i ).

thf(tp_lHominid_THFTYPE_i,type,
    lHominid_THFTYPE_i: $i ).

thf(tp_lHoofedMammal_THFTYPE_i,type,
    lHoofedMammal_THFTYPE_i: $i ).

thf(tp_lHorizontal_THFTYPE_i,type,
    lHorizontal_THFTYPE_i: $i ).

thf(tp_lHormone_THFTYPE_i,type,
    lHormone_THFTYPE_i: $i ).

thf(tp_lHorsepower_THFTYPE_i,type,
    lHorsepower_THFTYPE_i: $i ).

thf(tp_lHourDuration_THFTYPE_i,type,
    lHourDuration_THFTYPE_i: $i ).

thf(tp_lHourFn_THFTYPE_IiiiI,type,
    lHourFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lHourFn_THFTYPE_i,type,
    lHourFn_THFTYPE_i: $i ).

thf(tp_lHour_THFTYPE_i,type,
    lHour_THFTYPE_i: $i ).

thf(tp_lHouse_THFTYPE_i,type,
    lHouse_THFTYPE_i: $i ).

thf(tp_lHumanLanguage_THFTYPE_i,type,
    lHumanLanguage_THFTYPE_i: $i ).

thf(tp_lHuman_THFTYPE_i,type,
    lHuman_THFTYPE_i: $i ).

thf(tp_lHunting_THFTYPE_i,type,
    lHunting_THFTYPE_i: $i ).

thf(tp_lIcon_THFTYPE_i,type,
    lIcon_THFTYPE_i: $i ).

thf(tp_lIlluminated_THFTYPE_i,type,
    lIlluminated_THFTYPE_i: $i ).

thf(tp_lImaginaryNumber_THFTYPE_i,type,
    lImaginaryNumber_THFTYPE_i: $i ).

thf(tp_lImaginaryPartFn_THFTYPE_IiiI,type,
    lImaginaryPartFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lImaginaryPartFn_THFTYPE_i,type,
    lImaginaryPartFn_THFTYPE_i: $i ).

thf(tp_lImmediateFamilyFn_THFTYPE_IiiI,type,
    lImmediateFamilyFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lImmediateFamilyFn_THFTYPE_i,type,
    lImmediateFamilyFn_THFTYPE_i: $i ).

thf(tp_lImmediateFutureFn_THFTYPE_IiiI,type,
    lImmediateFutureFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lImmediateFutureFn_THFTYPE_i,type,
    lImmediateFutureFn_THFTYPE_i: $i ).

thf(tp_lImmediatePastFn_THFTYPE_IiiI,type,
    lImmediatePastFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lImmediatePastFn_THFTYPE_i,type,
    lImmediatePastFn_THFTYPE_i: $i ).

thf(tp_lImpacting_THFTYPE_i,type,
    lImpacting_THFTYPE_i: $i ).

thf(tp_lImpelling_THFTYPE_i,type,
    lImpelling_THFTYPE_i: $i ).

thf(tp_lInchMercury_THFTYPE_i,type,
    lInchMercury_THFTYPE_i: $i ).

thf(tp_lInch_THFTYPE_i,type,
    lInch_THFTYPE_i: $i ).

thf(tp_lIncreasing_THFTYPE_i,type,
    lIncreasing_THFTYPE_i: $i ).

thf(tp_lInductiveArgument_THFTYPE_i,type,
    lInductiveArgument_THFTYPE_i: $i ).

thf(tp_lInformationMeasure_THFTYPE_i,type,
    lInformationMeasure_THFTYPE_i: $i ).

thf(tp_lIngesting_THFTYPE_i,type,
    lIngesting_THFTYPE_i: $i ).

thf(tp_lInheritableRelation_THFTYPE_i,type,
    lInheritableRelation_THFTYPE_i: $i ).

thf(tp_lInitialNodeFn_THFTYPE_IiiI,type,
    lInitialNodeFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lInitialNodeFn_THFTYPE_i,type,
    lInitialNodeFn_THFTYPE_i: $i ).

thf(tp_lInjecting_THFTYPE_i,type,
    lInjecting_THFTYPE_i: $i ).

thf(tp_lInjuring_THFTYPE_i,type,
    lInjuring_THFTYPE_i: $i ).

thf(tp_lInsect_THFTYPE_i,type,
    lInsect_THFTYPE_i: $i ).

thf(tp_lInserting_THFTYPE_i,type,
    lInserting_THFTYPE_i: $i ).

thf(tp_lIntegerSquareRootFn_THFTYPE_i,type,
    lIntegerSquareRootFn_THFTYPE_i: $i ).

thf(tp_lInteger_THFTYPE_i,type,
    lInteger_THFTYPE_i: $i ).

thf(tp_lIntentionalProcess_THFTYPE_i,type,
    lIntentionalProcess_THFTYPE_i: $i ).

thf(tp_lIntentionalPsychologicalProcess_THFTYPE_i,type,
    lIntentionalPsychologicalProcess_THFTYPE_i: $i ).

thf(tp_lIntentionalRelation_THFTYPE_i,type,
    lIntentionalRelation_THFTYPE_i: $i ).

thf(tp_lInternalAttribute_THFTYPE_i,type,
    lInternalAttribute_THFTYPE_i: $i ).

thf(tp_lInternalChange_THFTYPE_i,type,
    lInternalChange_THFTYPE_i: $i ).

thf(tp_lInterpreting_THFTYPE_i,type,
    lInterpreting_THFTYPE_i: $i ).

thf(tp_lIntersectionFn_THFTYPE_i,type,
    lIntersectionFn_THFTYPE_i: $i ).

thf(tp_lIntervalFn_THFTYPE_IiiiI,type,
    lIntervalFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lIntervalFn_THFTYPE_i,type,
    lIntervalFn_THFTYPE_i: $i ).

thf(tp_lIntransitiveRelation_THFTYPE_i,type,
    lIntransitiveRelation_THFTYPE_i: $i ).

thf(tp_lInvalidDeductiveArgument_THFTYPE_i,type,
    lInvalidDeductiveArgument_THFTYPE_i: $i ).

thf(tp_lInvertebrate_THFTYPE_i,type,
    lInvertebrate_THFTYPE_i: $i ).

thf(tp_lInvestigating_THFTYPE_i,type,
    lInvestigating_THFTYPE_i: $i ).

thf(tp_lIrrationalNumber_THFTYPE_i,type,
    lIrrationalNumber_THFTYPE_i: $i ).

thf(tp_lIrreflexiveRelation_THFTYPE_i,type,
    lIrreflexiveRelation_THFTYPE_i: $i ).

thf(tp_lIsland_THFTYPE_i,type,
    lIsland_THFTYPE_i: $i ).

thf(tp_lJanuary_THFTYPE_i,type,
    lJanuary_THFTYPE_i: $i ).

thf(tp_lJoiningAnOrganization_THFTYPE_i,type,
    lJoiningAnOrganization_THFTYPE_i: $i ).

thf(tp_lJoule_THFTYPE_i,type,
    lJoule_THFTYPE_i: $i ).

thf(tp_lJudging_THFTYPE_i,type,
    lJudging_THFTYPE_i: $i ).

thf(tp_lJudicialOrganization_THFTYPE_i,type,
    lJudicialOrganization_THFTYPE_i: $i ).

thf(tp_lJudicialProcess_THFTYPE_i,type,
    lJudicialProcess_THFTYPE_i: $i ).

thf(tp_lJuly_THFTYPE_i,type,
    lJuly_THFTYPE_i: $i ).

thf(tp_lJune_THFTYPE_i,type,
    lJune_THFTYPE_i: $i ).

thf(tp_lKappaFn_THFTYPE_i,type,
    lKappaFn_THFTYPE_i: $i ).

thf(tp_lKeeping_THFTYPE_i,type,
    lKeeping_THFTYPE_i: $i ).

thf(tp_lKelvinDegree_THFTYPE_i,type,
    lKelvinDegree_THFTYPE_i: $i ).

thf(tp_lKilling_THFTYPE_i,type,
    lKilling_THFTYPE_i: $i ).

thf(tp_lKiloByte_THFTYPE_i,type,
    lKiloByte_THFTYPE_i: $i ).

thf(tp_lKiloFn_THFTYPE_IiiI,type,
    lKiloFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lKiloFn_THFTYPE_i,type,
    lKiloFn_THFTYPE_i: $i ).

thf(tp_lKilogram_THFTYPE_i,type,
    lKilogram_THFTYPE_i: $i ).

thf(tp_lKilometer_THFTYPE_i,type,
    lKilometer_THFTYPE_i: $i ).

thf(tp_lLandArea_THFTYPE_i,type,
    lLandArea_THFTYPE_i: $i ).

thf(tp_lLandTransitway_THFTYPE_i,type,
    lLandTransitway_THFTYPE_i: $i ).

thf(tp_lLanguage_THFTYPE_i,type,
    lLanguage_THFTYPE_i: $i ).

thf(tp_lLarval_THFTYPE_i,type,
    lLarval_THFTYPE_i: $i ).

thf(tp_lLaw_THFTYPE_i,type,
    lLaw_THFTYPE_i: $i ).

thf(tp_lLeapYear_THFTYPE_i,type,
    lLeapYear_THFTYPE_i: $i ).

thf(tp_lLearning_THFTYPE_i,type,
    lLearning_THFTYPE_i: $i ).

thf(tp_lLeastCommonMultipleFn_THFTYPE_IiiI,type,
    lLeastCommonMultipleFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lLeastCommonMultipleFn_THFTYPE_i,type,
    lLeastCommonMultipleFn_THFTYPE_i: $i ).

thf(tp_lLeavingAnOrganization_THFTYPE_i,type,
    lLeavingAnOrganization_THFTYPE_i: $i ).

thf(tp_lLeft_THFTYPE_i,type,
    lLeft_THFTYPE_i: $i ).

thf(tp_lLegalAction_THFTYPE_i,type,
    lLegalAction_THFTYPE_i: $i ).

thf(tp_lLegalDecision_THFTYPE_i,type,
    lLegalDecision_THFTYPE_i: $i ).

thf(tp_lLending_THFTYPE_i,type,
    lLending_THFTYPE_i: $i ).

thf(tp_lLengthMeasure_THFTYPE_i,type,
    lLengthMeasure_THFTYPE_i: $i ).

thf(tp_lLikely_THFTYPE_i,type,
    lLikely_THFTYPE_i: $i ).

thf(tp_lLinguisticCommunication_THFTYPE_i,type,
    lLinguisticCommunication_THFTYPE_i: $i ).

thf(tp_lLinguisticExpression_THFTYPE_i,type,
    lLinguisticExpression_THFTYPE_i: $i ).

thf(tp_lLiquidMixture_THFTYPE_i,type,
    lLiquidMixture_THFTYPE_i: $i ).

thf(tp_lLiquidMotion_THFTYPE_i,type,
    lLiquidMotion_THFTYPE_i: $i ).

thf(tp_lLiquid_THFTYPE_i,type,
    lLiquid_THFTYPE_i: $i ).

thf(tp_lListConcatenateFn_THFTYPE_IiiiI,type,
    lListConcatenateFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lListConcatenateFn_THFTYPE_i,type,
    lListConcatenateFn_THFTYPE_i: $i ).

thf(tp_lListFn_THFTYPE_IiiI,type,
    lListFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lListFn_THFTYPE_IiiiI,type,
    lListFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lListFn_THFTYPE_i,type,
    lListFn_THFTYPE_i: $i ).

thf(tp_lListLengthFn_THFTYPE_IiiI,type,
    lListLengthFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lListLengthFn_THFTYPE_i,type,
    lListLengthFn_THFTYPE_i: $i ).

thf(tp_lListOrderFn_THFTYPE_IiiiI,type,
    lListOrderFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lListOrderFn_THFTYPE_i,type,
    lListOrderFn_THFTYPE_i: $i ).

thf(tp_lList_THFTYPE_i,type,
    lList_THFTYPE_i: $i ).

thf(tp_lListening_THFTYPE_i,type,
    lListening_THFTYPE_i: $i ).

thf(tp_lLiter_THFTYPE_i,type,
    lLiter_THFTYPE_i: $i ).

thf(tp_lLiving_THFTYPE_i,type,
    lLiving_THFTYPE_i: $i ).

thf(tp_lLogFn_THFTYPE_i,type,
    lLogFn_THFTYPE_i: $i ).

thf(tp_lLogicalOperator_THFTYPE_i,type,
    lLogicalOperator_THFTYPE_i: $i ).

thf(tp_lLooking_THFTYPE_i,type,
    lLooking_THFTYPE_i: $i ).

thf(tp_lLumen_THFTYPE_i,type,
    lLumen_THFTYPE_i: $i ).

thf(tp_lLux_THFTYPE_i,type,
    lLux_THFTYPE_i: $i ).

thf(tp_lMachine_THFTYPE_i,type,
    lMachine_THFTYPE_i: $i ).

thf(tp_lMagnitudeFn_THFTYPE_IiiI,type,
    lMagnitudeFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lMagnitudeFn_THFTYPE_i,type,
    lMagnitudeFn_THFTYPE_i: $i ).

thf(tp_lMaintaining_THFTYPE_i,type,
    lMaintaining_THFTYPE_i: $i ).

thf(tp_lMaking_THFTYPE_i,type,
    lMaking_THFTYPE_i: $i ).

thf(tp_lMale_THFTYPE_i,type,
    lMale_THFTYPE_i: $i ).

thf(tp_lMammal_THFTYPE_i,type,
    lMammal_THFTYPE_i: $i ).

thf(tp_lMan_THFTYPE_i,type,
    lMan_THFTYPE_i: $i ).

thf(tp_lManaging_THFTYPE_i,type,
    lManaging_THFTYPE_i: $i ).

thf(tp_lManeuver_THFTYPE_i,type,
    lManeuver_THFTYPE_i: $i ).

thf(tp_lManualHumanLanguage_THFTYPE_i,type,
    lManualHumanLanguage_THFTYPE_i: $i ).

thf(tp_lManufacture_THFTYPE_i,type,
    lManufacture_THFTYPE_i: $i ).

thf(tp_lManufacturer_THFTYPE_i,type,
    lManufacturer_THFTYPE_i: $i ).

thf(tp_lMarch_THFTYPE_i,type,
    lMarch_THFTYPE_i: $i ).

thf(tp_lMarsupial_THFTYPE_i,type,
    lMarsupial_THFTYPE_i: $i ).

thf(tp_lMary_THFTYPE_i,type,
    lMary_THFTYPE_i: $i ).

thf(tp_lMassMeasure_THFTYPE_i,type,
    lMassMeasure_THFTYPE_i: $i ).

thf(tp_lMatriculation_THFTYPE_i,type,
    lMatriculation_THFTYPE_i: $i ).

thf(tp_lMaxFn_THFTYPE_IiiiI,type,
    lMaxFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMaxFn_THFTYPE_i,type,
    lMaxFn_THFTYPE_i: $i ).

thf(tp_lMaximalWeightedPathFn_THFTYPE_IiiiI,type,
    lMaximalWeightedPathFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMaximalWeightedPathFn_THFTYPE_i,type,
    lMaximalWeightedPathFn_THFTYPE_i: $i ).

thf(tp_lMay_THFTYPE_i,type,
    lMay_THFTYPE_i: $i ).

thf(tp_lMeasureFn_THFTYPE_IiiiI,type,
    lMeasureFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMeasureFn_THFTYPE_i,type,
    lMeasureFn_THFTYPE_i: $i ).

thf(tp_lMeasuringDevice_THFTYPE_i,type,
    lMeasuringDevice_THFTYPE_i: $i ).

thf(tp_lMeasuring_THFTYPE_i,type,
    lMeasuring_THFTYPE_i: $i ).

thf(tp_lMeat_THFTYPE_i,type,
    lMeat_THFTYPE_i: $i ).

thf(tp_lMeeting_THFTYPE_i,type,
    lMeeting_THFTYPE_i: $i ).

thf(tp_lMegaByte_THFTYPE_i,type,
    lMegaByte_THFTYPE_i: $i ).

thf(tp_lMegaFn_THFTYPE_IiiI,type,
    lMegaFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lMegaFn_THFTYPE_i,type,
    lMegaFn_THFTYPE_i: $i ).

thf(tp_lMelting_THFTYPE_i,type,
    lMelting_THFTYPE_i: $i ).

thf(tp_lMercantileOrganization_THFTYPE_i,type,
    lMercantileOrganization_THFTYPE_i: $i ).

thf(tp_lMereologicalDifferenceFn_THFTYPE_IiiiI,type,
    lMereologicalDifferenceFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMereologicalDifferenceFn_THFTYPE_i,type,
    lMereologicalDifferenceFn_THFTYPE_i: $i ).

thf(tp_lMereologicalProductFn_THFTYPE_IiiiI,type,
    lMereologicalProductFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMereologicalProductFn_THFTYPE_i,type,
    lMereologicalProductFn_THFTYPE_i: $i ).

thf(tp_lMereologicalSumFn_THFTYPE_IiiiI,type,
    lMereologicalSumFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMereologicalSumFn_THFTYPE_i,type,
    lMereologicalSumFn_THFTYPE_i: $i ).

thf(tp_lMetal_THFTYPE_i,type,
    lMetal_THFTYPE_i: $i ).

thf(tp_lMeter_THFTYPE_i,type,
    lMeter_THFTYPE_i: $i ).

thf(tp_lMicroFn_THFTYPE_IiiI,type,
    lMicroFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lMicroFn_THFTYPE_i,type,
    lMicroFn_THFTYPE_i: $i ).

thf(tp_lMicroorganism_THFTYPE_i,type,
    lMicroorganism_THFTYPE_i: $i ).

thf(tp_lMile_THFTYPE_i,type,
    lMile_THFTYPE_i: $i ).

thf(tp_lMilitaryForce_THFTYPE_i,type,
    lMilitaryForce_THFTYPE_i: $i ).

thf(tp_lMilitaryOrganization_THFTYPE_i,type,
    lMilitaryOrganization_THFTYPE_i: $i ).

thf(tp_lMilitaryProcess_THFTYPE_i,type,
    lMilitaryProcess_THFTYPE_i: $i ).

thf(tp_lMilliFn_THFTYPE_IiiI,type,
    lMilliFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lMilliFn_THFTYPE_i,type,
    lMilliFn_THFTYPE_i: $i ).

thf(tp_lMillimeter_THFTYPE_i,type,
    lMillimeter_THFTYPE_i: $i ).

thf(tp_lMinFn_THFTYPE_IiiiI,type,
    lMinFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMinFn_THFTYPE_i,type,
    lMinFn_THFTYPE_i: $i ).

thf(tp_lMineral_THFTYPE_i,type,
    lMineral_THFTYPE_i: $i ).

thf(tp_lMinimalCutSetFn_THFTYPE_IiiI,type,
    lMinimalCutSetFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lMinimalCutSetFn_THFTYPE_i,type,
    lMinimalCutSetFn_THFTYPE_i: $i ).

thf(tp_lMinimalWeightedPathFn_THFTYPE_IiiiI,type,
    lMinimalWeightedPathFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMinimalWeightedPathFn_THFTYPE_i,type,
    lMinimalWeightedPathFn_THFTYPE_i: $i ).

thf(tp_lMinuteDuration_THFTYPE_i,type,
    lMinuteDuration_THFTYPE_i: $i ).

thf(tp_lMinuteFn_THFTYPE_IiiiI,type,
    lMinuteFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMinuteFn_THFTYPE_i,type,
    lMinuteFn_THFTYPE_i: $i ).

thf(tp_lMinute_THFTYPE_i,type,
    lMinute_THFTYPE_i: $i ).

thf(tp_lMixture_THFTYPE_i,type,
    lMixture_THFTYPE_i: $i ).

thf(tp_lMmMercury_THFTYPE_i,type,
    lMmMercury_THFTYPE_i: $i ).

thf(tp_lMole_THFTYPE_i,type,
    lMole_THFTYPE_i: $i ).

thf(tp_lMolecule_THFTYPE_i,type,
    lMolecule_THFTYPE_i: $i ).

thf(tp_lMollusk_THFTYPE_i,type,
    lMollusk_THFTYPE_i: $i ).

thf(tp_lMonday_THFTYPE_i,type,
    lMonday_THFTYPE_i: $i ).

thf(tp_lMonkey_THFTYPE_i,type,
    lMonkey_THFTYPE_i: $i ).

thf(tp_lMonochromatic_THFTYPE_i,type,
    lMonochromatic_THFTYPE_i: $i ).

thf(tp_lMonthDuration_THFTYPE_i,type,
    lMonthDuration_THFTYPE_i: $i ).

thf(tp_lMonthFn_THFTYPE_IiiiI,type,
    lMonthFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMonthFn_THFTYPE_i,type,
    lMonthFn_THFTYPE_i: $i ).

thf(tp_lMonth_THFTYPE_i,type,
    lMonth_THFTYPE_i: $i ).

thf(tp_lMorpheme_THFTYPE_i,type,
    lMorpheme_THFTYPE_i: $i ).

thf(tp_lMoss_THFTYPE_i,type,
    lMoss_THFTYPE_i: $i ).

thf(tp_lMotionDownward_THFTYPE_i,type,
    lMotionDownward_THFTYPE_i: $i ).

thf(tp_lMotionPicture_THFTYPE_i,type,
    lMotionPicture_THFTYPE_i: $i ).

thf(tp_lMotionUpward_THFTYPE_i,type,
    lMotionUpward_THFTYPE_i: $i ).

thf(tp_lMotion_THFTYPE_i,type,
    lMotion_THFTYPE_i: $i ).

thf(tp_lMountainTimeZone_THFTYPE_i,type,
    lMountainTimeZone_THFTYPE_i: $i ).

thf(tp_lMultiGraph_THFTYPE_i,type,
    lMultiGraph_THFTYPE_i: $i ).

thf(tp_lMultiplicationFn_THFTYPE_IiiiI,type,
    lMultiplicationFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lMultiplicationFn_THFTYPE_i,type,
    lMultiplicationFn_THFTYPE_i: $i ).

thf(tp_lMuscle_THFTYPE_i,type,
    lMuscle_THFTYPE_i: $i ).

thf(tp_lMusic_THFTYPE_i,type,
    lMusic_THFTYPE_i: $i ).

thf(tp_lMusicalInstrument_THFTYPE_i,type,
    lMusicalInstrument_THFTYPE_i: $i ).

thf(tp_lMutuallyDisjointClass_THFTYPE_i,type,
    lMutuallyDisjointClass_THFTYPE_i: $i ).

thf(tp_lMyriapod_THFTYPE_i,type,
    lMyriapod_THFTYPE_i: $i ).

thf(tp_lNakedPromise_THFTYPE_i,type,
    lNakedPromise_THFTYPE_i: $i ).

thf(tp_lNaming_THFTYPE_i,type,
    lNaming_THFTYPE_i: $i ).

thf(tp_lNanoFn_THFTYPE_IiiI,type,
    lNanoFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lNanoFn_THFTYPE_i,type,
    lNanoFn_THFTYPE_i: $i ).

thf(tp_lNation_THFTYPE_i,type,
    lNation_THFTYPE_i: $i ).

thf(tp_lNaturalLanguage_THFTYPE_i,type,
    lNaturalLanguage_THFTYPE_i: $i ).

thf(tp_lNaturalProcess_THFTYPE_i,type,
    lNaturalProcess_THFTYPE_i: $i ).

thf(tp_lNaturalSubstance_THFTYPE_i,type,
    lNaturalSubstance_THFTYPE_i: $i ).

thf(tp_lNear_THFTYPE_i,type,
    lNear_THFTYPE_i: $i ).

thf(tp_lNecessity_THFTYPE_i,type,
    lNecessity_THFTYPE_i: $i ).

thf(tp_lNegativeInfinity_THFTYPE_i,type,
    lNegativeInfinity_THFTYPE_i: $i ).

thf(tp_lNegativeInteger_THFTYPE_i,type,
    lNegativeInteger_THFTYPE_i: $i ).

thf(tp_lNegativeRealNumber_THFTYPE_i,type,
    lNegativeRealNumber_THFTYPE_i: $i ).

thf(tp_lNeutron_THFTYPE_i,type,
    lNeutron_THFTYPE_i: $i ).

thf(tp_lNewton_THFTYPE_i,type,
    lNewton_THFTYPE_i: $i ).

thf(tp_lNonCompositeUnitOfMeasure_THFTYPE_i,type,
    lNonCompositeUnitOfMeasure_THFTYPE_i: $i ).

thf(tp_lNonFloweringPlant_THFTYPE_i,type,
    lNonFloweringPlant_THFTYPE_i: $i ).

thf(tp_lNonFullyFormed_THFTYPE_i,type,
    lNonFullyFormed_THFTYPE_i: $i ).

thf(tp_lNonNullSet_THFTYPE_i,type,
    lNonNullSet_THFTYPE_i: $i ).

thf(tp_lNonnegativeInteger_THFTYPE_i,type,
    lNonnegativeInteger_THFTYPE_i: $i ).

thf(tp_lNonnegativeRealNumber_THFTYPE_i,type,
    lNonnegativeRealNumber_THFTYPE_i: $i ).

thf(tp_lNormativeAttribute_THFTYPE_i,type,
    lNormativeAttribute_THFTYPE_i: $i ).

thf(tp_lNorth_THFTYPE_i,type,
    lNorth_THFTYPE_i: $i ).

thf(tp_lNounPhrase_THFTYPE_i,type,
    lNounPhrase_THFTYPE_i: $i ).

thf(tp_lNoun_THFTYPE_i,type,
    lNoun_THFTYPE_i: $i ).

thf(tp_lNovember_THFTYPE_i,type,
    lNovember_THFTYPE_i: $i ).

thf(tp_lNullList_THFTYPE_i,type,
    lNullList_THFTYPE_i: $i ).

thf(tp_lNullSet_THFTYPE_i,type,
    lNullSet_THFTYPE_i: $i ).

thf(tp_lNumberE_THFTYPE_i,type,
    lNumberE_THFTYPE_i: $i ).

thf(tp_lNumber_THFTYPE_i,type,
    lNumber_THFTYPE_i: $i ).

thf(tp_lNumeratorFn_THFTYPE_i,type,
    lNumeratorFn_THFTYPE_i: $i ).

thf(tp_lNutrient_THFTYPE_i,type,
    lNutrient_THFTYPE_i: $i ).

thf(tp_lObjectAttitude_THFTYPE_i,type,
    lObjectAttitude_THFTYPE_i: $i ).

thf(tp_lObject_THFTYPE_i,type,
    lObject_THFTYPE_i: $i ).

thf(tp_lObjectiveNorm_THFTYPE_i,type,
    lObjectiveNorm_THFTYPE_i: $i ).

thf(tp_lObligation_THFTYPE_i,type,
    lObligation_THFTYPE_i: $i ).

thf(tp_lOctober_THFTYPE_i,type,
    lOctober_THFTYPE_i: $i ).

thf(tp_lOddInteger_THFTYPE_i,type,
    lOddInteger_THFTYPE_i: $i ).

thf(tp_lOffering_THFTYPE_i,type,
    lOffering_THFTYPE_i: $i ).

thf(tp_lOhm_THFTYPE_i,type,
    lOhm_THFTYPE_i: $i ).

thf(tp_lOlfactoryAttribute_THFTYPE_i,type,
    lOlfactoryAttribute_THFTYPE_i: $i ).

thf(tp_lOn_THFTYPE_i,type,
    lOn_THFTYPE_i: $i ).

thf(tp_lOneDimensionalFigure_THFTYPE_i,type,
    lOneDimensionalFigure_THFTYPE_i: $i ).

thf(tp_lOneToOneFunction_THFTYPE_i,type,
    lOneToOneFunction_THFTYPE_i: $i ).

thf(tp_lOpenTwoDimensionalFigure_THFTYPE_i,type,
    lOpenTwoDimensionalFigure_THFTYPE_i: $i ).

thf(tp_lOrdering_THFTYPE_i,type,
    lOrdering_THFTYPE_i: $i ).

thf(tp_lOrganOrTissueProcess_THFTYPE_i,type,
    lOrganOrTissueProcess_THFTYPE_i: $i ).

thf(tp_lOrgan_THFTYPE_i,type,
    lOrgan_THFTYPE_i: $i ).

thf(tp_lOrganicObject_THFTYPE_i,type,
    lOrganicObject_THFTYPE_i: $i ).

thf(tp_lOrganismProcess_THFTYPE_i,type,
    lOrganismProcess_THFTYPE_i: $i ).

thf(tp_lOrganism_THFTYPE_i,type,
    lOrganism_THFTYPE_i: $i ).

thf(tp_lOrganization_THFTYPE_i,type,
    lOrganization_THFTYPE_i: $i ).

thf(tp_lOrganizationalProcess_THFTYPE_i,type,
    lOrganizationalProcess_THFTYPE_i: $i ).

thf(tp_lOunce_THFTYPE_i,type,
    lOunce_THFTYPE_i: $i ).

thf(tp_lOval_THFTYPE_i,type,
    lOval_THFTYPE_i: $i ).

thf(tp_lPacificTimeZone_THFTYPE_i,type,
    lPacificTimeZone_THFTYPE_i: $i ).

thf(tp_lPairwiseDisjointClass_THFTYPE_i,type,
    lPairwiseDisjointClass_THFTYPE_i: $i ).

thf(tp_lParamilitaryOrganization_THFTYPE_i,type,
    lParamilitaryOrganization_THFTYPE_i: $i ).

thf(tp_lPartialOrderingRelation_THFTYPE_i,type,
    lPartialOrderingRelation_THFTYPE_i: $i ).

thf(tp_lPartialValuedRelation_THFTYPE_i,type,
    lPartialValuedRelation_THFTYPE_i: $i ).

thf(tp_lParticleWord_THFTYPE_i,type,
    lParticleWord_THFTYPE_i: $i ).

thf(tp_lPascal_THFTYPE_i,type,
    lPascal_THFTYPE_i: $i ).

thf(tp_lPastFn_THFTYPE_IiiI,type,
    lPastFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lPastFn_THFTYPE_i,type,
    lPastFn_THFTYPE_i: $i ).

thf(tp_lPatent_THFTYPE_i,type,
    lPatent_THFTYPE_i: $i ).

thf(tp_lPathWeightFn_THFTYPE_IiiI,type,
    lPathWeightFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lPathWeightFn_THFTYPE_i,type,
    lPathWeightFn_THFTYPE_i: $i ).

thf(tp_lPathologicProcess_THFTYPE_i,type,
    lPathologicProcess_THFTYPE_i: $i ).

thf(tp_lPerFn_THFTYPE_i,type,
    lPerFn_THFTYPE_i: $i ).

thf(tp_lPerception_THFTYPE_i,type,
    lPerception_THFTYPE_i: $i ).

thf(tp_lPerceptualAttribute_THFTYPE_i,type,
    lPerceptualAttribute_THFTYPE_i: $i ).

thf(tp_lPeriodicalIssueFn_THFTYPE_IiiiI,type,
    lPeriodicalIssueFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lPeriodicalIssueFn_THFTYPE_i,type,
    lPeriodicalIssueFn_THFTYPE_i: $i ).

thf(tp_lPeriodical_THFTYPE_i,type,
    lPeriodical_THFTYPE_i: $i ).

thf(tp_lPermanentResidence_THFTYPE_i,type,
    lPermanentResidence_THFTYPE_i: $i ).

thf(tp_lPermission_THFTYPE_i,type,
    lPermission_THFTYPE_i: $i ).

thf(tp_lPhrase_THFTYPE_i,type,
    lPhrase_THFTYPE_i: $i ).

thf(tp_lPhysicalAttribute_THFTYPE_i,type,
    lPhysicalAttribute_THFTYPE_i: $i ).

thf(tp_lPhysicalQuantity_THFTYPE_i,type,
    lPhysicalQuantity_THFTYPE_i: $i ).

thf(tp_lPhysicalState_THFTYPE_i,type,
    lPhysicalState_THFTYPE_i: $i ).

thf(tp_lPhysicalSystem_THFTYPE_i,type,
    lPhysicalSystem_THFTYPE_i: $i ).

thf(tp_lPhysical_THFTYPE_i,type,
    lPhysical_THFTYPE_i: $i ).

thf(tp_lPhysiologicProcess_THFTYPE_i,type,
    lPhysiologicProcess_THFTYPE_i: $i ).

thf(tp_lPi_THFTYPE_i,type,
    lPi_THFTYPE_i: $i ).

thf(tp_lPicoFn_THFTYPE_IiiI,type,
    lPicoFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lPicoFn_THFTYPE_i,type,
    lPicoFn_THFTYPE_i: $i ).

thf(tp_lPint_THFTYPE_i,type,
    lPint_THFTYPE_i: $i ).

thf(tp_lPlan_THFTYPE_i,type,
    lPlan_THFTYPE_i: $i ).

thf(tp_lPlaneAngleMeasure_THFTYPE_i,type,
    lPlaneAngleMeasure_THFTYPE_i: $i ).

thf(tp_lPlanning_THFTYPE_i,type,
    lPlanning_THFTYPE_i: $i ).

thf(tp_lPlantAnatomicalStructure_THFTYPE_i,type,
    lPlantAnatomicalStructure_THFTYPE_i: $i ).

thf(tp_lPlantSubstance_THFTYPE_i,type,
    lPlantSubstance_THFTYPE_i: $i ).

thf(tp_lPlant_THFTYPE_i,type,
    lPlant_THFTYPE_i: $i ).

thf(tp_lPlasma_THFTYPE_i,type,
    lPlasma_THFTYPE_i: $i ).

thf(tp_lPliable_THFTYPE_i,type,
    lPliable_THFTYPE_i: $i ).

thf(tp_lPoisoning_THFTYPE_i,type,
    lPoisoning_THFTYPE_i: $i ).

thf(tp_lPoking_THFTYPE_i,type,
    lPoking_THFTYPE_i: $i ).

thf(tp_lPoliceOrganization_THFTYPE_i,type,
    lPoliceOrganization_THFTYPE_i: $i ).

thf(tp_lPoliticalOrganization_THFTYPE_i,type,
    lPoliticalOrganization_THFTYPE_i: $i ).

thf(tp_lPoliticalProcess_THFTYPE_i,type,
    lPoliticalProcess_THFTYPE_i: $i ).

thf(tp_lPollen_THFTYPE_i,type,
    lPollen_THFTYPE_i: $i ).

thf(tp_lPolychromatic_THFTYPE_i,type,
    lPolychromatic_THFTYPE_i: $i ).

thf(tp_lPosition_THFTYPE_i,type,
    lPosition_THFTYPE_i: $i ).

thf(tp_lPositionalAttribute_THFTYPE_i,type,
    lPositionalAttribute_THFTYPE_i: $i ).

thf(tp_lPositiveInfinity_THFTYPE_i,type,
    lPositiveInfinity_THFTYPE_i: $i ).

thf(tp_lPositiveInteger_THFTYPE_i,type,
    lPositiveInteger_THFTYPE_i: $i ).

thf(tp_lPositiveRealNumber_THFTYPE_i,type,
    lPositiveRealNumber_THFTYPE_i: $i ).

thf(tp_lPossibility_THFTYPE_i,type,
    lPossibility_THFTYPE_i: $i ).

thf(tp_lPoundForce_THFTYPE_i,type,
    lPoundForce_THFTYPE_i: $i ).

thf(tp_lPoundMass_THFTYPE_i,type,
    lPoundMass_THFTYPE_i: $i ).

thf(tp_lPowerSetFn_THFTYPE_i,type,
    lPowerSetFn_THFTYPE_i: $i ).

thf(tp_lPrecipitation_THFTYPE_i,type,
    lPrecipitation_THFTYPE_i: $i ).

thf(tp_lPredecessorFn_THFTYPE_IiiI,type,
    lPredecessorFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lPredecessorFn_THFTYPE_i,type,
    lPredecessorFn_THFTYPE_i: $i ).

thf(tp_lPredicate_THFTYPE_i,type,
    lPredicate_THFTYPE_i: $i ).

thf(tp_lPredicting_THFTYPE_i,type,
    lPredicting_THFTYPE_i: $i ).

thf(tp_lPremisesFn_THFTYPE_IooI,type,
    lPremisesFn_THFTYPE_IooI: $o > $o ).

thf(tp_lPremisesFn_THFTYPE_i,type,
    lPremisesFn_THFTYPE_i: $i ).

thf(tp_lPrepositionalPhrase_THFTYPE_i,type,
    lPrepositionalPhrase_THFTYPE_i: $i ).

thf(tp_lPretending_THFTYPE_i,type,
    lPretending_THFTYPE_i: $i ).

thf(tp_lPrimaryColor_THFTYPE_i,type,
    lPrimaryColor_THFTYPE_i: $i ).

thf(tp_lPrimate_THFTYPE_i,type,
    lPrimate_THFTYPE_i: $i ).

thf(tp_lPrimeNumber_THFTYPE_i,type,
    lPrimeNumber_THFTYPE_i: $i ).

thf(tp_lProbabilityAttribute_THFTYPE_i,type,
    lProbabilityAttribute_THFTYPE_i: $i ).

thf(tp_lProbabilityFn_THFTYPE_IoiI,type,
    lProbabilityFn_THFTYPE_IoiI: $o > $i ).

thf(tp_lProbabilityFn_THFTYPE_i,type,
    lProbabilityFn_THFTYPE_i: $i ).

thf(tp_lProbabilityRelation_THFTYPE_i,type,
    lProbabilityRelation_THFTYPE_i: $i ).

thf(tp_lProcedure_THFTYPE_i,type,
    lProcedure_THFTYPE_i: $i ).

thf(tp_lProcess_THFTYPE_i,type,
    lProcess_THFTYPE_i: $i ).

thf(tp_lProduct_THFTYPE_i,type,
    lProduct_THFTYPE_i: $i ).

thf(tp_lProhibition_THFTYPE_i,type,
    lProhibition_THFTYPE_i: $i ).

thf(tp_lPromise_THFTYPE_i,type,
    lPromise_THFTYPE_i: $i ).

thf(tp_lPropertyFn_THFTYPE_IiiI,type,
    lPropertyFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lPropertyFn_THFTYPE_i,type,
    lPropertyFn_THFTYPE_i: $i ).

thf(tp_lProposition_THFTYPE_i,type,
    lProposition_THFTYPE_i: $i ).

thf(tp_lPropositionalAttitude_THFTYPE_i,type,
    lPropositionalAttitude_THFTYPE_i: $i ).

thf(tp_lProstrate_THFTYPE_i,type,
    lProstrate_THFTYPE_i: $i ).

thf(tp_lProtein_THFTYPE_i,type,
    lProtein_THFTYPE_i: $i ).

thf(tp_lProton_THFTYPE_i,type,
    lProton_THFTYPE_i: $i ).

thf(tp_lPseudoGraph_THFTYPE_i,type,
    lPseudoGraph_THFTYPE_i: $i ).

thf(tp_lPsychologicalAttribute_THFTYPE_i,type,
    lPsychologicalAttribute_THFTYPE_i: $i ).

thf(tp_lPsychologicalDysfunction_THFTYPE_i,type,
    lPsychologicalDysfunction_THFTYPE_i: $i ).

thf(tp_lPsychologicalProcess_THFTYPE_i,type,
    lPsychologicalProcess_THFTYPE_i: $i ).

thf(tp_lPublication_THFTYPE_i,type,
    lPublication_THFTYPE_i: $i ).

thf(tp_lPurchaseContract_THFTYPE_i,type,
    lPurchaseContract_THFTYPE_i: $i ).

thf(tp_lPureSubstance_THFTYPE_i,type,
    lPureSubstance_THFTYPE_i: $i ).

thf(tp_lPursuing_THFTYPE_i,type,
    lPursuing_THFTYPE_i: $i ).

thf(tp_lPutting_THFTYPE_i,type,
    lPutting_THFTYPE_i: $i ).

thf(tp_lQuantityChange_THFTYPE_i,type,
    lQuantityChange_THFTYPE_i: $i ).

thf(tp_lQuantity_THFTYPE_i,type,
    lQuantity_THFTYPE_i: $i ).

thf(tp_lQuart_THFTYPE_i,type,
    lQuart_THFTYPE_i: $i ).

thf(tp_lQuaternaryFunction_THFTYPE_i,type,
    lQuaternaryFunction_THFTYPE_i: $i ).

thf(tp_lQuaternaryPredicate_THFTYPE_i,type,
    lQuaternaryPredicate_THFTYPE_i: $i ).

thf(tp_lQuaternaryRelation_THFTYPE_i,type,
    lQuaternaryRelation_THFTYPE_i: $i ).

thf(tp_lQuestioning_THFTYPE_i,type,
    lQuestioning_THFTYPE_i: $i ).

thf(tp_lQuintaryPredicate_THFTYPE_i,type,
    lQuintaryPredicate_THFTYPE_i: $i ).

thf(tp_lQuintaryRelation_THFTYPE_i,type,
    lQuintaryRelation_THFTYPE_i: $i ).

thf(tp_lRadian_THFTYPE_i,type,
    lRadian_THFTYPE_i: $i ).

thf(tp_lRadiatingElectromagnetic_THFTYPE_i,type,
    lRadiatingElectromagnetic_THFTYPE_i: $i ).

thf(tp_lRadiatingInfrared_THFTYPE_i,type,
    lRadiatingInfrared_THFTYPE_i: $i ).

thf(tp_lRadiatingLight_THFTYPE_i,type,
    lRadiatingLight_THFTYPE_i: $i ).

thf(tp_lRadiatingNuclear_THFTYPE_i,type,
    lRadiatingNuclear_THFTYPE_i: $i ).

thf(tp_lRadiatingSound_THFTYPE_i,type,
    lRadiatingSound_THFTYPE_i: $i ).

thf(tp_lRadiatingXRay_THFTYPE_i,type,
    lRadiatingXRay_THFTYPE_i: $i ).

thf(tp_lRadiating_THFTYPE_i,type,
    lRadiating_THFTYPE_i: $i ).

thf(tp_lRankineDegree_THFTYPE_i,type,
    lRankineDegree_THFTYPE_i: $i ).

thf(tp_lRationalNumberFn_THFTYPE_i,type,
    lRationalNumberFn_THFTYPE_i: $i ).

thf(tp_lRationalNumber_THFTYPE_i,type,
    lRationalNumber_THFTYPE_i: $i ).

thf(tp_lReading_THFTYPE_i,type,
    lReading_THFTYPE_i: $i ).

thf(tp_lRealNumberFn_THFTYPE_IiiI,type,
    lRealNumberFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lRealNumberFn_THFTYPE_i,type,
    lRealNumberFn_THFTYPE_i: $i ).

thf(tp_lRealNumber_THFTYPE_i,type,
    lRealNumber_THFTYPE_i: $i ).

thf(tp_lReasoning_THFTYPE_i,type,
    lReasoning_THFTYPE_i: $i ).

thf(tp_lReciprocalFn_THFTYPE_IiiI,type,
    lReciprocalFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lReciprocalFn_THFTYPE_i,type,
    lReciprocalFn_THFTYPE_i: $i ).

thf(tp_lRecreationOrExercise_THFTYPE_i,type,
    lRecreationOrExercise_THFTYPE_i: $i ).

thf(tp_lRecurrentTimeIntervalFn_THFTYPE_IiiiI,type,
    lRecurrentTimeIntervalFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lRecurrentTimeIntervalFn_THFTYPE_i,type,
    lRecurrentTimeIntervalFn_THFTYPE_i: $i ).

thf(tp_lRed_THFTYPE_i,type,
    lRed_THFTYPE_i: $i ).

thf(tp_lReflexiveRelation_THFTYPE_i,type,
    lReflexiveRelation_THFTYPE_i: $i ).

thf(tp_lRegion_THFTYPE_i,type,
    lRegion_THFTYPE_i: $i ).

thf(tp_lRegulatoryProcess_THFTYPE_i,type,
    lRegulatoryProcess_THFTYPE_i: $i ).

thf(tp_lRelationExtendedToQuantities_THFTYPE_i,type,
    lRelationExtendedToQuantities_THFTYPE_i: $i ).

thf(tp_lRelation_THFTYPE_i,type,
    lRelation_THFTYPE_i: $i ).

thf(tp_lRelationalAttribute_THFTYPE_i,type,
    lRelationalAttribute_THFTYPE_i: $i ).

thf(tp_lRelativeComplementFn_THFTYPE_i,type,
    lRelativeComplementFn_THFTYPE_i: $i ).

thf(tp_lRelativeTimeFn_THFTYPE_IiiiI,type,
    lRelativeTimeFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lRelativeTimeFn_THFTYPE_i,type,
    lRelativeTimeFn_THFTYPE_i: $i ).

thf(tp_lReleasing_THFTYPE_i,type,
    lReleasing_THFTYPE_i: $i ).

thf(tp_lReligiousOrganization_THFTYPE_i,type,
    lReligiousOrganization_THFTYPE_i: $i ).

thf(tp_lReligiousProcess_THFTYPE_i,type,
    lReligiousProcess_THFTYPE_i: $i ).

thf(tp_lRemainderFn_THFTYPE_IiiiI,type,
    lRemainderFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lRemainderFn_THFTYPE_i,type,
    lRemainderFn_THFTYPE_i: $i ).

thf(tp_lRemembering_THFTYPE_i,type,
    lRemembering_THFTYPE_i: $i ).

thf(tp_lRemoving_THFTYPE_i,type,
    lRemoving_THFTYPE_i: $i ).

thf(tp_lRepairing_THFTYPE_i,type,
    lRepairing_THFTYPE_i: $i ).

thf(tp_lReplication_THFTYPE_i,type,
    lReplication_THFTYPE_i: $i ).

thf(tp_lRepresentationalArtWork_THFTYPE_i,type,
    lRepresentationalArtWork_THFTYPE_i: $i ).

thf(tp_lReproductiveBody_THFTYPE_i,type,
    lReproductiveBody_THFTYPE_i: $i ).

thf(tp_lReptile_THFTYPE_i,type,
    lReptile_THFTYPE_i: $i ).

thf(tp_lRequesting_THFTYPE_i,type,
    lRequesting_THFTYPE_i: $i ).

thf(tp_lResidence_THFTYPE_i,type,
    lResidence_THFTYPE_i: $i ).

thf(tp_lResidentialBuilding_THFTYPE_i,type,
    lResidentialBuilding_THFTYPE_i: $i ).

thf(tp_lRight_THFTYPE_i,type,
    lRight_THFTYPE_i: $i ).

thf(tp_lRigid_THFTYPE_i,type,
    lRigid_THFTYPE_i: $i ).

thf(tp_lRoadway_THFTYPE_i,type,
    lRoadway_THFTYPE_i: $i ).

thf(tp_lRodent_THFTYPE_i,type,
    lRodent_THFTYPE_i: $i ).

thf(tp_lRoom_THFTYPE_i,type,
    lRoom_THFTYPE_i: $i ).

thf(tp_lRough_THFTYPE_i,type,
    lRough_THFTYPE_i: $i ).

thf(tp_lRoundFn_THFTYPE_IiiI,type,
    lRoundFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lRoundFn_THFTYPE_i,type,
    lRoundFn_THFTYPE_i: $i ).

thf(tp_lRunning_THFTYPE_i,type,
    lRunning_THFTYPE_i: $i ).

thf(tp_lSaltWaterArea_THFTYPE_i,type,
    lSaltWaterArea_THFTYPE_i: $i ).

thf(tp_lSaturationAttribute_THFTYPE_i,type,
    lSaturationAttribute_THFTYPE_i: $i ).

thf(tp_lSaturday_THFTYPE_i,type,
    lSaturday_THFTYPE_i: $i ).

thf(tp_lSecondDuration_THFTYPE_i,type,
    lSecondDuration_THFTYPE_i: $i ).

thf(tp_lSecondFn_THFTYPE_IiiiI,type,
    lSecondFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lSecondFn_THFTYPE_i,type,
    lSecondFn_THFTYPE_i: $i ).

thf(tp_lSecond_THFTYPE_i,type,
    lSecond_THFTYPE_i: $i ).

thf(tp_lSeed_THFTYPE_i,type,
    lSeed_THFTYPE_i: $i ).

thf(tp_lSeeing_THFTYPE_i,type,
    lSeeing_THFTYPE_i: $i ).

thf(tp_lSelecting_THFTYPE_i,type,
    lSelecting_THFTYPE_i: $i ).

thf(tp_lSelfConnectedObject_THFTYPE_i,type,
    lSelfConnectedObject_THFTYPE_i: $i ).

thf(tp_lSelling_THFTYPE_i,type,
    lSelling_THFTYPE_i: $i ).

thf(tp_lSentence_THFTYPE_i,type,
    lSentence_THFTYPE_i: $i ).

thf(tp_lSentientAgent_THFTYPE_i,type,
    lSentientAgent_THFTYPE_i: $i ).

thf(tp_lSeparating_THFTYPE_i,type,
    lSeparating_THFTYPE_i: $i ).

thf(tp_lSeptember_THFTYPE_i,type,
    lSeptember_THFTYPE_i: $i ).

thf(tp_lSequenceFunction_THFTYPE_i,type,
    lSequenceFunction_THFTYPE_i: $i ).

thf(tp_lSeriesVolumeFn_THFTYPE_IiiiI,type,
    lSeriesVolumeFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lSeriesVolumeFn_THFTYPE_i,type,
    lSeriesVolumeFn_THFTYPE_i: $i ).

thf(tp_lSeries_THFTYPE_i,type,
    lSeries_THFTYPE_i: $i ).

thf(tp_lServiceContract_THFTYPE_i,type,
    lServiceContract_THFTYPE_i: $i ).

thf(tp_lServiceProcess_THFTYPE_i,type,
    lServiceProcess_THFTYPE_i: $i ).

thf(tp_lSetOrClass_THFTYPE_i,type,
    lSetOrClass_THFTYPE_i: $i ).

thf(tp_lSet_THFTYPE_i,type,
    lSet_THFTYPE_i: $i ).

thf(tp_lSexAttribute_THFTYPE_i,type,
    lSexAttribute_THFTYPE_i: $i ).

thf(tp_lSexualReproduction_THFTYPE_i,type,
    lSexualReproduction_THFTYPE_i: $i ).

thf(tp_lShapeAttribute_THFTYPE_i,type,
    lShapeAttribute_THFTYPE_i: $i ).

thf(tp_lShapeChange_THFTYPE_i,type,
    lShapeChange_THFTYPE_i: $i ).

thf(tp_lShooting_THFTYPE_i,type,
    lShooting_THFTYPE_i: $i ).

thf(tp_lShoreArea_THFTYPE_i,type,
    lShoreArea_THFTYPE_i: $i ).

thf(tp_lSiemens_THFTYPE_i,type,
    lSiemens_THFTYPE_i: $i ).

thf(tp_lSievert_THFTYPE_i,type,
    lSievert_THFTYPE_i: $i ).

thf(tp_lSignumFn_THFTYPE_IiiI,type,
    lSignumFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lSignumFn_THFTYPE_i,type,
    lSignumFn_THFTYPE_i: $i ).

thf(tp_lSineFn_THFTYPE_IiiI,type,
    lSineFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lSineFn_THFTYPE_i,type,
    lSineFn_THFTYPE_i: $i ).

thf(tp_lSinging_THFTYPE_i,type,
    lSinging_THFTYPE_i: $i ).

thf(tp_lSingleAgentProcess_THFTYPE_i,type,
    lSingleAgentProcess_THFTYPE_i: $i ).

thf(tp_lSingleFamilyResidence_THFTYPE_i,type,
    lSingleFamilyResidence_THFTYPE_i: $i ).

thf(tp_lSingleValuedRelation_THFTYPE_i,type,
    lSingleValuedRelation_THFTYPE_i: $i ).

thf(tp_lSitting_THFTYPE_i,type,
    lSitting_THFTYPE_i: $i ).

thf(tp_lSlug_THFTYPE_i,type,
    lSlug_THFTYPE_i: $i ).

thf(tp_lSmelling_THFTYPE_i,type,
    lSmelling_THFTYPE_i: $i ).

thf(tp_lSmoke_THFTYPE_i,type,
    lSmoke_THFTYPE_i: $i ).

thf(tp_lSmooth_THFTYPE_i,type,
    lSmooth_THFTYPE_i: $i ).

thf(tp_lSocialInteraction_THFTYPE_i,type,
    lSocialInteraction_THFTYPE_i: $i ).

thf(tp_lSocialRole_THFTYPE_i,type,
    lSocialRole_THFTYPE_i: $i ).

thf(tp_lSocialUnit_THFTYPE_i,type,
    lSocialUnit_THFTYPE_i: $i ).

thf(tp_lSolidAngleMeasure_THFTYPE_i,type,
    lSolidAngleMeasure_THFTYPE_i: $i ).

thf(tp_lSolid_THFTYPE_i,type,
    lSolid_THFTYPE_i: $i ).

thf(tp_lSolution_THFTYPE_i,type,
    lSolution_THFTYPE_i: $i ).

thf(tp_lSoundAttribute_THFTYPE_i,type,
    lSoundAttribute_THFTYPE_i: $i ).

thf(tp_lSouth_THFTYPE_i,type,
    lSouth_THFTYPE_i: $i ).

thf(tp_lSpatialRelation_THFTYPE_i,type,
    lSpatialRelation_THFTYPE_i: $i ).

thf(tp_lSpeaking_THFTYPE_i,type,
    lSpeaking_THFTYPE_i: $i ).

thf(tp_lSpeedFn_THFTYPE_IiiiI,type,
    lSpeedFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lSpeedFn_THFTYPE_i,type,
    lSpeedFn_THFTYPE_i: $i ).

thf(tp_lSpokenHumanLanguage_THFTYPE_i,type,
    lSpokenHumanLanguage_THFTYPE_i: $i ).

thf(tp_lSpore_THFTYPE_i,type,
    lSpore_THFTYPE_i: $i ).

thf(tp_lSport_THFTYPE_i,type,
    lSport_THFTYPE_i: $i ).

thf(tp_lSquareRootFn_THFTYPE_IiiI,type,
    lSquareRootFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lSquareRootFn_THFTYPE_i,type,
    lSquareRootFn_THFTYPE_i: $i ).

thf(tp_lStanding_THFTYPE_i,type,
    lStanding_THFTYPE_i: $i ).

thf(tp_lStateChange_THFTYPE_i,type,
    lStateChange_THFTYPE_i: $i ).

thf(tp_lStateOfMind_THFTYPE_i,type,
    lStateOfMind_THFTYPE_i: $i ).

thf(tp_lStateOrProvince_THFTYPE_i,type,
    lStateOrProvince_THFTYPE_i: $i ).

thf(tp_lStaticWaterArea_THFTYPE_i,type,
    lStaticWaterArea_THFTYPE_i: $i ).

thf(tp_lStating_THFTYPE_i,type,
    lStating_THFTYPE_i: $i ).

thf(tp_lStationaryArtifact_THFTYPE_i,type,
    lStationaryArtifact_THFTYPE_i: $i ).

thf(tp_lSteradian_THFTYPE_i,type,
    lSteradian_THFTYPE_i: $i ).

thf(tp_lStreamWaterArea_THFTYPE_i,type,
    lStreamWaterArea_THFTYPE_i: $i ).

thf(tp_lSubatomicParticle_THFTYPE_i,type,
    lSubatomicParticle_THFTYPE_i: $i ).

thf(tp_lSubjectiveAssessmentAttribute_THFTYPE_i,type,
    lSubjectiveAssessmentAttribute_THFTYPE_i: $i ).

thf(tp_lSubstance_THFTYPE_i,type,
    lSubstance_THFTYPE_i: $i ).

thf(tp_lSubstituting_THFTYPE_i,type,
    lSubstituting_THFTYPE_i: $i ).

thf(tp_lSubtractionFn_THFTYPE_IiiiI,type,
    lSubtractionFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lSubtractionFn_THFTYPE_i,type,
    lSubtractionFn_THFTYPE_i: $i ).

thf(tp_lSuccessorFn_THFTYPE_IiiI,type,
    lSuccessorFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lSuccessorFn_THFTYPE_i,type,
    lSuccessorFn_THFTYPE_i: $i ).

thf(tp_lSue_THFTYPE_i,type,
    lSue_THFTYPE_i: $i ).

thf(tp_lSummary_THFTYPE_i,type,
    lSummary_THFTYPE_i: $i ).

thf(tp_lSunday_THFTYPE_i,type,
    lSunday_THFTYPE_i: $i ).

thf(tp_lSupposing_THFTYPE_i,type,
    lSupposing_THFTYPE_i: $i ).

thf(tp_lSurfaceChange_THFTYPE_i,type,
    lSurfaceChange_THFTYPE_i: $i ).

thf(tp_lSurgery_THFTYPE_i,type,
    lSurgery_THFTYPE_i: $i ).

thf(tp_lSuspension_THFTYPE_i,type,
    lSuspension_THFTYPE_i: $i ).

thf(tp_lSwimming_THFTYPE_i,type,
    lSwimming_THFTYPE_i: $i ).

thf(tp_lSymbolicString_THFTYPE_i,type,
    lSymbolicString_THFTYPE_i: $i ).

thf(tp_lSymmetricPositionalAttribute_THFTYPE_i,type,
    lSymmetricPositionalAttribute_THFTYPE_i: $i ).

thf(tp_lSymmetricRelation_THFTYPE_i,type,
    lSymmetricRelation_THFTYPE_i: $i ).

thf(tp_lSyntheticSubstance_THFTYPE_i,type,
    lSyntheticSubstance_THFTYPE_i: $i ).

thf(tp_lSystemeInternationalUnit_THFTYPE_i,type,
    lSystemeInternationalUnit_THFTYPE_i: $i ).

thf(tp_lTactilePerception_THFTYPE_i,type,
    lTactilePerception_THFTYPE_i: $i ).

thf(tp_lTangentFn_THFTYPE_IiiI,type,
    lTangentFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lTangentFn_THFTYPE_i,type,
    lTangentFn_THFTYPE_i: $i ).

thf(tp_lTasteAttribute_THFTYPE_i,type,
    lTasteAttribute_THFTYPE_i: $i ).

thf(tp_lTasting_THFTYPE_i,type,
    lTasting_THFTYPE_i: $i ).

thf(tp_lTemperatureMeasure_THFTYPE_i,type,
    lTemperatureMeasure_THFTYPE_i: $i ).

thf(tp_lTemporalCompositionFn_THFTYPE_IiiiI,type,
    lTemporalCompositionFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lTemporalCompositionFn_THFTYPE_i,type,
    lTemporalCompositionFn_THFTYPE_i: $i ).

thf(tp_lTemporalRelation_THFTYPE_i,type,
    lTemporalRelation_THFTYPE_i: $i ).

thf(tp_lTemporaryResidence_THFTYPE_i,type,
    lTemporaryResidence_THFTYPE_i: $i ).

thf(tp_lTeraFn_THFTYPE_IiiI,type,
    lTeraFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lTeraFn_THFTYPE_i,type,
    lTeraFn_THFTYPE_i: $i ).

thf(tp_lTerminalNodeFn_THFTYPE_IiiI,type,
    lTerminalNodeFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lTerminalNodeFn_THFTYPE_i,type,
    lTerminalNodeFn_THFTYPE_i: $i ).

thf(tp_lTerminatingEmployment_THFTYPE_i,type,
    lTerminatingEmployment_THFTYPE_i: $i ).

thf(tp_lTernaryFunction_THFTYPE_i,type,
    lTernaryFunction_THFTYPE_i: $i ).

thf(tp_lTernaryPredicate_THFTYPE_i,type,
    lTernaryPredicate_THFTYPE_i: $i ).

thf(tp_lTernaryRelation_THFTYPE_i,type,
    lTernaryRelation_THFTYPE_i: $i ).

thf(tp_lTesla_THFTYPE_i,type,
    lTesla_THFTYPE_i: $i ).

thf(tp_lText_THFTYPE_i,type,
    lText_THFTYPE_i: $i ).

thf(tp_lTextureAttribute_THFTYPE_i,type,
    lTextureAttribute_THFTYPE_i: $i ).

thf(tp_lTherapeuticProcess_THFTYPE_i,type,
    lTherapeuticProcess_THFTYPE_i: $i ).

thf(tp_lThreeDimensionalFigure_THFTYPE_i,type,
    lThreeDimensionalFigure_THFTYPE_i: $i ).

thf(tp_lThursday_THFTYPE_i,type,
    lThursday_THFTYPE_i: $i ).

thf(tp_lTimeDependentQuantity_THFTYPE_i,type,
    lTimeDependentQuantity_THFTYPE_i: $i ).

thf(tp_lTimeDuration_THFTYPE_i,type,
    lTimeDuration_THFTYPE_i: $i ).

thf(tp_lTimeIntervalFn_THFTYPE_IiiiI,type,
    lTimeIntervalFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lTimeIntervalFn_THFTYPE_i,type,
    lTimeIntervalFn_THFTYPE_i: $i ).

thf(tp_lTimeInterval_THFTYPE_i,type,
    lTimeInterval_THFTYPE_i: $i ).

thf(tp_lTimeMeasure_THFTYPE_i,type,
    lTimeMeasure_THFTYPE_i: $i ).

thf(tp_lTimePoint_THFTYPE_i,type,
    lTimePoint_THFTYPE_i: $i ).

thf(tp_lTimePosition_THFTYPE_i,type,
    lTimePosition_THFTYPE_i: $i ).

thf(tp_lTimeZone_THFTYPE_i,type,
    lTimeZone_THFTYPE_i: $i ).

thf(tp_lTissue_THFTYPE_i,type,
    lTissue_THFTYPE_i: $i ).

thf(tp_lTotalOrderingRelation_THFTYPE_i,type,
    lTotalOrderingRelation_THFTYPE_i: $i ).

thf(tp_lTotalValuedRelation_THFTYPE_i,type,
    lTotalValuedRelation_THFTYPE_i: $i ).

thf(tp_lTouching_THFTYPE_i,type,
    lTouching_THFTYPE_i: $i ).

thf(tp_lTraitAttribute_THFTYPE_i,type,
    lTraitAttribute_THFTYPE_i: $i ).

thf(tp_lTransaction_THFTYPE_i,type,
    lTransaction_THFTYPE_i: $i ).

thf(tp_lTransfer_THFTYPE_i,type,
    lTransfer_THFTYPE_i: $i ).

thf(tp_lTransitiveRelation_THFTYPE_i,type,
    lTransitiveRelation_THFTYPE_i: $i ).

thf(tp_lTransitway_THFTYPE_i,type,
    lTransitway_THFTYPE_i: $i ).

thf(tp_lTranslating_THFTYPE_i,type,
    lTranslating_THFTYPE_i: $i ).

thf(tp_lTranslocation_THFTYPE_i,type,
    lTranslocation_THFTYPE_i: $i ).

thf(tp_lTransportationDevice_THFTYPE_i,type,
    lTransportationDevice_THFTYPE_i: $i ).

thf(tp_lTransportation_THFTYPE_i,type,
    lTransportation_THFTYPE_i: $i ).

thf(tp_lTree_THFTYPE_i,type,
    lTree_THFTYPE_i: $i ).

thf(tp_lTrichotomizingRelation_THFTYPE_i,type,
    lTrichotomizingRelation_THFTYPE_i: $i ).

thf(tp_lTruthValue_THFTYPE_i,type,
    lTruthValue_THFTYPE_i: $i ).

thf(tp_lTuesday_THFTYPE_i,type,
    lTuesday_THFTYPE_i: $i ).

thf(tp_lTwoDimensionalAngle_THFTYPE_i,type,
    lTwoDimensionalAngle_THFTYPE_i: $i ).

thf(tp_lTwoDimensionalFigure_THFTYPE_i,type,
    lTwoDimensionalFigure_THFTYPE_i: $i ).

thf(tp_lUnaryConstantFunctionQuantity_THFTYPE_i,type,
    lUnaryConstantFunctionQuantity_THFTYPE_i: $i ).

thf(tp_lUnaryFunction_THFTYPE_i,type,
    lUnaryFunction_THFTYPE_i: $i ).

thf(tp_lUnconscious_THFTYPE_i,type,
    lUnconscious_THFTYPE_i: $i ).

thf(tp_lUncovering_THFTYPE_i,type,
    lUncovering_THFTYPE_i: $i ).

thf(tp_lUnemployed_THFTYPE_i,type,
    lUnemployed_THFTYPE_i: $i ).

thf(tp_lUngrasping_THFTYPE_i,type,
    lUngrasping_THFTYPE_i: $i ).

thf(tp_lUnilateralGetting_THFTYPE_i,type,
    lUnilateralGetting_THFTYPE_i: $i ).

thf(tp_lUnilateralGiving_THFTYPE_i,type,
    lUnilateralGiving_THFTYPE_i: $i ).

thf(tp_lUnilluminated_THFTYPE_i,type,
    lUnilluminated_THFTYPE_i: $i ).

thf(tp_lUnionFn_THFTYPE_IiiiI,type,
    lUnionFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lUnionFn_THFTYPE_i,type,
    lUnionFn_THFTYPE_i: $i ).

thf(tp_lUniqueList_THFTYPE_i,type,
    lUniqueList_THFTYPE_i: $i ).

thf(tp_lUnitFn_THFTYPE_IiiI,type,
    lUnitFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lUnitFn_THFTYPE_i,type,
    lUnitFn_THFTYPE_i: $i ).

thf(tp_lUnitOfAngularMeasure_THFTYPE_i,type,
    lUnitOfAngularMeasure_THFTYPE_i: $i ).

thf(tp_lUnitOfArea_THFTYPE_i,type,
    lUnitOfArea_THFTYPE_i: $i ).

thf(tp_lUnitOfAtmosphericPressure_THFTYPE_i,type,
    lUnitOfAtmosphericPressure_THFTYPE_i: $i ).

thf(tp_lUnitOfCurrency_THFTYPE_i,type,
    lUnitOfCurrency_THFTYPE_i: $i ).

thf(tp_lUnitOfDuration_THFTYPE_i,type,
    lUnitOfDuration_THFTYPE_i: $i ).

thf(tp_lUnitOfFrequency_THFTYPE_i,type,
    lUnitOfFrequency_THFTYPE_i: $i ).

thf(tp_lUnitOfInformation_THFTYPE_i,type,
    lUnitOfInformation_THFTYPE_i: $i ).

thf(tp_lUnitOfLength_THFTYPE_i,type,
    lUnitOfLength_THFTYPE_i: $i ).

thf(tp_lUnitOfMass_THFTYPE_i,type,
    lUnitOfMass_THFTYPE_i: $i ).

thf(tp_lUnitOfMeasureMultiplier_THFTYPE_i,type,
    lUnitOfMeasureMultiplier_THFTYPE_i: $i ).

thf(tp_lUnitOfMeasure_THFTYPE_i,type,
    lUnitOfMeasure_THFTYPE_i: $i ).

thf(tp_lUnitOfTemperature_THFTYPE_i,type,
    lUnitOfTemperature_THFTYPE_i: $i ).

thf(tp_lUnitOfVolume_THFTYPE_i,type,
    lUnitOfVolume_THFTYPE_i: $i ).

thf(tp_lUnitedKingdomGallon_THFTYPE_i,type,
    lUnitedKingdomGallon_THFTYPE_i: $i ).

thf(tp_lUnitedStatesCent_THFTYPE_i,type,
    lUnitedStatesCent_THFTYPE_i: $i ).

thf(tp_lUnitedStatesDollar_THFTYPE_i,type,
    lUnitedStatesDollar_THFTYPE_i: $i ).

thf(tp_lUnitedStatesGallon_THFTYPE_i,type,
    lUnitedStatesGallon_THFTYPE_i: $i ).

thf(tp_lUnlikely_THFTYPE_i,type,
    lUnlikely_THFTYPE_i: $i ).

thf(tp_lValidDeductiveArgument_THFTYPE_i,type,
    lValidDeductiveArgument_THFTYPE_i: $i ).

thf(tp_lVariableArityRelation_THFTYPE_i,type,
    lVariableArityRelation_THFTYPE_i: $i ).

thf(tp_lVehicle_THFTYPE_i,type,
    lVehicle_THFTYPE_i: $i ).

thf(tp_lVelocityFn_THFTYPE_IiiiiiI,type,
    lVelocityFn_THFTYPE_IiiiiiI: $i > $i > $i > $i > $i ).

thf(tp_lVelocityFn_THFTYPE_i,type,
    lVelocityFn_THFTYPE_i: $i ).

thf(tp_lVerbPhrase_THFTYPE_i,type,
    lVerbPhrase_THFTYPE_i: $i ).

thf(tp_lVerb_THFTYPE_i,type,
    lVerb_THFTYPE_i: $i ).

thf(tp_lVertebrate_THFTYPE_i,type,
    lVertebrate_THFTYPE_i: $i ).

thf(tp_lVertical_THFTYPE_i,type,
    lVertical_THFTYPE_i: $i ).

thf(tp_lViolentContest_THFTYPE_i,type,
    lViolentContest_THFTYPE_i: $i ).

thf(tp_lVirus_THFTYPE_i,type,
    lVirus_THFTYPE_i: $i ).

thf(tp_lVisualAttribute_THFTYPE_i,type,
    lVisualAttribute_THFTYPE_i: $i ).

thf(tp_lVitamin_THFTYPE_i,type,
    lVitamin_THFTYPE_i: $i ).

thf(tp_lVocalCords_THFTYPE_i,type,
    lVocalCords_THFTYPE_i: $i ).

thf(tp_lVocalizing_THFTYPE_i,type,
    lVocalizing_THFTYPE_i: $i ).

thf(tp_lVolt_THFTYPE_i,type,
    lVolt_THFTYPE_i: $i ).

thf(tp_lVolumeMeasure_THFTYPE_i,type,
    lVolumeMeasure_THFTYPE_i: $i ).

thf(tp_lVoting_THFTYPE_i,type,
    lVoting_THFTYPE_i: $i ).

thf(tp_lWalking_THFTYPE_i,type,
    lWalking_THFTYPE_i: $i ).

thf(tp_lWar_THFTYPE_i,type,
    lWar_THFTYPE_i: $i ).

thf(tp_lWarmBloodedVertebrate_THFTYPE_i,type,
    lWarmBloodedVertebrate_THFTYPE_i: $i ).

thf(tp_lWarranty_THFTYPE_i,type,
    lWarranty_THFTYPE_i: $i ).

thf(tp_lWaterArea_THFTYPE_i,type,
    lWaterArea_THFTYPE_i: $i ).

thf(tp_lWaterCloud_THFTYPE_i,type,
    lWaterCloud_THFTYPE_i: $i ).

thf(tp_lWaterMotion_THFTYPE_i,type,
    lWaterMotion_THFTYPE_i: $i ).

thf(tp_lWater_THFTYPE_i,type,
    lWater_THFTYPE_i: $i ).

thf(tp_lWatt_THFTYPE_i,type,
    lWatt_THFTYPE_i: $i ).

thf(tp_lWealthFn_THFTYPE_IiiI,type,
    lWealthFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lWealthFn_THFTYPE_i,type,
    lWealthFn_THFTYPE_i: $i ).

thf(tp_lWeapon_THFTYPE_i,type,
    lWeapon_THFTYPE_i: $i ).

thf(tp_lWearableItem_THFTYPE_i,type,
    lWearableItem_THFTYPE_i: $i ).

thf(tp_lWeatherProcess_THFTYPE_i,type,
    lWeatherProcess_THFTYPE_i: $i ).

thf(tp_lWeber_THFTYPE_i,type,
    lWeber_THFTYPE_i: $i ).

thf(tp_lWedding_THFTYPE_i,type,
    lWedding_THFTYPE_i: $i ).

thf(tp_lWednesday_THFTYPE_i,type,
    lWednesday_THFTYPE_i: $i ).

thf(tp_lWeekDuration_THFTYPE_i,type,
    lWeekDuration_THFTYPE_i: $i ).

thf(tp_lWeek_THFTYPE_i,type,
    lWeek_THFTYPE_i: $i ).

thf(tp_lWest_THFTYPE_i,type,
    lWest_THFTYPE_i: $i ).

thf(tp_lWet_THFTYPE_i,type,
    lWet_THFTYPE_i: $i ).

thf(tp_lWetting_THFTYPE_i,type,
    lWetting_THFTYPE_i: $i ).

thf(tp_lWhenFn_THFTYPE_IiiI,type,
    lWhenFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lWhenFn_THFTYPE_i,type,
    lWhenFn_THFTYPE_i: $i ).

thf(tp_lWhereFn_THFTYPE_IiiiI,type,
    lWhereFn_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_lWhereFn_THFTYPE_i,type,
    lWhereFn_THFTYPE_i: $i ).

thf(tp_lWhite_THFTYPE_i,type,
    lWhite_THFTYPE_i: $i ).

thf(tp_lWind_THFTYPE_i,type,
    lWind_THFTYPE_i: $i ).

thf(tp_lWoman_THFTYPE_i,type,
    lWoman_THFTYPE_i: $i ).

thf(tp_lWord_THFTYPE_i,type,
    lWord_THFTYPE_i: $i ).

thf(tp_lWorm_THFTYPE_i,type,
    lWorm_THFTYPE_i: $i ).

thf(tp_lWriting_THFTYPE_i,type,
    lWriting_THFTYPE_i: $i ).

thf(tp_lYearDuration_THFTYPE_i,type,
    lYearDuration_THFTYPE_i: $i ).

thf(tp_lYearFn_THFTYPE_IiiI,type,
    lYearFn_THFTYPE_IiiI: $i > $i ).

thf(tp_lYearFn_THFTYPE_i,type,
    lYearFn_THFTYPE_i: $i ).

thf(tp_lYear_THFTYPE_i,type,
    lYear_THFTYPE_i: $i ).

thf(tp_lYellow_THFTYPE_i,type,
    lYellow_THFTYPE_i: $i ).

thf(tp_larger_THFTYPE_IiioI,type,
    larger_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_leader_THFTYPE_IiioI,type,
    leader_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_legalRelation_THFTYPE_IiioI,type,
    legalRelation_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_length_THFTYPE_IiioI,type,
    length_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_lessThanOrEqualTo_THFTYPE_IiioI,type,
    lessThanOrEqualTo_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_lessThan_THFTYPE_IiioI,type,
    lessThan_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_likes_THFTYPE_IiioI,type,
    likes_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_lineMeasure_THFTYPE_i,type,
    lineMeasure_THFTYPE_i: $i ).

thf(tp_linearExtent_THFTYPE_IiioI,type,
    linearExtent_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_links_THFTYPE_IiiioI,type,
    links_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_located_THFTYPE_IiioI,type,
    located_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_lt_THFTYPE_IiioI,type,
    lt_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_ltet_THFTYPE_IiioI,type,
    ltet_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_manner_THFTYPE_IiioI,type,
    manner_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_material_THFTYPE_IiioI,type,
    material_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_measure_THFTYPE_IiioI,type,
    measure_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_meetsSpatially_THFTYPE_IiioI,type,
    meetsSpatially_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_meetsTemporally_THFTYPE_IiioI,type,
    meetsTemporally_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_meltingPoint_THFTYPE_IiioI,type,
    meltingPoint_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_member_THFTYPE_IiioI,type,
    member_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_minus1_THFTYPE_i,type,
    minus1_THFTYPE_i: $i ).

thf(tp_minus_THFTYPE_IiiiI,type,
    minus_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_modalAttribute_THFTYPE_IoioI,type,
    modalAttribute_THFTYPE_IoioI: $o > $i > $o ).

thf(tp_monetaryValue_THFTYPE_IiioI,type,
    monetaryValue_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_mother_THFTYPE_IiioI,type,
    mother_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_multiplicativeFactor_THFTYPE_IiioI,type,
    multiplicativeFactor_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_mutualAcquaintance_THFTYPE_i,type,
    mutualAcquaintance_THFTYPE_i: $i ).

thf(tp_n0_THFTYPE_i,type,
    n0_THFTYPE_i: $i ).

thf(tp_n0dot000000000001_THFTYPE_i,type,
    n0dot000000000001_THFTYPE_i: $i ).

thf(tp_n0dot000000001_THFTYPE_i,type,
    n0dot000000001_THFTYPE_i: $i ).

thf(tp_n0dot000001_THFTYPE_i,type,
    n0dot000001_THFTYPE_i: $i ).

thf(tp_n0dot001_THFTYPE_i,type,
    n0dot001_THFTYPE_i: $i ).

thf(tp_n0dot01_THFTYPE_i,type,
    n0dot01_THFTYPE_i: $i ).

thf(tp_n0dot0254_THFTYPE_i,type,
    n0dot0254_THFTYPE_i: $i ).

thf(tp_n0dot3048_THFTYPE_i,type,
    n0dot3048_THFTYPE_i: $i ).

thf(tp_n0dot5_THFTYPE_i,type,
    n0dot5_THFTYPE_i: $i ).

thf(tp_n1000000000000_THFTYPE_i,type,
    n1000000000000_THFTYPE_i: $i ).

thf(tp_n1000000000_THFTYPE_i,type,
    n1000000000_THFTYPE_i: $i ).

thf(tp_n1000000_THFTYPE_i,type,
    n1000000_THFTYPE_i: $i ).

thf(tp_n1000_THFTYPE_i,type,
    n1000_THFTYPE_i: $i ).

thf(tp_n100_THFTYPE_i,type,
    n100_THFTYPE_i: $i ).

thf(tp_n1024_THFTYPE_i,type,
    n1024_THFTYPE_i: $i ).

thf(tp_n1055dot05585262_THFTYPE_i,type,
    n1055dot05585262_THFTYPE_i: $i ).

thf(tp_n12_THFTYPE_i,type,
    n12_THFTYPE_i: $i ).

thf(tp_n14593dot90_THFTYPE_i,type,
    n14593dot90_THFTYPE_i: $i ).

thf(tp_n1609dot344_THFTYPE_i,type,
    n1609dot344_THFTYPE_i: $i ).

thf(tp_n180_THFTYPE_i,type,
    n180_THFTYPE_i: $i ).

thf(tp_n1_THFTYPE_i,type,
    n1_THFTYPE_i: $i ).

thf(tp_n1dot0Eminus10_THFTYPE_i,type,
    n1dot0Eminus10_THFTYPE_i: $i ).

thf(tp_n1dot60217733Eminus19_THFTYPE_i,type,
    n1dot60217733Eminus19_THFTYPE_i: $i ).

thf(tp_n1dot6605402Eminus24_THFTYPE_i,type,
    n1dot6605402Eminus24_THFTYPE_i: $i ).

thf(tp_n1dot8_THFTYPE_i,type,
    n1dot8_THFTYPE_i: $i ).

thf(tp_n2009_THFTYPE_i,type,
    n2009_THFTYPE_i: $i ).

thf(tp_n24_THFTYPE_i,type,
    n24_THFTYPE_i: $i ).

thf(tp_n273dot15_THFTYPE_i,type,
    n273dot15_THFTYPE_i: $i ).

thf(tp_n28_THFTYPE_i,type,
    n28_THFTYPE_i: $i ).

thf(tp_n29_THFTYPE_i,type,
    n29_THFTYPE_i: $i ).

thf(tp_n29dot92_THFTYPE_i,type,
    n29dot92_THFTYPE_i: $i ).

thf(tp_n2_THFTYPE_i,type,
    n2_THFTYPE_i: $i ).

thf(tp_n30_THFTYPE_i,type,
    n30_THFTYPE_i: $i ).

thf(tp_n31_THFTYPE_i,type,
    n31_THFTYPE_i: $i ).

thf(tp_n32_THFTYPE_i,type,
    n32_THFTYPE_i: $i ).

thf(tp_n360_THFTYPE_i,type,
    n360_THFTYPE_i: $i ).

thf(tp_n365_THFTYPE_i,type,
    n365_THFTYPE_i: $i ).

thf(tp_n3_THFTYPE_i,type,
    n3_THFTYPE_i: $i ).

thf(tp_n3dot785411784_THFTYPE_i,type,
    n3dot785411784_THFTYPE_i: $i ).

thf(tp_n400_THFTYPE_i,type,
    n400_THFTYPE_i: $i ).

thf(tp_n453dot59237_THFTYPE_i,type,
    n453dot59237_THFTYPE_i: $i ).

thf(tp_n4_THFTYPE_i,type,
    n4_THFTYPE_i: $i ).

thf(tp_n4dot1868_THFTYPE_i,type,
    n4dot1868_THFTYPE_i: $i ).

thf(tp_n4dot448222_THFTYPE_i,type,
    n4dot448222_THFTYPE_i: $i ).

thf(tp_n4dot54609_THFTYPE_i,type,
    n4dot54609_THFTYPE_i: $i ).

thf(tp_n5_THFTYPE_i,type,
    n5_THFTYPE_i: $i ).

thf(tp_n60_THFTYPE_i,type,
    n60_THFTYPE_i: $i ).

thf(tp_n6_THFTYPE_i,type,
    n6_THFTYPE_i: $i ).

thf(tp_n746_THFTYPE_i,type,
    n746_THFTYPE_i: $i ).

thf(tp_n7_THFTYPE_i,type,
    n7_THFTYPE_i: $i ).

thf(tp_n8_THFTYPE_i,type,
    n8_THFTYPE_i: $i ).

thf(tp_names_THFTYPE_IiioI,type,
    names_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_needs_THFTYPE_IiioI,type,
    needs_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_occupiesPosition_THFTYPE_IiiioI,type,
    occupiesPosition_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_orientation_THFTYPE_IiiioI,type,
    orientation_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_origin_THFTYPE_IiioI,type,
    origin_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_overlapsPartially_THFTYPE_IiioI,type,
    overlapsPartially_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_overlapsSpatially_THFTYPE_IiioI,type,
    overlapsSpatially_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_overlapsTemporally_THFTYPE_IiioI,type,
    overlapsTemporally_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_parallel_THFTYPE_IiioI,type,
    parallel_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_parent_THFTYPE_IiioI,type,
    parent_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_part_THFTYPE_IiioI,type,
    part_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_partialOrderingOn_THFTYPE_IIiioIioI,type,
    partialOrderingOn_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_partiallyFills_THFTYPE_IiioI,type,
    partiallyFills_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_partition_THFTYPE_IiiiiiiioI,type,
    partition_THFTYPE_IiiiiiiioI: $i > $i > $i > $i > $i > $i > $i > $o ).

thf(tp_partition_THFTYPE_IiiiiiioI,type,
    partition_THFTYPE_IiiiiiioI: $i > $i > $i > $i > $i > $i > $o ).

thf(tp_partition_THFTYPE_IiiiiioI,type,
    partition_THFTYPE_IiiiiioI: $i > $i > $i > $i > $i > $o ).

thf(tp_partition_THFTYPE_IiiiioI,type,
    partition_THFTYPE_IiiiioI: $i > $i > $i > $i > $o ).

thf(tp_partition_THFTYPE_IiiioI,type,
    partition_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_partition_THFTYPE_IioI,type,
    partition_THFTYPE_IioI: $i > $o ).

thf(tp_partlyLocated_THFTYPE_IiioI,type,
    partlyLocated_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_pathLength_THFTYPE_IiioI,type,
    pathLength_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_path_THFTYPE_IiioI,type,
    path_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_patient_THFTYPE_IiioI,type,
    patient_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_patient_THFTYPE_IiooI,type,
    patient_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_penetrates_THFTYPE_IiioI,type,
    penetrates_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_piece_THFTYPE_IiioI,type,
    piece_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_plus_THFTYPE_IiiiI,type,
    plus_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_pointOfFigure_THFTYPE_IiioI,type,
    pointOfFigure_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_pointOfIntersection_THFTYPE_IiiioI,type,
    pointOfIntersection_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_possesses_THFTYPE_IiioI,type,
    possesses_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_precondition_THFTYPE_IiioI,type,
    precondition_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_prefers_THFTYPE_IioooI,type,
    prefers_THFTYPE_IioooI: $i > $o > $o > $o ).

thf(tp_premise_THFTYPE_IoooI,type,
    premise_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_prevents_THFTYPE_IiioI,type,
    prevents_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_properPart_THFTYPE_IiioI,type,
    properPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_properlyFills_THFTYPE_IiioI,type,
    properlyFills_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_property_THFTYPE_IiioI,type,
    property_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_publishes_THFTYPE_IiioI,type,
    publishes_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_radius_THFTYPE_IiioI,type,
    radius_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_rangeSubclass_THFTYPE_IiioI,type,
    rangeSubclass_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_range_THFTYPE_IiioI,type,
    range_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_realization_THFTYPE_IiooI,type,
    realization_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_refers_THFTYPE_IiioI,type,
    refers_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_reflexiveOn_THFTYPE_IIiioIioI,type,
    reflexiveOn_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_relatedEvent_THFTYPE_IiioI,type,
    relatedEvent_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_relatedExternalConcept_THFTYPE_i,type,
    relatedExternalConcept_THFTYPE_i: $i ).

thf(tp_relatedInternalConcept_THFTYPE_IIIiioIIiioIoIIiioIoI,type,
    relatedInternalConcept_THFTYPE_IIIiioIIiioIoIIiioIoI: ( ( $i > $i > $o ) > ( $i > $i > $o ) > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiiIioI,type,
    relatedInternalConcept_THFTYPE_IIiiIioI: ( $i > $i ) > $i > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiiiIioI,type,
    relatedInternalConcept_THFTYPE_IIiiiIioI: ( $i > $i > $i ) > $i > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiiiiiioIIiioIoI,type,
    relatedInternalConcept_THFTYPE_IIiiiiiioIIiioIoI: ( $i > $i > $i > $i > $i > $i > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiioIIIoiIioIoI,type,
    relatedInternalConcept_THFTYPE_IIiioIIIoiIioIoI: ( $i > $i > $o ) > ( ( $o > $i ) > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiioIIiiiioIoI,type,
    relatedInternalConcept_THFTYPE_IIiioIIiiiioIoI: ( $i > $i > $o ) > ( $i > $i > $i > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiioIIiioIoI,type,
    relatedInternalConcept_THFTYPE_IIiioIIiioIoI: ( $i > $i > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiioIIiooIoI,type,
    relatedInternalConcept_THFTYPE_IIiioIIiooIoI: ( $i > $i > $o ) > ( $i > $o > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiioIioI,type,
    relatedInternalConcept_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiooIIiioIoI,type,
    relatedInternalConcept_THFTYPE_IIiooIIiioIoI: ( $i > $o > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIiooIIiooIoI,type,
    relatedInternalConcept_THFTYPE_IIiooIIiooIoI: ( $i > $o > $o ) > ( $i > $o > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIoiioIIoiioIoI,type,
    relatedInternalConcept_THFTYPE_IIoiioIIoiioIoI: ( $o > $i > $i > $o ) > ( $o > $i > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IIoioIIoioIoI,type,
    relatedInternalConcept_THFTYPE_IIoioIIoioIoI: ( $o > $i > $o ) > ( $o > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IiIiiIoI,type,
    relatedInternalConcept_THFTYPE_IiIiiIoI: $i > ( $i > $i ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IiIiiiIoI,type,
    relatedInternalConcept_THFTYPE_IiIiiiIoI: $i > ( $i > $i > $i ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IiIiioIoI,type,
    relatedInternalConcept_THFTYPE_IiIiioIoI: $i > ( $i > $i > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IiIiooIoI,type,
    relatedInternalConcept_THFTYPE_IiIiooIoI: $i > ( $i > $o > $o ) > $o ).

thf(tp_relatedInternalConcept_THFTYPE_IiioI,type,
    relatedInternalConcept_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_relative_THFTYPE_IiioI,type,
    relative_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_representsForAgent_THFTYPE_IiiioI,type,
    representsForAgent_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_representsInLanguage_THFTYPE_IiiioI,type,
    representsInLanguage_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_represents_THFTYPE_IiioI,type,
    represents_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_resource_THFTYPE_IiioI,type,
    resource_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_result_THFTYPE_IiioI,type,
    result_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_sibling_THFTYPE_IiioI,type,
    sibling_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_side_THFTYPE_IiioI,type,
    side_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_sister_THFTYPE_i,type,
    sister_THFTYPE_i: $i ).

thf(tp_smaller_THFTYPE_IiioI,type,
    smaller_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_son_THFTYPE_IiioI,type,
    son_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_spouse_THFTYPE_IiioI,type,
    spouse_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_starts_THFTYPE_IiioI,type,
    starts_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_stays_THFTYPE_i,type,
    stays_THFTYPE_i: $i ).

thf(tp_subAttribute_THFTYPE_IiioI,type,
    subAttribute_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subCollection_THFTYPE_IiioI,type,
    subCollection_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subGraph_THFTYPE_IiioI,type,
    subGraph_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subList_THFTYPE_IiioI,type,
    subList_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subOrganization_THFTYPE_IiioI,type,
    subOrganization_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subPlan_THFTYPE_i,type,
    subPlan_THFTYPE_i: $i ).

thf(tp_subProcess_THFTYPE_IiioI,type,
    subProcess_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subProposition_THFTYPE_IoooI,type,
    subProposition_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_subSystem_THFTYPE_IiioI,type,
    subSystem_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subclass_THFTYPE_IiioI,type,
    subclass_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subrelation_THFTYPE_IIiiioIIiiioIoI,type,
    subrelation_THFTYPE_IIiiioIIiiioIoI: ( $i > $i > $i > $o ) > ( $i > $i > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIiioIIIoiIioIoI,type,
    subrelation_THFTYPE_IIiioIIIoiIioIoI: ( $i > $i > $o ) > ( ( $o > $i ) > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIiioIIIooIioIoI,type,
    subrelation_THFTYPE_IIiioIIIooIioIoI: ( $i > $i > $o ) > ( ( $o > $o ) > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIiioIIiioIoI,type,
    subrelation_THFTYPE_IIiioIIiioIoI: ( $i > $i > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIiioIIiooIoI,type,
    subrelation_THFTYPE_IIiioIIiooIoI: ( $i > $i > $o ) > ( $i > $o > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIiioIioI,type,
    subrelation_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_subrelation_THFTYPE_IIioIIioIoI,type,
    subrelation_THFTYPE_IIioIIioIoI: ( $i > $o ) > ( $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIiooIIiioIoI,type,
    subrelation_THFTYPE_IIiooIIiioIoI: ( $i > $o > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIoioIIiioIoI,type,
    subrelation_THFTYPE_IIoioIIiioIoI: ( $o > $i > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IIoooIIiioIoI,type,
    subrelation_THFTYPE_IIoooIIiioIoI: ( $o > $o > $o ) > ( $i > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IiIiioIoI,type,
    subrelation_THFTYPE_IiIiioIoI: $i > ( $i > $i > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IiIoooIoI,type,
    subrelation_THFTYPE_IiIoooIoI: $i > ( $o > $o > $o ) > $o ).

thf(tp_subrelation_THFTYPE_IiioI,type,
    subrelation_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subset_THFTYPE_IiioI,type,
    subset_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subsumedExternalConcept_THFTYPE_i,type,
    subsumedExternalConcept_THFTYPE_i: $i ).

thf(tp_subsumesContentClass_THFTYPE_IiioI,type,
    subsumesContentClass_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subsumesContentInstance_THFTYPE_IiioI,type,
    subsumesContentInstance_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_subsumesContentInstance_THFTYPE_IiooI,type,
    subsumesContentInstance_THFTYPE_IiooI: $i > $o > $o ).

thf(tp_subsumingExternalConcept_THFTYPE_i,type,
    subsumingExternalConcept_THFTYPE_i: $i ).

thf(tp_successorAttributeClosure_THFTYPE_IiioI,type,
    successorAttributeClosure_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_successorAttribute_THFTYPE_IiioI,type,
    successorAttribute_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_superficialPart_THFTYPE_IiioI,type,
    superficialPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_surface_THFTYPE_IiioI,type,
    surface_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_synonymousExternalConcept_THFTYPE_i,type,
    synonymousExternalConcept_THFTYPE_i: $i ).

thf(tp_systemPart_THFTYPE_IiioI,type,
    systemPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_temporalPart_THFTYPE_IiioI,type,
    temporalPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_temporallyBetweenOrEqual_THFTYPE_IiiioI,type,
    temporallyBetweenOrEqual_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_temporallyBetween_THFTYPE_IiiioI,type,
    temporallyBetween_THFTYPE_IiiioI: $i > $i > $i > $o ).

thf(tp_time_THFTYPE_IiioI,type,
    time_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_times_THFTYPE_IiiiI,type,
    times_THFTYPE_IiiiI: $i > $i > $i ).

thf(tp_top_THFTYPE_IiioI,type,
    top_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_totalOrderingOn_THFTYPE_IIiioIioI,type,
    totalOrderingOn_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_transactionAmount_THFTYPE_IiioI,type,
    transactionAmount_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_traverses_THFTYPE_IiioI,type,
    traverses_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_trichotomizingOn_THFTYPE_IIiioIioI,type,
    trichotomizingOn_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_truth_THFTYPE_IoooI,type,
    truth_THFTYPE_IoooI: $o > $o > $o ).

thf(tp_typicalPart_THFTYPE_IiioI,type,
    typicalPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_typicallyContainsPart_THFTYPE_IiioI,type,
    typicallyContainsPart_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_uniqueIdentifier_THFTYPE_i,type,
    uniqueIdentifier_THFTYPE_i: $i ).

thf(tp_uses_THFTYPE_IiioI,type,
    uses_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_valence_THFTYPE_IIiioIioI,type,
    valence_THFTYPE_IIiioIioI: ( $i > $i > $o ) > $i > $o ).

thf(tp_valence_THFTYPE_IIioIioI,type,
    valence_THFTYPE_IIioIioI: ( $i > $o ) > $i > $o ).

thf(tp_valence_THFTYPE_IiioI,type,
    valence_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_version_THFTYPE_IiioI,type,
    version_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_wants_THFTYPE_IiioI,type,
    wants_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_wears_THFTYPE_IiioI,type,
    wears_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_weight_THFTYPE_i,type,
    weight_THFTYPE_i: $i ).

thf(tp_width_THFTYPE_IiioI,type,
    width_THFTYPE_IiioI: $i > $i > $o ).

thf(tp_wife_THFTYPE_IiioI,type,
    wife_THFTYPE_IiioI: $i > $i > $o ).

thf(1,axiom,
    ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
    @ ( ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i )
      & ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i ) ) ),
    file('/export/starexec/sandbox2/benchmark/theBenchmark.p',ax) ).

thf(3579,conjecture,
    ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
    @ ( ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
      & ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) ),
    file('/export/starexec/sandbox2/benchmark/theBenchmark.p',con) ).

thf(3580,negated_conjecture,
    ( ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
      @ ( ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
        & ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) )
    = $false ),
    inference(negate_conjecture,[status(cth)],[3579]) ).

thf(3581,plain,
    ( ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
      @ ( ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
        & ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) )
    = $false ),
    inference(unfold_def,[status(thm)],[3580]) ).

thf(3582,plain,
    ( ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
      @ ( ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i )
        & ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i ) ) )
    = $true ),
    inference(unfold_def,[status(thm)],[1]) ).

thf(3588,plain,
    ( ( ~ ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
          @ ( ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
            & ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) ) )
    = $true ),
    inference(polarity_switch,[status(thm)],[3581]) ).

thf(3594,plain,
    ( ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
      @ ( ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i )
        & ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i ) ) )
    = $true ),
    inference(copy,[status(thm)],[3582]) ).

thf(3595,plain,
    ( ( ~ ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
          @ ( ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
            & ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) ) )
    = $true ),
    inference(copy,[status(thm)],[3588]) ).

thf(3596,plain,
    ( ( ~ ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
          @ ~ ( ~ ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
              | ~ ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) ) )
    = $true ),
    inference(unfold_def,[status(thm)],[3595]) ).

thf(3598,plain,
    ( ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
      @ ~ ( ~ ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i )
          | ~ ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i ) ) )
    = $true ),
    inference(unfold_def,[status(thm)],[3594]) ).

thf(3603,plain,
    ( ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
      @ ~ ( ~ ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
          | ~ ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) )
    = $false ),
    inference(extcnf_not_pos,[status(thm)],[3596]) ).

thf(3779,plain,
    ( ( ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
        @ ~ ( ~ ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i )
            | ~ ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i ) ) )
      = ( holdsDuring_THFTYPE_IiooI @ ( lYearFn_THFTYPE_IiiI @ n2009_THFTYPE_i )
        @ ~ ( ~ ( likes_THFTYPE_IiioI @ lMary_THFTYPE_i @ lBill_THFTYPE_i )
            | ~ ( likes_THFTYPE_IiioI @ lSue_THFTYPE_i @ lBill_THFTYPE_i ) ) ) )
    = $false ),
    inference(res,[status(thm)],[3603,3598]) ).

thf(3780,plain,
    $false = $true,
    inference(extuni,[status(esa)],[3779]) ).

thf(3781,plain,
    $false,
    inference(solved_all_splits,[solved_all_splits(join,[])],[3780]) ).

%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03  % Problem  : CSR151^3 : TPTP v9.3.1. Released v5.3.0.
% 0.00/0.05  % Command  : leo --cores 7 --timeout 300 --proofoutput 1 --foatp e --atp e=/export/starexec/sandbox2/solver/bin/eprover /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.11/0.19  % Computer : n017.cluster.edu
% 0.11/0.19  % Model    : x86_64 x86_64
% 0.11/0.19  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.19  % Memory   : 8046.5625MB
% 0.11/0.19  % OS       : Linux 6.8.0-71-generic
% 0.11/0.19  % CPULimit : 300
% 0.11/0.19  % WCLimit  : 300
% 0.11/0.19  % DateTime : Tue Oct  6 18:51:31 UTC 2026
% 0.11/0.19  % CPUTime  : 
% 0.11/0.19  Running leo --cores 7 --timeout 300 --proofoutput 1 --foatp e --atp e=/export/starexec/sandbox2/solver/bin/eprover /export/starexec/sandbox2/benchmark/theBenchmark.p
% 7.28/1.46  ..............
% 7.28/1.46  
% 7.28/1.46   No.of.Axioms: 6
% 7.28/1.46  
% 7.28/1.46   Length.of.Defs: 0
% 7.28/1.46  
% 7.28/1.46   Contains.Choice.Funs: true
% 7.28/1.46  ....................
% 7.28/1.46  
% 7.28/1.46  ********************************
% 7.28/1.46  *   All subproblems solved!    *
% 7.28/1.46  ********************************
% 7.28/1.46  % SZS status Theorem for /export/starexec/sandbox2/benchmark/theBenchmark.p : (rf:1,axioms:6,ps:0,u:6,ude:true,rLeibEQ:true,rAndEQ:true,use_choice:true,use_extuni:true,use_extcnf_combined:false,expand_extuni:false,foatp:e,atp_timeout:25,atp_calls_frequency:5,ordering:none,proof_output:1,protocol_output:false,clause_count:3780,loop_count:2,foatp_calls:2,translation:fof_full)
% 7.28/1.46  
% 7.28/1.46  %**** Beginning of derivation protocol ****
% 7.28/1.46  % SZS output start CNFRefutation
% See solution above
% 7.28/1.46  
% 7.28/1.46  %**** End of derivation protocol ****
% 7.28/1.46  %**** no. of clauses in derivation: 14 ****
% 7.28/1.46  %**** clause counter: 3780 ****
% 7.28/1.46  
% 7.28/1.46  % SZS status Theorem for /export/starexec/sandbox2/benchmark/theBenchmark.p : (rf:1,axioms:6,ps:0,u:6,ude:true,rLeibEQ:true,rAndEQ:true,use_choice:true,use_extuni:true,use_extcnf_combined:false,expand_extuni:false,foatp:e,atp_timeout:25,atp_calls_frequency:5,ordering:none,proof_output:1,protocol_output:false,clause_count:3780,loop_count:2,foatp_calls:2,translation:fof_full)
%------------------------------------------------------------------------------