Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - equal
equal

appearance as argument number 1
-------------------------


s__documentation(s__equal__m,s__ChineseLanguage,'"假如 ?ENTITY1 等于 ?ENTITY2的话，那么 (equal ?ENTITY1 ?ENTITY2) 就是真的。"')

 chinese_format.kif 1391-1392
s__documentation(s__equal__m,s__EnglishLanguage,'"(equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2."')

 Merge.kif 255-256
s__domain(s__equal__m,n__1,s__Entity)

 Merge.kif 253-253 The number 1 argument of equal is an instance of entity
s__domain(s__equal__m,n__2,s__Entity)

 Merge.kif 254-254 The number 2 argument of equal is an instance of entity
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__equal__m,s__BinaryPredicate)

 Merge.kif 250-250 equal is an instance of binary predicate
s__instance(s__EquivalenceRelation,s__SetOrClass)

s__instance(s__equal__m,s__EquivalenceRelation)

 Merge.kif 251-251 equal is an instance of equivalence relation
s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

s__instance(s__equal__m,s__RelationExtendedToQuantities)

 Merge.kif 252-252 equal is an instance of relation extended to quantities

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__equal__m,'"%1 %n equal %2"')

 chinese_format.kif 297-297
s__format(s__EnglishLanguage,s__equal__m,'"%1 is %n equal to %2"')

 english_format.kif 305-305
s__termFormat(s__ChineseLanguage,s__equal__m,'"等于"')

 chinese_format.kif 298-298
s__termFormat(s__ChineseTraditionalLanguage,s__equal__m,'"等於"')

 domainEnglishFormat.kif 22242-22242
s__termFormat(s__EnglishLanguage,s__equal__m,'"equal"')

 domainEnglishFormat.kif 22241-22241

antecedent
-------------------------


( ! [V__NUMBER1,V__NUMBER2] :
   ((((s__AbsoluteValueFn(V__NUMBER1)
         = V__NUMBER2)
       &
       s__instance(V__NUMBER1,s__RealNumber) &
       s__instance(V__NUMBER2,s__RealNumber))
     =>
     ((s__instance(V__NUMBER1,s__NonnegativeRealNumber) &
         (V__NUMBER1 = V__NUMBER2))
       |
       (s__instance(V__NUMBER1,s__NegativeRealNumber) &
         (V__NUMBER2 = s__SubtractionFn(n__0,V__NUMBER1)))))
&
(((s__instance(V__NUMBER1,s__NonnegativeRealNumber) &
       (V__NUMBER1 = V__NUMBER2))
     |
     (s__instance(V__NUMBER1,s__NegativeRealNumber) &
       (V__NUMBER2 = s__SubtractionFn(n__0,V__NUMBER1))))
=>
((s__AbsoluteValueFn(V__NUMBER1)
   = V__NUMBER2)
&
s__instance(V__NUMBER1,s__RealNumber) &
s__instance(V__NUMBER2,s__RealNumber)))
)
)

 Merge.kif 4537-4548 The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0 and the real number)
( ! [V__LIST3,V__LIST1,V__LIST2] :
   ((s__instance(V__LIST3,s__List) &
       s__instance(V__LIST1,s__List) &
       s__instance(V__LIST2,s__List))
     =>
     (((V__LIST3 = s__ListConcatenateFn(V__LIST1,V__LIST2))
       &
       ~((V__LIST1 = s__NullList__m))
         &
         ~((V__LIST2 = s__NullList__m)))
         =>
         ( ! [V__NUMBER1, V__NUMBER2] :
           ((s__lessThanOrEqualTo(V__NUMBER1,s__ListLengthFn(V__LIST1))
           &
           s__lessThanOrEqualTo(V__NUMBER2,s__ListLengthFn(V__LIST2))
       &
       s__instance(V__NUMBER1,s__PositiveInteger) &
       s__instance(V__NUMBER2,s__PositiveInteger))
     =>
     ((s__ListOrderFn(V__LIST3,V__NUMBER1)
       = s__ListOrderFn(V__LIST1,V__NUMBER1))
   &
   (s__ListOrderFn(V__LIST3,s__AdditionFn(s__ListLengthFn(V__LIST1)
  ,V__NUMBER2))
= s__ListOrderFn(V__LIST2,V__NUMBER2))))))
&
(( ! [V__NUMBER1, V__NUMBER2] :
((s__lessThanOrEqualTo(V__NUMBER1,s__ListLengthFn(V__LIST1))
&
s__lessThanOrEqualTo(V__NUMBER2,s__ListLengthFn(V__LIST2))
&
s__instance(V__NUMBER1,s__PositiveInteger) &
s__instance(V__NUMBER2,s__PositiveInteger))
=>
((s__ListOrderFn(V__LIST3,V__NUMBER1)
= s__ListOrderFn(V__LIST1,V__NUMBER1))
&
(s__ListOrderFn(V__LIST3,s__AdditionFn(s__ListLengthFn(V__LIST1)
,V__NUMBER2))
= s__ListOrderFn(V__LIST2,V__NUMBER2)))))
=>
((V__LIST3 = s__ListConcatenateFn(V__LIST1,V__LIST2))
&
~((V__LIST1 = s__NullList__m))
&
~((V__LIST2 = s__NullList__m))))
)
)

 Merge.kif 2972-2988 A list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list if and only if for all a positive integer and another positive integer
( ! [V__Agent,V__Account,V__Asset] :
   ((s__instance(V__Agent,s__CognitiveAgent) &
       s__instance(V__Asset,s__FinancialAsset) &
       s__instance(V__Asset,s__Object))
     =>
     ((s__instance(V__Account,s__FinancialAccount) &
         s__possesses(V__Agent,V__Asset)
       &
       (V__Account = s__AccountFn(V__Asset)))
   =>
   s__accountHolder(V__Account,V__Agent))
&
(s__accountHolder(V__Account,V__Agent)
=>
(s__instance(V__Account,s__FinancialAccount) &
s__possesses(V__Agent,V__Asset)
&
(V__Account = s__AccountFn(V__Asset))))
)
)

 FinancialOntology.kif 2251-2256 A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
( ! [V__AMOUNT,V__UNIT] :
   (s__instance(V__AMOUNT,s__PhysicalQuantity) =>
     ((s__instance(V__UNIT,s__UnitOfMeasure) &
         (V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))
   =>
   (V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
  ,s__MeasureFn(n__1,V__UNIT))))
&
((V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
,s__MeasureFn(n__1,V__UNIT)))
=>
(s__instance(V__UNIT,s__UnitOfMeasure) &
(V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT)))))
)
)

 Geography.kif 3761-3765 An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
( ! [V__LIST,V__ITEM] :
   (s__instance(V__LIST,s__List) =>
     ((s__LastFn(V__LIST)
       = V__ITEM)
     =>
     ( ? [V__NUMBER] :
       ((s__instance(V__NUMBER,s__PositiveInteger) &
           ((s__ListLengthFn(V__LIST)
             = V__NUMBER)
           &
           (s__ListOrderFn(V__LIST,V__NUMBER)
           = V__ITEM))))))
&
(( ? [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) &
       ((s__ListLengthFn(V__LIST)
         = V__NUMBER)
       &
       (s__ListOrderFn(V__LIST,V__NUMBER)
       = V__ITEM)))))
=>
(s__LastFn(V__LIST)
= V__ITEM))
)
)

 Mid-level-ontology.kif 6345-6350 The last of a list is equal to an entity if and only if there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 221-238 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 174-202 The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and a quantity) is equal to 1 and the population of the geopolitical area is equal to another quantity holds during the year the integer and the other quantity and 1000 is equal to a third quantity and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth quantity and the fourth quantity and the third quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 77-86 The population growth of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a quantity holds during the year the integer and the population of the geopolitical area is equal to another quantity holds during the year the other integer and the quantity and the other quantity is equal to a third quantity and (the third quantity and 1) is equal to the real number
