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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lessThan
lessThan

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


s__documentation(s__lessThan__m,s__ChineseLanguage,'"(lessThan ?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要少。"')

chinese_format.kif 1729-1730
s__documentation(s__lessThan__m,s__EnglishLanguage,'"(lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2."')

Merge.kif 1747-1748
s__domain(s__lessThan__m,n__1,s__Quantity)

Merge.kif 1744-1744 The number 1 argument of less than is an instance of quantity
s__domain(s__lessThan__m,n__2,s__Quantity)

Merge.kif 1745-1745 The number 2 argument of less than is an instance of quantity
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__lessThan__m,s__BinaryPredicate)

Merge.kif 1739-1739 less than is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__lessThan__m,s__IrreflexiveRelation)

Merge.kif 1741-1741 less than is an instance of irreflexive relation
s__instance(s__lessThan__m,s__RelationExtendedToQuantities)

s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Merge.kif 1742-1742 less than is an instance of relation extended to quantities
s__instance(s__lessThan__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 1740-1740 less than is an instance of transitive relation
s__trichotomizingOn(s__lessThan__m,s__RealNumber)

Merge.kif 1743-1743 less than is trichotomizing on real number

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


s__format(s__ChineseLanguage,s__lessThan__m,'"%1 %n 是 lessThan %2"')

chinese_format.kif 141-141
s__format(s__EnglishLanguage,s__lessThan__m,'"%1 is %n less than %2"')

english_format.kif 142-142
s__inverse(s__greaterThan__m,s__lessThan__m)

Merge.kif 1758-1758 greater than is an inverse of less than
s__termFormat(s__ChineseLanguage,s__lessThan__m,'"少于"')

chinese_format.kif 142-142
s__termFormat(s__ChineseTraditionalLanguage,s__lessThan__m,'"少於"')

domainEnglishFormat.kif 34038-34038
s__termFormat(s__EnglishLanguage,s__lessThan__m,'"less than"')

domainEnglishFormat.kif 34037-34037

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


( ! [V__S,V__LD] :
   (s__instance(V__S,s__RealNumber) =>
     ((s__instance(V__LD,s__LiquidDrop) &
         s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
       &
       s__lessThan(n__500,V__S))
   =>
   s__instance(V__LD,s__Droplet))
&
(s__instance(V__LD,s__Droplet) =>
   (s__instance(V__LD,s__LiquidDrop) &
     s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
   &
   s__lessThan(n__500,V__S)))
)
)

Geography.kif 6890-6896 A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500 is less than the real number if and only if the self connected object is an instance of droplet
( ! [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__CallOption) &
               s__underlier(V__Option,V__Stock)
             &
             s__price(V__Stock,V__StockPrice,V__Time)
           &
           s__strikePrice(V__Option,V__StrikePrice)
         &
         s__lessThan(V__StockPrice,V__StrikePrice)))))
=>
s__outOfTheMoney(V__Option,V__Time))
&
(s__outOfTheMoney(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__CallOption) &
   s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,V__StockPrice,V__Time)
&
s__strikePrice(V__Option,V__StrikePrice)
&
s__lessThan(V__StockPrice,V__StrikePrice))))))
)
)

FinancialOntology.kif 2966-2974 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call 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 less than the other currency measure if and only if the agent is an out of the money of the agreement
( ! [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__CallOption) &
               s__underlier(V__Option,V__Stock)
             &
             s__price(V__Stock,V__StockPrice,V__Time)
           &
           s__strikePrice(V__Option,V__StrikePrice)
         &
         s__lessThan(V__StrikePrice,V__StockPrice)))))
=>
s__inTheMoney(V__Option,V__Time))
&
(s__inTheMoney(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__CallOption) &
   s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,V__StockPrice,V__Time)
&
s__strikePrice(V__Option,V__StrikePrice)
&
s__lessThan(V__StrikePrice,V__StockPrice))))))
)
)

FinancialOntology.kif 2923-2931 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call 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 other currency measure is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
( ! [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__PutOption) &
               s__underlier(V__Option,V__Stock)
             &
             s__price(V__Stock,V__StockPrice,V__Time)
           &
           s__strikePrice(V__Option,V__StrikePrice)
         &
         s__lessThan(V__StockPrice,V__StrikePrice)))))
=>
s__inTheMoney(V__Option,V__Time))
&
(s__inTheMoney(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__PutOption) &
   s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,V__StockPrice,V__Time)
&
s__strikePrice(V__Option,V__StrikePrice)
&
s__lessThan(V__StockPrice,V__StrikePrice))))))
)
)

FinancialOntology.kif 2933-2941 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put 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 less than the other currency measure if and only if the agent is an in the money of the agreement
( ! [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__PutOption) &
               s__underlier(V__Option,V__Stock)
             &
             s__price(V__Stock,V__StockPrice,V__Time)
           &
           s__strikePrice(V__Option,V__StrikePrice)
         &
         s__lessThan(V__StrikePrice,V__StockPrice)))))
=>
s__outOfTheMoney(V__Option,V__Time))
&
(s__outOfTheMoney(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__PutOption) &
   s__underlier(V__Option,V__Stock)
&
s__price(V__Stock,V__StockPrice,V__Time)
&
s__strikePrice(V__Option,V__StrikePrice)
&
s__lessThan(V__StrikePrice,V__StockPrice))))))
)
)

FinancialOntology.kif 2976-2984 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put 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 other currency measure is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
( ! [V__Date,V__Balance,V__Account,V__Overdraft] :
   ((s__instance(V__Date,s__Day) &
       s__instance(V__Balance,s__RealNumber) &
       s__instance(V__Account,s__FinancialAccount) &
       s__instance(V__Overdraft,s__RealNumber))
     =>
     (s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
     &
     s__lessThan(V__Balance,n__0)
   &
   (V__Overdraft = s__SubtractionFn(n__0,V__Balance)))
=>
s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date)
)
)

FinancialOntology.kif 732-737
( ! [V__OUT,V__IN,V__S,V__PIVOT,V__LEN,V__NEW,V__N] :
   ((s__instance(V__OUT,s__SymbolicString) &
       s__instance(V__IN,s__SymbolicString) &
       s__instance(V__S,s__SymbolicString) &
       s__instance(V__PIVOT,s__Integer) &
       s__instance(V__LEN,s__NonnegativeInteger) &
       s__instance(V__NEW,s__NonnegativeInteger) &
       s__instance(V__N,s__NonnegativeInteger))
     =>
     ((V__OUT = s__ReverseFn(V__IN))
     &
     (V__LEN = s__StringLengthFn(V__IN))
   &
   s__greaterThan(V__LEN,n__1)
&
s__greaterThan(V__N,n__0)
&
s__lessThan(V__N,V__LEN)
&
(V__PIVOT = s__CeilingFn(s__DivisionFn(s__SubtractionFn(V__LEN,n__1)
,n__2)))
&
(V__NEW = s__AdditionFn(s__SubtractionFn(V__PIVOT,V__N)
,V__PIVOT))
&
(V__S = s__SubstringFn(V__IN,V__N,s__AdditionFn(n__1,V__N))))
=>
(V__S = s__SubstringFn(V__OUT,V__NEW,s__AdditionFn(n__1,V__NEW)))
)
)

Media.kif 3036-3057
( ! [V__Amount,V__Date,V__Balance,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Balance,s__CurrencyMeasure))
     =>
     (s__instance(V__Account,s__FinancialAccount) &
       s__minimumBalance(V__Account,s__UsingAnAccount,V__Balance)
     &
     s__currentAccountBalance(V__Account,V__Date,V__Amount)
   &
   s__lessThan(V__Amount,V__Balance))
=>
( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__date(V__Penalty,V__Date)
   &
   s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 657-667
( ! [V__Amount,V__MinPayment,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__MinPayment,s__CurrencyMeasure))
     =>
     (s__instance(V__Account,s__LiabilityAccount) &
       s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) &
       ( ? [V__Payment, V__Month] :
         ((s__instance(V__Payment,s__Process) &
             (s__instance(V__Month,s__Month) &
               s__destination(V__Payment,s__CurrencyFn(V__Account))
           &
           s__paymentsPerPeriod(V__Account,V__Amount,V__Month)
         &
         s__lessThan(V__Amount,V__MinPayment))))))
=>
( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
   s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)
)

FinancialOntology.kif 711-724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 491-497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 418-423
No TPTP formula. May not be expressible in strict first order. Merge.kif 12822-12837
No TPTP formula. May not be expressible in strict first order. Merge.kif 12839-12852
( ! [V__DEPTH,V__OBJ,V__DRAFT,V__WATERWAY,V__UNIT] :
   ((s__instance(V__DEPTH,s__RealNumber) &
       s__instance(V__OBJ,s__Physical) &
       s__instance(V__DRAFT,s__RealNumber))
     =>
     (s__instance(V__WATERWAY,s__Waterway) &
       s__depth(V__OBJ,V__WATERWAY,s__MeasureFn(V__DEPTH,V__UNIT))
   &
   s__instance(V__UNIT,s__UnitOfLength) &
   s__lessThan(V__DRAFT,V__DEPTH))
=>
s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__DRAFT,V__UNIT))
)
)