( ! [V__NUMBER1,V__NUMBER2,V__NUMBER] :
   ((s__instance(V__NUMBER1,s__Integer) &
       s__instance(V__NUMBER2,s__Integer) &
       s__instance(V__NUMBER,s__Integer))
     =>
     ((s__RemainderFn(V__NUMBER1,V__NUMBER2)
       = V__NUMBER)
     =>
     (s__AdditionFn(s__MultiplicationFn(s__FloorFn(s__DivisionFn(V__NUMBER1,V__NUMBER2))
  ,V__NUMBER2)
,V__NUMBER)
= V__NUMBER1))
&
((s__AdditionFn(s__MultiplicationFn(s__FloorFn(s__DivisionFn(V__NUMBER1,V__NUMBER2))
,V__NUMBER2)
,V__NUMBER)
= V__NUMBER1)
=>
(s__RemainderFn(V__NUMBER1,V__NUMBER2)
= V__NUMBER))
)
)

 Merge.kif 4850-4852 An integer mod another integer is equal to a third integer if and only if (the largest integer less than or equal to the integer and the other integer and the other integer and the third integer) is equal to the integer
( ! [V__AMOUNT,V__PERSON] :
   ((s__instance(V__AMOUNT,s__CurrencyMeasure) &
       s__instance(V__PERSON,s__Agent))
     =>
     ((s__WealthFn(V__PERSON)
       = V__AMOUNT)
     =>
     s__monetaryValue(s__PropertyFn(V__PERSON)
  ,V__AMOUNT))
&
(s__monetaryValue(s__PropertyFn(V__PERSON)
,V__AMOUNT)
=>
(s__WealthFn(V__PERSON)
= V__AMOUNT))
)
)

 Merge.kif 7368-7370 Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 4048-4050 The place where a physical was at a time point is equal to a region if and only if the physical is exactly located in the region holds during the time point
( ! [V__Agent,V__Activity,V__ATIncome] :
   ((s__instance(V__Agent,s__Human) &
       s__instance(V__Activity,s__OrganizationalProcess) &
       s__instance(V__ATIncome,s__CurrencyMeasure))
     =>
     (( ? [V__Income, V__Tax, V__TaxAmount] :
         ((s__instance(V__Income,s__CurrencyMeasure) &
             s__instance(V__Tax,s__ChargingAFee) &
             s__instance(V__TaxAmount,s__CurrencyMeasure) &
             (s__incomeEarned(V__Agent,V__Income,V__Activity)
             &
             s__amountCharged(V__Tax,V__TaxAmount)
           &
           s__causes(V__Activity,V__Tax)
         &
         (V__ATIncome = s__SubtractionFn(V__Income,V__TaxAmount))))))
=>
s__afterTaxIncome(V__Agent,V__ATIncome,V__Activity))
&
(s__afterTaxIncome(V__Agent,V__ATIncome,V__Activity)
=>
( ? [V__Income, V__Tax, V__TaxAmount] :
((s__instance(V__Income,s__CurrencyMeasure) &
s__instance(V__Tax,s__ChargingAFee) &
s__instance(V__TaxAmount,s__CurrencyMeasure) &
(s__incomeEarned(V__Agent,V__Income,V__Activity)
&
s__amountCharged(V__Tax,V__TaxAmount)
&
s__causes(V__Activity,V__Tax)
&
(V__ATIncome = s__SubtractionFn(V__Income,V__TaxAmount)))))))
)
)

 FinancialOntology.kif 3229-3236 There exist a currency measure, a chargingA fee and the chargingA feeAmount such that a human is income earned the currency measure for an organizational process and the chargingA feeAmount is the amount charged in the chargingA fee and the organizational process causes the chargingA fee and a third currency measure is equal to (the currency measure and the chargingA feeAmount) if and only if the after tax income derived by the human from the organizational process is the third currency measure
( ! [V__Time,V__Option] :
   ((s__instance(V__Time,s__Agent) &
       s__instance(V__Time,s__TimePosition))
     =>
     (( ? [V__Stock, V__StockPrice, V__StrikePrice] :
         ((s__instance(V__Stock,s__FinancialInstrument) &
             s__instance(V__StockPrice,s__CurrencyMeasure) &
             s__instance(V__StrikePrice,s__CurrencyMeasure) &
             (s__instance(V__Option,s__Option) &
               s__underlier(V__Option,V__Stock)
             &
             s__price(V__Stock,V__StockPrice,V__Time)
           &
           s__strikePrice(V__Option,V__StrikePrice)
         &
         (V__StockPrice = V__StrikePrice)))))
=>
s__atTheMoney(V__Option,V__Time))
&
(s__atTheMoney(V__Option,V__Time)
=>
( ? [V__Stock, V__StockPrice, V__StrikePrice] :
((s__instance(V__Stock,s__FinancialInstrument) &
   s__instance(V__StockPrice,s__CurrencyMeasure) &
   s__instance(V__StrikePrice,s__CurrencyMeasure) &
   (s__instance(V__Option,s__Option) &
     s__underlier(V__Option,V__Stock)
   &
   s__price(V__Stock,V__StockPrice,V__Time)
&
s__strikePrice(V__Option,V__StrikePrice)
&
(V__StockPrice = V__StrikePrice))))))
)
)

 FinancialOntology.kif 2949-2957 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is equal to the other currency measure if and only if the agent is an at the money of the agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11688-11698
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   ((s__instance(V__REGION,s__GeographicArea) &
       s__instance(V__AMOUNT,s__ConstantQuantity) &
       s__instance(V__TOTAL,s__RealNumber) &
       s__instance(V__FRACTION,s__ConstantQuantity))
     =>
     (s__arableLandArea(V__REGION,V__FRACTION)
     &
     s__greaterThanOrEqualTo(V__FRACTION,n__0)
   &
   s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea) &
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))
=>
s__arableLandArea(V__REGION,V__AMOUNT)
)
)

 Geography.kif 2040-2047
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION] :
   ((s__instance(V__REGION,s__GeographicArea) &
       s__instance(V__AMOUNT,s__ConstantQuantity) &
       s__instance(V__FRACTION,s__ConstantQuantity))
     =>
     (s__arableLandArea(V__REGION,V__FRACTION)
     &
     s__greaterThanOrEqualTo(V__FRACTION,n__0)
   &
   s__totalArea(V__REGION,V__TOTAL)
&
s__instance(V__TOTAL,s__AreaMeasure) &
(V__AMOUNT = s__MultiplicationFn(V__FRACTION,V__TOTAL)))
=>
s__arableLandArea(V__REGION,V__AMOUNT)
)
)

 Geography.kif 2031-2038
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
( ! [V__O,V__P1,V__P2,V__S,V__PL,V__L] :
   ((s__instance(V__O,s__SelfConnectedObject) &
       s__instance(V__P1,s__Object) &
       s__instance(V__P2,s__Object) &
       s__instance(V__S,s__SelfConnectedObject) &
       s__instance(V__PL,s__Object) &
       s__instance(V__L,s__Object))
     =>
     (s__attribute(V__O,s__Concave) &
       s__surface(V__O,V__S)
     &
     s__part(V__P1,V__S)
   &
   s__part(V__P2,V__S)
&
(V__L = s__LineFn(V__P1,V__P2))
&
~((V__P1 = V__P2))
&
s__part(V__PL,V__L))
=>
s__orientation(V__PL,V__O,s__Outside) )
)

 ComputingBrands.kif 2666-2677
( ! [V__O,V__P1,V__P2,V__S,V__PL,V__L] :
   ((s__instance(V__O,s__SelfConnectedObject) &
       s__instance(V__P1,s__Object) &
       s__instance(V__P2,s__Object) &
       s__instance(V__S,s__SelfConnectedObject) &
       s__instance(V__PL,s__Object) &
       s__instance(V__L,s__Object))
     =>
     (s__attribute(V__O,s__Convex) &
       s__surface(V__O,V__S)
     &
     s__part(V__P1,V__S)
   &
   s__part(V__P2,V__S)
&
(V__L = s__LineFn(V__P1,V__P2))
&
~((V__P1 = V__P2))
&
s__part(V__PL,V__L))
=>
s__orientation(V__PL,V__O,s__Inside) )
)

 ComputingBrands.kif 2634-2645

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__NUMBER1,V__NUMBER2] :
   ((((s__AbsoluteValueFn(V__NUMBER1)
         = V__NUMBER2)
       &
       s__instance(V__NUMBER1,s__RealNumber) &
       s__instance(V__NUMBER2,s__RealNumber))
     =>
     ((s__instance(V__NUMBER1,s__NonnegativeRealNumber) &
         (V__NUMBER1 = V__NUMBER2))
       |
       (s__instance(V__NUMBER1,s__NegativeRealNumber) &
         (V__NUMBER2 = s__SubtractionFn(n__0,V__NUMBER1)))))
&
(((s__instance(V__NUMBER1,s__NonnegativeRealNumber) &
       (V__NUMBER1 = V__NUMBER2))
     |
     (s__instance(V__NUMBER1,s__NegativeRealNumber) &
       (V__NUMBER2 = s__SubtractionFn(n__0,V__NUMBER1))))
=>
((s__AbsoluteValueFn(V__NUMBER1)
   = V__NUMBER2)
&
s__instance(V__NUMBER1,s__RealNumber) &
s__instance(V__NUMBER2,s__RealNumber)))
)
)

 Merge.kif 4537-4548 The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0 and the real number)
( ! [V__LIST3,V__LIST1,V__LIST2] :
   ((s__instance(V__LIST3,s__List) &
       s__instance(V__LIST1,s__List) &
       s__instance(V__LIST2,s__List))
     =>
     (((V__LIST3 = s__ListConcatenateFn(V__LIST1,V__LIST2))
       &
       ~((V__LIST1 = s__NullList__m))
         &
         ~((V__LIST2 = s__NullList__m)))
         =>
         ( ! [V__NUMBER1, V__NUMBER2] :
           ((s__lessThanOrEqualTo(V__NUMBER1,s__ListLengthFn(V__LIST1))
           &
           s__lessThanOrEqualTo(V__NUMBER2,s__ListLengthFn(V__LIST2))
       &
       s__instance(V__NUMBER1,s__PositiveInteger) &
       s__instance(V__NUMBER2,s__PositiveInteger))
     =>
     ((s__ListOrderFn(V__LIST3,V__NUMBER1)
       = s__ListOrderFn(V__LIST1,V__NUMBER1))
   &
   (s__ListOrderFn(V__LIST3,s__AdditionFn(s__ListLengthFn(V__LIST1)
  ,V__NUMBER2))
= s__ListOrderFn(V__LIST2,V__NUMBER2))))))
&
(( ! [V__NUMBER1, V__NUMBER2] :
((s__lessThanOrEqualTo(V__NUMBER1,s__ListLengthFn(V__LIST1))
&
s__lessThanOrEqualTo(V__NUMBER2,s__ListLengthFn(V__LIST2))
&
s__instance(V__NUMBER1,s__PositiveInteger) &
s__instance(V__NUMBER2,s__PositiveInteger))
=>
((s__ListOrderFn(V__LIST3,V__NUMBER1)
= s__ListOrderFn(V__LIST1,V__NUMBER1))
&
(s__ListOrderFn(V__LIST3,s__AdditionFn(s__ListLengthFn(V__LIST1)
,V__NUMBER2))
= s__ListOrderFn(V__LIST2,V__NUMBER2)))))
=>
((V__LIST3 = s__ListConcatenateFn(V__LIST1,V__LIST2))
&
~((V__LIST1 = s__NullList__m))
&
~((V__LIST2 = s__NullList__m))))
)
)

 Merge.kif 2972-2988 A list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list if and only if for all a positive integer and another positive integer