Transportation.kif 2645-2651
( ! [V__MELT,V__X,V__BOIL,V__Y,V__TEMP] :
   ((s__instance(V__MELT,s__RealNumber) &
       s__instance(V__X,s__Object) &
       s__instance(V__BOIL,s__RealNumber) &
       s__subclass(V__Y,s__PureSubstance) &
       s__instance(V__Y,s__SetOrClass) &
       s__instance(V__TEMP,s__RealNumber))
     =>
     (s__instance(V__X,V__Y)
     &
     s__subclass(V__Y,s__PureSubstance) &
     s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
   &
   s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
&
s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
&
s__greaterThan(V__TEMP,V__MELT)
&
s__lessThan(V__TEMP,V__BOIL))
=>
s__attribute(V__X,s__Liquid) )
)

Merge.kif 12768-12777
( ! [V__PRES,V__MELT,V__X,V__Y,V__TEMP] :
   ((s__instance(V__PRES,s__RealNumber) &
       s__instance(V__MELT,s__RealNumber) &
       s__instance(V__X,s__Object) &
       s__subclass(V__Y,s__PureSubstance) &
       s__instance(V__Y,s__SetOrClass) &
       s__instance(V__TEMP,s__RealNumber))
     =>
     (s__instance(V__X,V__Y)
     &
     s__subclass(V__Y,s__PureSubstance) &
     s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
   &
   s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
&
s__greaterThan(V__PRES,n__29_92)
&
s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
&
s__lessThan(V__TEMP,V__MELT))
=>
s__attribute(V__X,s__Solid) )
)

Merge.kif 12779-12788
( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] :
   ((s__instance(V__Process1,s__Physical) &
       s__instance(V__Process2,s__Physical) &
       s__instance(V__Number1,s__PositiveInteger) &
       s__instance(V__Number2,s__PositiveInteger))
     =>
     (s__processList__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
     &
     s__inList(V__Process1,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
&
s__inList(V__Process2,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
&
(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2))
)
)

( ! [V__ROW7,V__ROW8,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] :
   ((s__instance(V__Process1,s__Physical) &
       s__instance(V__Process2,s__Physical) &
       s__instance(V__Number1,s__PositiveInteger) &
       s__instance(V__Number2,s__PositiveInteger))
     =>
     (s__processList__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
     &
     s__inList(V__Process1,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
&
s__inList(V__Process2,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
&
(s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2))
)
)

( ! [V__ROW3,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] :
   ((s__instance(V__Process1,s__Physical) &
       s__instance(V__Process2,s__Physical) &
       s__instance(V__Number1,s__PositiveInteger) &
       s__instance(V__Number2,s__PositiveInteger))
     =>
     (s__processList__2(V__ROW2,V__ROW3)
     &
     s__inList(V__Process1,s__ListFn__2Fn(V__ROW2,V__ROW3))
&
s__inList(V__Process2,s__ListFn__2Fn(V__ROW2,V__ROW3))
&
(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2))
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] :
   ((s__instance(V__Process1,s__Physical) &
       s__instance(V__Process2,s__Physical) &
       s__instance(V__Number1,s__PositiveInteger) &
       s__instance(V__Number2,s__PositiveInteger))
     =>
     (s__processList__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
     &
     s__inList(V__Process1,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
&
s__inList(V__Process2,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
&
(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] :
   ((s__instance(V__Process1,s__Physical) &
       s__instance(V__Process2,s__Physical) &
       s__instance(V__Number1,s__PositiveInteger) &
       s__instance(V__Number2,s__PositiveInteger))
     =>
     (s__processList__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
     &
     s__inList(V__Process1,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
&
s__inList(V__Process2,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
&
(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2))
)
)

( ! [V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] :
   ((s__instance(V__Process1,s__Physical) &
       s__instance(V__Process2,s__Physical) &
       s__instance(V__Number1,s__PositiveInteger) &
       s__instance(V__Number2,s__PositiveInteger))
     =>
     (s__processList__1(V__ROW2)
     &
     s__inList(V__Process1,s__ListFn__1Fn(V__ROW2))
&
s__inList(V__Process2,s__ListFn__1Fn(V__ROW2))
&
(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2))
)
)

( ! [V__ROW3,V__ROW4,V__Process1,V__ROW2,V__Process2,V__Number1,V__Number2] :
   ((s__instance(V__Process1,s__Physical) &
       s__instance(V__Process2,s__Physical) &
       s__instance(V__Number1,s__PositiveInteger) &
       s__instance(V__Number2,s__PositiveInteger))
     =>
     (s__processList__3(V__ROW2,V__ROW3,V__ROW4)
     &
     s__inList(V__Process1,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
&
s__inList(V__Process2,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
&
(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__Number1)
= V__Process1)
&
(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__Number2)
= V__Process2)
&
s__lessThan(V__Number1,V__Number2))
=>
s__earlier(s__WhenFn(V__Process1)
,s__WhenFn(V__Process2))
)
)

QoSontology.kif 692-708
No TPTP formula. May not be expressible in strict first order. Catalog.kif 415-427
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3668-3678
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3691-3701

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


( ! [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)
                 &