( ! [V__ROW2] :
   (s__instance(V__ROW2,s__EngineeringComponent) =>
     ((s__instance(s__engineeringSubcomponent__m,s__TotalValuedRelation) &
         s__instance(s__engineeringSubcomponent__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__engineeringSubcomponent__m,s__Relation) &
               s__valence(s__engineeringSubcomponent__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__engineeringSubcomponent__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__EngineeringComponent) &
         s__engineeringSubcomponent(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__engineeringSubcomponent__m,s__Relation) &
s__valence(s__engineeringSubcomponent__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__engineeringSubcomponent__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__EngineeringComponent) &
s__engineeringSubcomponent(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__engineeringSubcomponent__m,s__TotalValuedRelation) &
s__instance(s__engineeringSubcomponent__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__smaller__m,s__TotalValuedRelation) &
         s__instance(s__smaller__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__smaller__m,s__Relation) &
               s__valence(s__smaller__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__smaller__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__smaller(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__smaller__m,s__Relation) &
s__valence(s__smaller__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__smaller__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__smaller(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__smaller__m,s__TotalValuedRelation) &
s__instance(s__smaller__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Motion) =>
     ((s__instance(s__path__m,s__TotalValuedRelation) &
         s__instance(s__path__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__path__m,s__Relation) &
               s__valence(s__path__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__path__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__path(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__path__m,s__Relation) &
s__valence(s__path__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__path__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__path(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__path__m,s__TotalValuedRelation) &
s__instance(s__path__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Bond) =>
     ((s__instance(s__bondRating__m,s__TotalValuedRelation) &
         s__instance(s__bondRating__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__bondRating__m,s__Relation) &
               s__valence(s__bondRating__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__bondRating__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__FinancialRating) &
         s__bondRating(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__bondRating__m,s__Relation) &
s__valence(s__bondRating__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__bondRating__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__FinancialRating) &
s__bondRating(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__bondRating__m,s__TotalValuedRelation) &
s__instance(s__bondRating__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organism) =>
     ((s__instance(s__son__m,s__TotalValuedRelation) &
         s__instance(s__son__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__son__m,s__Relation) &
               s__valence(s__son__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__son__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organism) &
         s__son(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__son__m,s__Relation) &
s__valence(s__son__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__son__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organism) &
s__son(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__son__m,s__TotalValuedRelation) &
s__instance(s__son__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__List) =>
     ((s__instance(s__subList__m,s__TotalValuedRelation) &
         s__instance(s__subList__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subList__m,s__Relation) &
               s__valence(s__subList__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subList__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__List) &
         s__subList(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subList__m,s__Relation) &
s__valence(s__subList__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subList__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__List) &
s__subList(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subList__m,s__TotalValuedRelation) &
s__instance(s__subList__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__FinancialTransaction) =>
     ((s__instance(s__transactionAmount__m,s__TotalValuedRelation) &
         s__instance(s__transactionAmount__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__transactionAmount__m,s__Relation) &
               s__valence(s__transactionAmount__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__transactionAmount__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__CurrencyMeasure) &
         s__transactionAmount(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__transactionAmount__m,s__Relation) &
s__valence(s__transactionAmount__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__transactionAmount__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__CurrencyMeasure) &
s__transactionAmount(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__transactionAmount__m,s__TotalValuedRelation) &
s__instance(s__transactionAmount__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__duration__m,s__TotalValuedRelation) &
         s__instance(s__duration__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__duration__m,s__Relation) &
               s__valence(s__duration__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__duration__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeDuration) &
         s__duration(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__duration__m,s__Relation) &
s__valence(s__duration__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__duration__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeDuration) &
s__duration(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__duration__m,s__TotalValuedRelation) &
s__instance(s__duration__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Transitway) =>
     ((s__instance(s__pathInSystem__m,s__TotalValuedRelation) &
         s__instance(s__pathInSystem__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__pathInSystem__m,s__Relation) &
               s__valence(s__pathInSystem__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__pathInSystem__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TransitSystem) &
         s__pathInSystem(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__pathInSystem__m,s__Relation) &
s__valence(s__pathInSystem__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__pathInSystem__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TransitSystem) &
s__pathInSystem(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__pathInSystem__m,s__TotalValuedRelation) &
s__instance(s__pathInSystem__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__completelyFills__m,s__TotalValuedRelation) &
         s__instance(s__completelyFills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__completelyFills__m,s__Relation) &
               s__valence(s__completelyFills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__completelyFills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__completelyFills(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__completelyFills__m,s__Relation) &
s__valence(s__completelyFills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__completelyFills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__completelyFills(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__completelyFills__m,s__TotalValuedRelation) &
s__instance(s__completelyFills__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical))
     =>
     ((s__instance(s__depth__m,s__TotalValuedRelation) &
         s__instance(s__depth__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__depth__m,s__Relation) &
               s__valence(s__depth__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__depth__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__depth(V__ROW2,V__ROW3,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__depth__m,s__Relation) &
s__valence(s__depth__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__depth__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__depth(V__ROW2,V__ROW3,V__ITEM)))))))
=>
(s__instance(s__depth__m,s__TotalValuedRelation) &
s__instance(s__depth__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__NonnegativeInteger) =>
     ((s__instance(s__stringLength__m,s__TotalValuedRelation) &
         s__instance(s__stringLength__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__stringLength__m,s__Relation) &
               s__valence(s__stringLength__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__stringLength__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SymbolicString) &
         s__stringLength(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__stringLength__m,s__Relation) &
s__valence(s__stringLength__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__stringLength__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SymbolicString) &
s__stringLength(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__stringLength__m,s__TotalValuedRelation) &
s__instance(s__stringLength__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Motion) =>
     ((s__instance(s__moves__m,s__TotalValuedRelation) &
         s__instance(s__moves__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__moves__m,s__Relation) &
               s__valence(s__moves__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__moves__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__moves(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__moves__m,s__Relation) &
s__valence(s__moves__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__moves__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__moves(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__moves__m,s__TotalValuedRelation) &
s__instance(s__moves__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__meetsTemporally__m,s__TotalValuedRelation) &
         s__instance(s__meetsTemporally__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__meetsTemporally__m,s__Relation) &
               s__valence(s__meetsTemporally__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__meetsTemporally__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__meetsTemporally(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__meetsTemporally__m,s__Relation) &
s__valence(s__meetsTemporally__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__meetsTemporally__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__meetsTemporally(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__meetsTemporally__m,s__TotalValuedRelation) &
s__instance(s__meetsTemporally__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postNeighborhood__m,s__TotalValuedRelation) &
         s__instance(s__postNeighborhood__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postNeighborhood__m,s__Relation) &
               s__valence(s__postNeighborhood__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postNeighborhood__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Neighborhood) &
         s__postNeighborhood(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postNeighborhood__m,s__Relation) &
s__valence(s__postNeighborhood__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postNeighborhood__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Neighborhood) &
s__postNeighborhood(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postNeighborhood__m,s__TotalValuedRelation) &
s__instance(s__postNeighborhood__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postCity__m,s__TotalValuedRelation) &
         s__instance(s__postCity__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postCity__m,s__Relation) &
               s__valence(s__postCity__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postCity__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__City) &
         s__postCity(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postCity__m,s__Relation) &
s__valence(s__postCity__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postCity__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__City) &
s__postCity(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postCity__m,s__TotalValuedRelation) &
s__instance(s__postCity__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__CorpuscularObject) =>
     ((s__instance(s__powerComponent__m,s__TotalValuedRelation) &
         s__instance(s__powerComponent__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__powerComponent__m,s__Relation) &
               s__valence(s__powerComponent__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__powerComponent__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__subclass(V__ITEM,s__Artifact) &
         s__powerComponent(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__powerComponent__m,s__Relation) &
s__valence(s__powerComponent__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__powerComponent__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__subclass(V__ITEM,s__Artifact) &
s__powerComponent(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__powerComponent__m,s__TotalValuedRelation) &
s__instance(s__powerComponent__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__subString__m,s__TotalValuedRelation) &
         s__instance(s__subString__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subString__m,s__Relation) &
               s__valence(s__subString__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subString__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SymbolicString) &
         s__subString(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subString__m,s__Relation) &
s__valence(s__subString__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subString__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SymbolicString) &
s__subString(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subString__m,s__TotalValuedRelation) &
s__instance(s__subString__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Transitway) =>
     ((s__instance(s__routeInSystem__m,s__TotalValuedRelation) &
         s__instance(s__routeInSystem__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__routeInSystem__m,s__Relation) &
               s__valence(s__routeInSystem__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__routeInSystem__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TransitSystem) &
         s__routeInSystem(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__routeInSystem__m,s__Relation) &
s__valence(s__routeInSystem__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__routeInSystem__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TransitSystem) &
s__routeInSystem(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__routeInSystem__m,s__TotalValuedRelation) &
s__instance(s__routeInSystem__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeometricPoint) =>
     ((s__instance(s__pointOfFigure__m,s__TotalValuedRelation) &
         s__instance(s__pointOfFigure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__pointOfFigure__m,s__Relation) &
               s__valence(s__pointOfFigure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__pointOfFigure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__pointOfFigure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__pointOfFigure__m,s__Relation) &
s__valence(s__pointOfFigure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__pointOfFigure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__pointOfFigure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__pointOfFigure__m,s__TotalValuedRelation) &
s__instance(s__pointOfFigure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postPostcodeArea__m,s__TotalValuedRelation) &
         s__instance(s__postPostcodeArea__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postPostcodeArea__m,s__Relation) &
               s__valence(s__postPostcodeArea__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postPostcodeArea__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PostcodeArea) &
         s__postPostcodeArea(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postPostcodeArea__m,s__Relation) &
s__valence(s__postPostcodeArea__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postPostcodeArea__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PostcodeArea) &
s__postPostcodeArea(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postPostcodeArea__m,s__TotalValuedRelation) &
s__instance(s__postPostcodeArea__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Quantity) =>
     ((s__instance(s__greaterThan__m,s__TotalValuedRelation) &
         s__instance(s__greaterThan__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__greaterThan__m,s__Relation) &
               s__valence(s__greaterThan__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__greaterThan__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Quantity) &
         s__greaterThan(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__greaterThan__m,s__Relation) &
s__valence(s__greaterThan__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__greaterThan__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Quantity) &
s__greaterThan(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__greaterThan__m,s__TotalValuedRelation) &
s__instance(s__greaterThan__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TwoDimensionalAngle) =>
     ((s__instance(s__angleOfFigure__m,s__TotalValuedRelation) &
         s__instance(s__angleOfFigure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__angleOfFigure__m,s__Relation) &
               s__valence(s__angleOfFigure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__angleOfFigure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__angleOfFigure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__angleOfFigure__m,s__Relation) &
s__valence(s__angleOfFigure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__angleOfFigure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__angleOfFigure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__angleOfFigure__m,s__TotalValuedRelation) &
s__instance(s__angleOfFigure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Physical) =>
     ((s__instance(s__date__m,s__TotalValuedRelation) &
         s__instance(s__date__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__date__m,s__Relation) &
               s__valence(s__date__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__date__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Day) &
         s__date(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__date__m,s__Relation) &
s__valence(s__date__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__date__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Day) &
s__date(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__date__m,s__TotalValuedRelation) &
s__instance(s__date__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__subclass(V__ROW3,s__Weapon) &
       s__instance(V__ROW2,s__MilitaryVehicle))
     =>
     ((s__instance(s__weaponCarryingCapability__m,s__TotalValuedRelation) &
         s__instance(s__weaponCarryingCapability__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__weaponCarryingCapability__m,s__Relation) &
               s__valence(s__weaponCarryingCapability__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__weaponCarryingCapability__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__weaponCarryingCapability(V__ROW2,V__ROW3,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__weaponCarryingCapability__m,s__Relation) &
s__valence(s__weaponCarryingCapability__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__weaponCarryingCapability__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__weaponCarryingCapability(V__ROW2,V__ROW3,V__ITEM))))))))
=>
(s__instance(s__weaponCarryingCapability__m,s__TotalValuedRelation) &
s__instance(s__weaponCarryingCapability__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Molecule) =>
     ((s__instance(s__hasMolecularStructuralAttribute__m,s__TotalValuedRelation) &
         s__instance(s__hasMolecularStructuralAttribute__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__hasMolecularStructuralAttribute__m,s__Relation) &
               s__valence(s__hasMolecularStructuralAttribute__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__hasMolecularStructuralAttribute__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__MoleculeStructuralAttribute) &
         s__hasMolecularStructuralAttribute(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__hasMolecularStructuralAttribute__m,s__Relation) &
s__valence(s__hasMolecularStructuralAttribute__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__hasMolecularStructuralAttribute__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__MoleculeStructuralAttribute) &
s__hasMolecularStructuralAttribute(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__hasMolecularStructuralAttribute__m,s__TotalValuedRelation) &
s__instance(s__hasMolecularStructuralAttribute__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__partiallyFills__m,s__TotalValuedRelation) &
         s__instance(s__partiallyFills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__partiallyFills__m,s__Relation) &
               s__valence(s__partiallyFills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__partiallyFills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Hole) &
         s__partiallyFills(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__partiallyFills__m,s__Relation) &
s__valence(s__partiallyFills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__partiallyFills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Hole) &
s__partiallyFills(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__partiallyFills__m,s__TotalValuedRelation) &
s__instance(s__partiallyFills__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Virus) =>
     ((s__instance(s__geneticSubstrateOfVirus__m,s__TotalValuedRelation) &
         s__instance(s__geneticSubstrateOfVirus__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__geneticSubstrateOfVirus__m,s__Relation) &
               s__valence(s__geneticSubstrateOfVirus__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__geneticSubstrateOfVirus__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Molecule) &
         s__geneticSubstrateOfVirus(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__geneticSubstrateOfVirus__m,s__Relation) &
s__valence(s__geneticSubstrateOfVirus__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__geneticSubstrateOfVirus__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Molecule) &
s__geneticSubstrateOfVirus(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__geneticSubstrateOfVirus__m,s__TotalValuedRelation) &
s__instance(s__geneticSubstrateOfVirus__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organization) =>
     ((s__instance(s__chamberOfLegislature__m,s__TotalValuedRelation) &
         s__instance(s__chamberOfLegislature__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__chamberOfLegislature__m,s__Relation) &
               s__valence(s__chamberOfLegislature__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__chamberOfLegislature__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organization) &
         s__chamberOfLegislature(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__chamberOfLegislature__m,s__Relation) &
s__valence(s__chamberOfLegislature__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__chamberOfLegislature__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organization) &
s__chamberOfLegislature(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__chamberOfLegislature__m,s__TotalValuedRelation) &
s__instance(s__chamberOfLegislature__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organization) =>
     ((s__instance(s__headquartersOfOrganization__m,s__TotalValuedRelation) &
         s__instance(s__headquartersOfOrganization__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__headquartersOfOrganization__m,s__Relation) &
               s__valence(s__headquartersOfOrganization__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__headquartersOfOrganization__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__headquartersOfOrganization(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__headquartersOfOrganization__m,s__Relation) &
s__valence(s__headquartersOfOrganization__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__headquartersOfOrganization__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__headquartersOfOrganization(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__headquartersOfOrganization__m,s__TotalValuedRelation) &
s__instance(s__headquartersOfOrganization__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Relation) =>
     ((s__instance(s__subrelation__m,s__TotalValuedRelation) &
         s__instance(s__subrelation__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subrelation__m,s__Relation) &
               s__valence(s__subrelation__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subrelation__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Relation) &
         s__subrelation(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subrelation__m,s__Relation) &
s__valence(s__subrelation__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subrelation__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Relation) &
s__subrelation(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subrelation__m,s__TotalValuedRelation) &
s__instance(s__subrelation__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Substance) =>
     ((s__instance(s__piece__m,s__TotalValuedRelation) &
         s__instance(s__piece__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__piece__m,s__Relation) &
               s__valence(s__piece__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__piece__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Substance) &
         s__piece(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__piece__m,s__Relation) &
s__valence(s__piece__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__piece__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Substance) &
s__piece(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__piece__m,s__TotalValuedRelation) &
s__instance(s__piece__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__telecomCoreNumber__m,s__TotalValuedRelation) &
         s__instance(s__telecomCoreNumber__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__telecomCoreNumber__m,s__Relation) &
               s__valence(s__telecomCoreNumber__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__telecomCoreNumber__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TelecomNumber) &
         s__telecomCoreNumber(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__telecomCoreNumber__m,s__Relation) &
s__valence(s__telecomCoreNumber__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__telecomCoreNumber__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TelecomNumber) &
s__telecomCoreNumber(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__telecomCoreNumber__m,s__TotalValuedRelation) &
s__instance(s__telecomCoreNumber__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__CorpuscularObject) =>
     ((s__instance(s__component__m,s__TotalValuedRelation) &
         s__instance(s__component__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__component__m,s__Relation) &
               s__valence(s__component__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__component__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__CorpuscularObject) &
         s__component(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__component__m,s__Relation) &
s__valence(s__component__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__component__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__CorpuscularObject) &
s__component(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__component__m,s__TotalValuedRelation) &
s__instance(s__component__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__OneDimensionalFigure) =>
     ((s__instance(s__sideOfFigure__m,s__TotalValuedRelation) &
         s__instance(s__sideOfFigure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__sideOfFigure__m,s__Relation) &
               s__valence(s__sideOfFigure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__sideOfFigure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__sideOfFigure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__sideOfFigure__m,s__Relation) &
s__valence(s__sideOfFigure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__sideOfFigure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__sideOfFigure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__sideOfFigure__m,s__TotalValuedRelation) &
s__instance(s__sideOfFigure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeopoliticalArea) =>
     ((s__instance(s__administrativeCenter__m,s__TotalValuedRelation) &
         s__instance(s__administrativeCenter__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__administrativeCenter__m,s__Relation) &
               s__valence(s__administrativeCenter__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__administrativeCenter__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__administrativeCenter(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__administrativeCenter__m,s__Relation) &
s__valence(s__administrativeCenter__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__administrativeCenter__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__administrativeCenter(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__administrativeCenter__m,s__TotalValuedRelation) &
s__instance(s__administrativeCenter__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postDistrict__m,s__TotalValuedRelation) &
         s__instance(s__postDistrict__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postDistrict__m,s__Relation) &
               s__valence(s__postDistrict__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postDistrict__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__StateOrProvince) &
         s__postDistrict(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postDistrict__m,s__Relation) &
s__valence(s__postDistrict__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postDistrict__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__StateOrProvince) &
s__postDistrict(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postDistrict__m,s__TotalValuedRelation) &
s__instance(s__postDistrict__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__starts__m,s__TotalValuedRelation) &
         s__instance(s__starts__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__starts__m,s__Relation) &
               s__valence(s__starts__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__starts__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__starts(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__starts__m,s__Relation) &
s__valence(s__starts__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__starts__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__starts(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__starts__m,s__TotalValuedRelation) &
s__instance(s__starts__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Character) =>
     ((s__instance(s__inString__m,s__TotalValuedRelation) &
         s__instance(s__inString__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__inString__m,s__Relation) &
               s__valence(s__inString__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__inString__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SymbolicString) &
         s__inString(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__inString__m,s__Relation) &
s__valence(s__inString__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__inString__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SymbolicString) &
s__inString(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__inString__m,s__TotalValuedRelation) &
s__instance(s__inString__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__List) =>
     ((s__instance(s__initialList__m,s__TotalValuedRelation) &
         s__instance(s__initialList__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__initialList__m,s__Relation) &
               s__valence(s__initialList__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__initialList__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__initialList(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__initialList__m,s__Relation) &
s__valence(s__initialList__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__initialList__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__initialList(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__initialList__m,s__TotalValuedRelation) &
s__instance(s__initialList__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PostalPlace) =>
     ((s__instance(s__postCountry__m,s__TotalValuedRelation) &
         s__instance(s__postCountry__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__postCountry__m,s__Relation) &
               s__valence(s__postCountry__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__postCountry__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__postCountry(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__postCountry__m,s__Relation) &
s__valence(s__postCountry__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__postCountry__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__postCountry(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__postCountry__m,s__TotalValuedRelation) &
s__instance(s__postCountry__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Process) =>
     ((s__instance(s__manner__m,s__TotalValuedRelation) &
         s__instance(s__manner__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__manner__m,s__Relation) &
               s__valence(s__manner__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__manner__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Attribute) &
         s__manner(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__manner__m,s__Relation) &
s__valence(s__manner__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__manner__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Attribute) &
s__manner(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__manner__m,s__TotalValuedRelation) &
s__instance(s__manner__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__most__m,s__TotalValuedRelation) &
         s__instance(s__most__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__most__m,s__Relation) &
               s__valence(s__most__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__most__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__most(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__most__m,s__Relation) &
s__valence(s__most__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__most__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__most(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__most__m,s__TotalValuedRelation) &
s__instance(s__most__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organism) =>
     ((s__instance(s__daughter__m,s__TotalValuedRelation) &
         s__instance(s__daughter__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__daughter__m,s__Relation) &
               s__valence(s__daughter__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__daughter__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organism) &
         s__daughter(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__daughter__m,s__Relation) &
s__valence(s__daughter__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__daughter__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organism) &
s__daughter(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__daughter__m,s__TotalValuedRelation) &
s__instance(s__daughter__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__properlyFills__m,s__TotalValuedRelation) &
         s__instance(s__properlyFills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__properlyFills__m,s__Relation) &
               s__valence(s__properlyFills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__properlyFills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Hole) &
         s__properlyFills(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__properlyFills__m,s__Relation) &
s__valence(s__properlyFills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__properlyFills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Hole) &
s__properlyFills(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__properlyFills__m,s__TotalValuedRelation) &
s__instance(s__properlyFills__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Language) =>
     ((s__instance(s__subLanguage__m,s__TotalValuedRelation) &
         s__instance(s__subLanguage__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subLanguage__m,s__Relation) &
               s__valence(s__subLanguage__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subLanguage__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Language) &
         s__subLanguage(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subLanguage__m,s__Relation) &
s__valence(s__subLanguage__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subLanguage__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Language) &
s__subLanguage(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subLanguage__m,s__TotalValuedRelation) &
s__instance(s__subLanguage__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Physical) =>
     ((s__instance(s__partlyLocated__m,s__TotalValuedRelation) &
         s__instance(s__partlyLocated__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__partlyLocated__m,s__Relation) &
               s__valence(s__partlyLocated__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__partlyLocated__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__partlyLocated(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__partlyLocated__m,s__Relation) &
s__valence(s__partlyLocated__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__partlyLocated__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__partlyLocated(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__partlyLocated__m,s__TotalValuedRelation) &
s__instance(s__partlyLocated__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__earlier__m,s__TotalValuedRelation) &
         s__instance(s__earlier__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__earlier__m,s__Relation) &
               s__valence(s__earlier__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__earlier__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__earlier(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__earlier__m,s__Relation) &
s__valence(s__earlier__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__earlier__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__earlier(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__earlier__m,s__TotalValuedRelation) &
s__instance(s__earlier__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PassengerVehicle) =>
     ((s__instance(s__personTransportCapability__m,s__TotalValuedRelation) &
         s__instance(s__personTransportCapability__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__personTransportCapability__m,s__Relation) &
               s__valence(s__personTransportCapability__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__personTransportCapability__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__personTransportCapability(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__personTransportCapability__m,s__Relation) &
s__valence(s__personTransportCapability__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__personTransportCapability__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__personTransportCapability(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__personTransportCapability__m,s__TotalValuedRelation) &
s__instance(s__personTransportCapability__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Collection) =>
     ((s__instance(s__subCollection__m,s__TotalValuedRelation) &
         s__instance(s__subCollection__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subCollection__m,s__Relation) &
               s__valence(s__subCollection__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subCollection__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Collection) &
         s__subCollection(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subCollection__m,s__Relation) &
s__valence(s__subCollection__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subCollection__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Collection) &
s__subCollection(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subCollection__m,s__TotalValuedRelation) &
s__instance(s__subCollection__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical))
     =>
     ((s__instance(s__distance__m,s__TotalValuedRelation) &
         s__instance(s__distance__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__distance__m,s__Relation) &
               s__valence(s__distance__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__distance__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__distance(V__ROW2,V__ROW3,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__distance__m,s__Relation) &
s__valence(s__distance__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__distance__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__distance(V__ROW2,V__ROW3,V__ITEM))))))))
=>
(s__instance(s__distance__m,s__TotalValuedRelation) &
s__instance(s__distance__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TwoDimensionalAngle) =>
     ((s__instance(s__angularMeasure__m,s__TotalValuedRelation) &
         s__instance(s__angularMeasure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__angularMeasure__m,s__Relation) &
               s__valence(s__angularMeasure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__angularMeasure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PlaneAngleMeasure) &
         s__angularMeasure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__angularMeasure__m,s__Relation) &
s__valence(s__angularMeasure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__angularMeasure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PlaneAngleMeasure) &
s__angularMeasure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__angularMeasure__m,s__TotalValuedRelation) &
s__instance(s__angularMeasure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Process) =>
     ((s__instance(s__coordinates__m,s__TotalValuedRelation) &
         s__instance(s__coordinates__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__coordinates__m,s__Relation) &
               s__valence(s__coordinates__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__coordinates__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Process) &
         s__coordinates(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__coordinates__m,s__Relation) &
s__valence(s__coordinates__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__coordinates__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Process) &
s__coordinates(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__coordinates__m,s__TotalValuedRelation) &
s__instance(s__coordinates__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Process) =>
     ((s__instance(s__eventLocated__m,s__TotalValuedRelation) &
         s__instance(s__eventLocated__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__eventLocated__m,s__Relation) &
               s__valence(s__eventLocated__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__eventLocated__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__eventLocated(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__eventLocated__m,s__Relation) &
s__valence(s__eventLocated__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__eventLocated__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__eventLocated(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__eventLocated__m,s__TotalValuedRelation) &
s__instance(s__eventLocated__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Physical) =>
     ((s__instance(s__located__m,s__TotalValuedRelation) &
         s__instance(s__located__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__located__m,s__Relation) &
               s__valence(s__located__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__located__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__located(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__located__m,s__Relation) &
s__valence(s__located__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__located__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__located(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__located__m,s__TotalValuedRelation) &
s__instance(s__located__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimePoint) =>
     ((s__instance(s__before__m,s__TotalValuedRelation) &
         s__instance(s__before__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__before__m,s__Relation) &
               s__valence(s__before__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__before__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimePoint) &
         s__before(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__before__m,s__Relation) &
s__valence(s__before__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__before__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimePoint) &
s__before(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__before__m,s__TotalValuedRelation) &
s__instance(s__before__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__telecomAreaCode__m,s__TotalValuedRelation) &
         s__instance(s__telecomAreaCode__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__telecomAreaCode__m,s__Relation) &
               s__valence(s__telecomAreaCode__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__telecomAreaCode__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TelecomNumber) &
         s__telecomAreaCode(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__telecomAreaCode__m,s__Relation) &
s__valence(s__telecomAreaCode__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__telecomAreaCode__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TelecomNumber) &
s__telecomAreaCode(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__telecomAreaCode__m,s__TotalValuedRelation) &
s__instance(s__telecomAreaCode__m,s__Predicate)))
)
)

( ! [V__ROW3,V__ROW2] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__Vehicle))
     =>
     ((s__instance(s__maximumPayloadHeightWidth__m,s__TotalValuedRelation) &
         s__instance(s__maximumPayloadHeightWidth__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__maximumPayloadHeightWidth__m,s__Relation) &
               s__valence(s__maximumPayloadHeightWidth__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__maximumPayloadHeightWidth__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__maximumPayloadHeightWidth(V__ROW2,V__ROW3,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__maximumPayloadHeightWidth__m,s__Relation) &
s__valence(s__maximumPayloadHeightWidth__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__maximumPayloadHeightWidth__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__maximumPayloadHeightWidth(V__ROW2,V__ROW3,V__ITEM))))))))
=>
(s__instance(s__maximumPayloadHeightWidth__m,s__TotalValuedRelation) &
s__instance(s__maximumPayloadHeightWidth__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Computer) =>
     ((s__instance(s__hostStatus__m,s__TotalValuedRelation) &
         s__instance(s__hostStatus__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__hostStatus__m,s__Relation) &
               s__valence(s__hostStatus__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__hostStatus__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__ComputerStatus) &
         s__hostStatus(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__hostStatus__m,s__Relation) &
s__valence(s__hostStatus__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__hostStatus__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__ComputerStatus) &
s__hostStatus(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__hostStatus__m,s__TotalValuedRelation) &
s__instance(s__hostStatus__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Vehicle) =>
     ((s__instance(s__maximumPayloadCapacity__m,s__TotalValuedRelation) &
         s__instance(s__maximumPayloadCapacity__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__maximumPayloadCapacity__m,s__Relation) &
               s__valence(s__maximumPayloadCapacity__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__maximumPayloadCapacity__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__MassMeasure) &
         s__maximumPayloadCapacity(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__maximumPayloadCapacity__m,s__Relation) &
s__valence(s__maximumPayloadCapacity__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__maximumPayloadCapacity__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__MassMeasure) &
s__maximumPayloadCapacity(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__maximumPayloadCapacity__m,s__TotalValuedRelation) &
s__instance(s__maximumPayloadCapacity__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__third__m,s__TotalValuedRelation) &
         s__instance(s__third__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__third__m,s__Relation) &
               s__valence(s__third__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__third__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     (s__third(V__ROW2,V__ITEM))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__third__m,s__Relation) &
s__valence(s__third__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__third__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
(s__third(V__ROW2,V__ITEM)))))))
=>
(s__instance(s__third__m,s__TotalValuedRelation) &
s__instance(s__third__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeometricFigure) =>
     ((s__instance(s__geometricPart__m,s__TotalValuedRelation) &
         s__instance(s__geometricPart__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__geometricPart__m,s__Relation) &
               s__valence(s__geometricPart__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__geometricPart__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeometricFigure) &
         s__geometricPart(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__geometricPart__m,s__Relation) &
s__valence(s__geometricPart__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__geometricPart__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeometricFigure) &
s__geometricPart(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__geometricPart__m,s__TotalValuedRelation) &
s__instance(s__geometricPart__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Set) =>
     ((s__instance(s__subset__m,s__TotalValuedRelation) &
         s__instance(s__subset__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subset__m,s__Relation) &
               s__valence(s__subset__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subset__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Set) &
         s__subset(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subset__m,s__Relation) &
s__valence(s__subset__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subset__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Set) &
s__subset(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subset__m,s__TotalValuedRelation) &
s__instance(s__subset__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Circle) =>
     ((s__instance(s__radius__m,s__TotalValuedRelation) &
         s__instance(s__radius__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__radius__m,s__Relation) &
               s__valence(s__radius__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__radius__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__radius(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__radius__m,s__Relation) &
s__valence(s__radius__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__radius__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__radius(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__radius__m,s__TotalValuedRelation) &
s__instance(s__radius__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeopoliticalArea) =>
     ((s__instance(s__primaryGeopoliticalSubdivision__m,s__TotalValuedRelation) &
         s__instance(s__primaryGeopoliticalSubdivision__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__primaryGeopoliticalSubdivision__m,s__Relation) &
               s__valence(s__primaryGeopoliticalSubdivision__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__primaryGeopoliticalSubdivision__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__primaryGeopoliticalSubdivision(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__primaryGeopoliticalSubdivision__m,s__Relation) &
s__valence(s__primaryGeopoliticalSubdivision__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__primaryGeopoliticalSubdivision__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__primaryGeopoliticalSubdivision(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__primaryGeopoliticalSubdivision__m,s__TotalValuedRelation) &
s__instance(s__primaryGeopoliticalSubdivision__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__larger__m,s__TotalValuedRelation) &
         s__instance(s__larger__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__larger__m,s__Relation) &
               s__valence(s__larger__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__larger__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Object) &
         s__larger(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__larger__m,s__Relation) &
s__valence(s__larger__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__larger__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Object) &
s__larger(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__larger__m,s__TotalValuedRelation) &
s__instance(s__larger__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Argument) =>
     ((s__instance(s__conclusion__m,s__TotalValuedRelation) &
         s__instance(s__conclusion__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__conclusion__m,s__Relation) &
               s__valence(s__conclusion__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__conclusion__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Proposition) &
         s__conclusion(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__conclusion__m,s__Relation) &
s__valence(s__conclusion__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__conclusion__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Proposition) &
s__conclusion(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__conclusion__m,s__TotalValuedRelation) &
s__instance(s__conclusion__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__OneDimensionalFigure) =>
     ((s__instance(s__lineMeasure__m,s__TotalValuedRelation) &
         s__instance(s__lineMeasure__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__lineMeasure__m,s__Relation) &
               s__valence(s__lineMeasure__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__lineMeasure__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__lineMeasure(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__lineMeasure__m,s__Relation) &
s__valence(s__lineMeasure__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__lineMeasure__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__lineMeasure(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__lineMeasure__m,s__TotalValuedRelation) &
s__instance(s__lineMeasure__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Organization) =>
     ((s__instance(s__subOrganization__m,s__TotalValuedRelation) &
         s__instance(s__subOrganization__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subOrganization__m,s__Relation) &
               s__valence(s__subOrganization__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subOrganization__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Organization) &
         s__subOrganization(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subOrganization__m,s__Relation) &
s__valence(s__subOrganization__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subOrganization__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Organization) &
s__subOrganization(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subOrganization__m,s__TotalValuedRelation) &
s__instance(s__subOrganization__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SetOrClass) =>
     ((s__instance(s__subclass__m,s__TotalValuedRelation) &
         s__instance(s__subclass__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subclass__m,s__Relation) &
               s__valence(s__subclass__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subclass__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__SetOrClass) &
         s__subclass(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subclass__m,s__Relation) &
s__valence(s__subclass__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subclass__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__SetOrClass) &
s__subclass(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subclass__m,s__TotalValuedRelation) &
s__instance(s__subclass__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PureSubstance) =>
     ((s__instance(s__protonNumber__m,s__TotalValuedRelation) &
         s__instance(s__protonNumber__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__protonNumber__m,s__Relation) &
               s__valence(s__protonNumber__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__protonNumber__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__protonNumber(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__protonNumber__m,s__Relation) &
s__valence(s__protonNumber__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__protonNumber__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__protonNumber(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__protonNumber__m,s__TotalValuedRelation) &
s__instance(s__protonNumber__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Contest) =>
     ((s__instance(s__contestParticipant__m,s__TotalValuedRelation) &
         s__instance(s__contestParticipant__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__contestParticipant__m,s__Relation) &
               s__valence(s__contestParticipant__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__contestParticipant__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Agent) &
         s__contestParticipant(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__contestParticipant__m,s__Relation) &
s__valence(s__contestParticipant__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__contestParticipant__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Agent) &
s__contestParticipant(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__contestParticipant__m,s__TotalValuedRelation) &
s__instance(s__contestParticipant__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimeInterval) =>
     ((s__instance(s__finishes__m,s__TotalValuedRelation) &
         s__instance(s__finishes__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__finishes__m,s__Relation) &
               s__valence(s__finishes__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__finishes__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimeInterval) &
         s__finishes(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__finishes__m,s__Relation) &
s__valence(s__finishes__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__finishes__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimeInterval) &
s__finishes(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__finishes__m,s__TotalValuedRelation) &
s__instance(s__finishes__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__ChargingAFee) =>
     ((s__instance(s__amountCharged__m,s__TotalValuedRelation) &
         s__instance(s__amountCharged__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__amountCharged__m,s__Relation) &
               s__valence(s__amountCharged__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__amountCharged__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__CurrencyMeasure) &
         s__amountCharged(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__amountCharged__m,s__Relation) &
s__valence(s__amountCharged__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__amountCharged__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__CurrencyMeasure) &
s__amountCharged(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__amountCharged__m,s__TotalValuedRelation) &
s__instance(s__amountCharged__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SymbolicString) =>
     ((s__instance(s__telecomCountryCode__m,s__TotalValuedRelation) &
         s__instance(s__telecomCountryCode__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__telecomCountryCode__m,s__Relation) &
               s__valence(s__telecomCountryCode__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__telecomCountryCode__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TelecomNumber) &
         s__telecomCountryCode(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__telecomCountryCode__m,s__Relation) &
s__valence(s__telecomCountryCode__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__telecomCountryCode__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TelecomNumber) &
s__telecomCountryCode(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__telecomCountryCode__m,s__TotalValuedRelation) &
s__instance(s__telecomCountryCode__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PoliticalParty) =>
     ((s__instance(s__politicalPartyOfCountry__m,s__TotalValuedRelation) &
         s__instance(s__politicalPartyOfCountry__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__politicalPartyOfCountry__m,s__Relation) &
               s__valence(s__politicalPartyOfCountry__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__politicalPartyOfCountry__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__politicalPartyOfCountry(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__politicalPartyOfCountry__m,s__Relation) &
s__valence(s__politicalPartyOfCountry__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__politicalPartyOfCountry__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__politicalPartyOfCountry(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__politicalPartyOfCountry__m,s__TotalValuedRelation) &
s__instance(s__politicalPartyOfCountry__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Agent) =>
     ((s__instance(s__organizationalObjective__m,s__TotalValuedRelation) &
         s__instance(s__organizationalObjective__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__organizationalObjective__m,s__Relation) &
               s__valence(s__organizationalObjective__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__organizationalObjective__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__AreaOfConcern) &
         s__organizationalObjective(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__organizationalObjective__m,s__Relation) &
s__valence(s__organizationalObjective__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__organizationalObjective__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__AreaOfConcern) &
s__organizationalObjective(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__organizationalObjective__m,s__TotalValuedRelation) &
s__instance(s__organizationalObjective__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__City) =>
     ((s__instance(s__capitalCity__m,s__TotalValuedRelation) &
         s__instance(s__capitalCity__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__capitalCity__m,s__Relation) &
               s__valence(s__capitalCity__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__capitalCity__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__capitalCity(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__capitalCity__m,s__Relation) &
s__valence(s__capitalCity__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__capitalCity__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__capitalCity(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__capitalCity__m,s__TotalValuedRelation) &
s__instance(s__capitalCity__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Agent) =>
     ((s__instance(s__economyType__m,s__TotalValuedRelation) &
         s__instance(s__economyType__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__economyType__m,s__Relation) &
               s__valence(s__economyType__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__economyType__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__EconomicAttribute) &
         s__economyType(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__economyType__m,s__Relation) &
s__valence(s__economyType__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__economyType__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__EconomicAttribute) &
s__economyType(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__economyType__m,s__TotalValuedRelation) &
s__instance(s__economyType__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__ContentBearingPhysical) =>
     ((s__instance(s__subsumesContentInstance__m,s__TotalValuedRelation) &
         s__instance(s__subsumesContentInstance__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subsumesContentInstance__m,s__Relation) &
               s__valence(s__subsumesContentInstance__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subsumesContentInstance__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__ContentBearingPhysical) &
         s__subsumesContentInstance(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__subsumesContentInstance__m,s__Relation) &
s__valence(s__subsumesContentInstance__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__subsumesContentInstance__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__ContentBearingPhysical) &
s__subsumesContentInstance(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__subsumesContentInstance__m,s__TotalValuedRelation) &
s__instance(s__subsumesContentInstance__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__GeopoliticalArea) =>
     ((s__instance(s__geopoliticalSubdivision__m,s__TotalValuedRelation) &
         s__instance(s__geopoliticalSubdivision__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__geopoliticalSubdivision__m,s__Relation) &
               s__valence(s__geopoliticalSubdivision__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__geopoliticalSubdivision__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__GeopoliticalArea) &
         s__geopoliticalSubdivision(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__geopoliticalSubdivision__m,s__Relation) &
s__valence(s__geopoliticalSubdivision__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__geopoliticalSubdivision__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__GeopoliticalArea) &
s__geopoliticalSubdivision(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__geopoliticalSubdivision__m,s__TotalValuedRelation) &
s__instance(s__geopoliticalSubdivision__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__attribute__m,s__TotalValuedRelation) &
         s__instance(s__attribute__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__attribute__m,s__Relation) &
               s__valence(s__attribute__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__attribute__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Attribute) &
         s__attribute(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__attribute__m,s__Relation) &
s__valence(s__attribute__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__attribute__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Attribute) &
s__attribute(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__attribute__m,s__TotalValuedRelation) &
s__instance(s__attribute__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__PureSubstance) =>
     ((s__instance(s__electronNumber__m,s__TotalValuedRelation) &
         s__instance(s__electronNumber__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__electronNumber__m,s__Relation) &
               s__valence(s__electronNumber__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__electronNumber__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__PositiveInteger) &
         s__electronNumber(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__electronNumber__m,s__Relation) &
s__valence(s__electronNumber__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__electronNumber__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__PositiveInteger) &
s__electronNumber(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__electronNumber__m,s__TotalValuedRelation) &
s__instance(s__electronNumber__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Circle) =>
     ((s__instance(s__diameter__m,s__TotalValuedRelation) &
         s__instance(s__diameter__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__diameter__m,s__Relation) &
               s__valence(s__diameter__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__diameter__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__LengthMeasure) &
         s__diameter(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__diameter__m,s__Relation) &
s__valence(s__diameter__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__diameter__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__LengthMeasure) &
s__diameter(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__diameter__m,s__TotalValuedRelation) &
s__instance(s__diameter__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Object) =>
     ((s__instance(s__fills__m,s__TotalValuedRelation) &
         s__instance(s__fills__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__fills__m,s__Relation) &
               s__valence(s__fills__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__fills__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Hole) &
         s__fills(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__fills__m,s__Relation) &
s__valence(s__fills__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__fills__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Hole) &
s__fills(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__fills__m,s__TotalValuedRelation) &
s__instance(s__fills__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__TimePosition) =>
     ((s__instance(s__temporalPart__m,s__TotalValuedRelation) &
         s__instance(s__temporalPart__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__temporalPart__m,s__Relation) &
               s__valence(s__temporalPart__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__temporalPart__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__TimePosition) &
         s__temporalPart(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__temporalPart__m,s__Relation) &
s__valence(s__temporalPart__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__temporalPart__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__TimePosition) &
s__temporalPart(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__temporalPart__m,s__TotalValuedRelation) &
s__instance(s__temporalPart__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__SelfConnectedObject) =>
     ((s__instance(s__onboard__m,s__TotalValuedRelation) &
         s__instance(s__onboard__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__onboard__m,s__Relation) &
               s__valence(s__onboard__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__onboard__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
         =>
         s__instance(V__ELEMENT,V__CLASS)))
   =>
   ( ? [V__ITEM] :
     ((s__instance(V__ITEM,s__Vehicle) &
         s__onboard(V__ROW2,V__ITEM)))))))))
&
(( ? [V__VALENCE] :
((s__instance(V__VALENCE,s__PositiveInteger) &
(s__instance(s__onboard__m,s__Relation) &
s__valence(s__onboard__m,V__VALENCE)
&
( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
((s__instance(V__NUMBER,s__PositiveInteger) &
     s__instance(V__CLASS,s__SetOrClass))
   =>
   (s__lessThan(V__NUMBER,V__VALENCE)
   &
   s__domain(s__onboard__m,V__NUMBER,V__CLASS)
&
(V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)))
=>
s__instance(V__ELEMENT,V__CLASS)))
=>
( ? [V__ITEM] :
((s__instance(V__ITEM,s__Vehicle) &
s__onboard(V__ROW2,V__ITEM))))))))
=>
(s__instance(s__onboard__m,s__TotalValuedRelation) &
s__instance(s__onboard__m,s__Predicate)))
)
)

( ! [V__ROW2] :
   (s__instance(V__ROW2,s__Attribute) =>
     ((s__instance(s__subAttribute__m,s__TotalValuedRelation) &
         s__instance(s__subAttribute__m,s__Predicate))
       =>
       ( ? [V__VALENCE] :
         ((s__instance(V__VALENCE,s__PositiveInteger) &
             (s__instance(s__subAttribute__m,s__Relation) &
               s__valence(s__subAttribute__m,V__VALENCE)
             &
             ( ! [V__NUMBER, V__ELEMENT, V__CLASS] :
               ((s__instance(V__NUMBER,s__PositiveInteger) &
                   s__instance(V__CLASS,s__SetOrClass))
                 =>
                 (s__lessThan(V__NUMBER,V__VALENCE)
                 &
                 s__domain(s__subAttribute__m,V__NUMBER,V__CLASS)
               &
               (V__ELEMENT = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
              ,V__NUMBER)))
       &nb