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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - valence
valence

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


s__documentation(s__valence__m,s__ChineseLanguage,'"指定一个关系可接纳参数的数目。 如果一个关系没有设定参数 数目,那么它就没有配价,它也就是 VariableArityRelation 的一个实例。"')

chinese_format.kif 1494-1495
s__documentation(s__valence__m,s__EnglishLanguage,'"Specifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of VariableArityRelation."')

Merge.kif 362-365
s__domain(s__valence__m,n__1,s__Relation)

Merge.kif 360-360 The number 1 argument of valence is an instance of relation
s__domain(s__valence__m,n__2,s__PositiveInteger)

Merge.kif 361-361 The number 2 argument of valence is an instance of positive integer
s__instance(s__valence__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 358-358 valence is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__valence__m,s__BinaryPredicate)

Merge.kif 357-357 valence is an instance of binary predicate
s__instance(s__SingleValuedRelation,s__SetOrClass)

s__instance(s__valence__m,s__SingleValuedRelation)

Merge.kif 359-359 valence is an instance of single valued relation

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


s__format(s__ChineseLanguage,s__valence__m,'"%1 % %n{doesnt %&have} 有 %2 Argument)"')

chinese_format.kif 327-327
s__format(s__EnglishLanguage,s__valence__m,'"%1 %p{%&has} %n{doesnt %&have} %2 argument(s)"')

english_format.kif 335-335
s__termFormat(s__ChineseLanguage,s__valence__m,'"价"')

domainEnglishFormat.kif 61139-61139
s__termFormat(s__ChineseLanguage,s__valence__m,'"配价"')

chinese_format.kif 328-328
s__termFormat(s__ChineseTraditionalLanguage,s__valence__m,'"價"')

domainEnglishFormat.kif 61138-61138
s__termFormat(s__EnglishLanguage,s__valence__m,'"valence"')

domainEnglishFormat.kif 61137-61137

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


( ! [V__PRED2,V__NUMBER,V__PRED1] :
   (((s__instance(V__PRED2,s__Relation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__PRED1,s__Relation))
       =>
       (((s__subrelation(V__PRED1,V__PRED2)
           &
           s__valence(V__PRED1,V__NUMBER))
       =>
       (s__valence(V__PRED2,V__NUMBER)))))
)
)

Merge.kif 178-182
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__highestTemperatureForPeriod__m,V__NUMBER)
           &
           s__instance(s__highestTemperatureForPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__TimeDuration) &
                   s__instance(V__ROW4,s__TemperatureMeasure))
                 =>
                 ((s__highestTemperatureForPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__programRunning__m,V__NUMBER)
           &
           s__instance(s__programRunning__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerProcess) &
                   s__instance(V__ROW3,s__ComputerProgram))
                 =>
                 ((s__programRunning(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__agreementAdoptionDate__m,V__NUMBER)
           &
           s__instance(s__agreementAdoptionDate__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Proposition) &
                   s__subclass(V__ROW3,s__TimePosition))
                 =>
                 ((s__agreementAdoptionDate(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fathersSistersDaughter__m,V__NUMBER)
           &
           s__instance(s__fathersSistersDaughter__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__fathersSistersDaughter(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__geometricDistance__m,V__NUMBER)
           &
           s__instance(s__geometricDistance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeometricPoint) &
                   s__instance(V__ROW3,s__GeometricPoint) &
                   s__instance(V__ROW4,s__LengthMeasure))
                 =>
                 ((s__geometricDistance(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__inScopeOfInterest__m,V__NUMBER)
           &
           s__instance(s__inScopeOfInterest__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__CognitiveAgent) =>
                 ((s__inScopeOfInterest(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__statementPeriod__m,V__NUMBER)
           &
           s__instance(s__statementPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__BankStatement) &
                   s__instance(V__ROW3,s__TimeInterval))
                 =>
                 ((s__statementPeriod(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__illicitDrugConsumer__m,V__NUMBER)
           &
           s__instance(s__illicitDrugConsumer__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__subclass(V__ROW3,s__IllicitDrug))
                 =>
                 ((s__illicitDrugConsumer(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__jailer__m,V__NUMBER)
           &
           s__instance(s__jailer__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__jailer(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__orientation__m,V__NUMBER)
           &
           s__instance(s__orientation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Object) &
                   s__instance(V__ROW4,s__PositionalAttribute))
                 =>
                 ((s__orientation(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__voltageMeasure__m,V__NUMBER)
           &
           s__instance(s__voltageMeasure__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__PowerSource) &
                   s__instance(V__ROW3,s__PhysicalQuantity))
                 =>
                 ((s__voltageMeasure(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__agreementExpirationDate__m,V__NUMBER)
           &
           s__instance(s__agreementExpirationDate__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agreement) &
                   s__instance(V__ROW3,s__TimePoint))
                 =>
                 ((s__agreementExpirationDate(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__rateDetail__m,V__NUMBER)
           &
           s__instance(s__rateDetail__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Reservation) &
                   s__instance(V__ROW3,s__Formula))
                 =>
                 ((s__rateDetail(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__reservedRoom__m,V__NUMBER)
           &
           s__instance(s__reservedRoom__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__HotelReservation) &
                   s__subclass(V__ROW3,s__HotelUnit))
                 =>
                 ((s__reservedRoom(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__acronym__m,V__NUMBER)
           &
           s__instance(s__acronym__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__SymbolicString) =>
                 ((s__acronym(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__numberOfFloors__m,V__NUMBER)
           &
           s__instance(s__numberOfFloors__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Building) &
                   s__instance(V__ROW3,s__Integer))
                 =>
                 ((s__numberOfFloors(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__marineInventory__m,V__NUMBER)
           &
           s__instance(s__marineInventory__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__MerchantMarine) &
                   s__instance(V__ROW3,s__ShipRegister))
                 =>
                 ((s__marineInventory(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__currencyType__m,V__NUMBER)
           &
           s__instance(s__currencyType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__UnitOfCurrency))
                 =>
                 ((s__currencyType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__headingWRTTrueNorth__m,V__NUMBER)
           &
           s__instance(s__headingWRTTrueNorth__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__PlaneAngleMeasure))
                 =>
                 ((s__headingWRTTrueNorth(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__conventionalShortName__m,V__NUMBER)
           &
           s__instance(s__conventionalShortName__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__SymbolicString) =>
                 ((s__conventionalShortName(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__complexity__m,V__NUMBER)
           &
           s__instance(s__complexity__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__RealtimeSystem) &
                   s__instance(V__ROW3,s__TimingRequirementAttribute))
                 =>
                 ((s__complexity(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__potentialCustomer__m,V__NUMBER)
           &
           s__instance(s__potentialCustomer__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__CognitiveAgent) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__potentialCustomer(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__navigableForDraft__m,V__NUMBER)
           &
           s__instance(s__navigableForDraft__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__WaterArea) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__navigableForDraft(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__income__m,V__NUMBER)
           &
           s__instance(s__income__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__CurrencyMeasure) &
                   s__instance(V__ROW4,s__TimeInterval))
                 =>
                 ((s__income(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__commentator__m,V__NUMBER)
           &
           s__instance(s__commentator__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__Process))
                 =>
                 ((s__commentator(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__siteCatalog__m,V__NUMBER)
           &
           s__instance(s__siteCatalog__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Database) &
                   s__instance(V__ROW3,s__WebSite))
                 =>
                 ((s__siteCatalog(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__dataStreamSlack__m,V__NUMBER)
           &
           s__instance(s__dataStreamSlack__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerPath) &
                   s__instance(V__ROW3,s__PositiveInteger))
                 =>
                 ((s__dataStreamSlack(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__sectorCompositionOfGDPInPeriod__m,V__NUMBER)
           &
           s__instance(s__sectorCompositionOfGDPInPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__IndustryAttribute) &
                   s__instance(V__ROW4,s__RealNumber) &
                   s__subclass(V__ROW5,s__TimeInterval))
                 =>
                 ((s__sectorCompositionOfGDPInPeriod(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                   =>
                   ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__exportPartnerInPeriod__m,V__NUMBER)
           &
           s__instance(s__exportPartnerInPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__Agent) &
                   s__subclass(V__ROW4,s__TimeInterval))
                 =>
                 ((s__exportPartnerInPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__checkAccount__m,V__NUMBER)
           &
           s__instance(s__checkAccount__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Check) &
                   s__instance(V__ROW3,s__FinancialAccount))
                 =>
                 ((s__checkAccount(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__coldSeasonInArea__m,V__NUMBER)
           &
           s__instance(s__coldSeasonInArea__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__subclass(V__ROW3,s__TimeInterval))
                 =>
                 ((s__coldSeasonInArea(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__elevation__m,V__NUMBER)
           &
           s__instance(s__elevation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__elevation(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__commandLineArguments__m,V__NUMBER)
           &
           s__instance(s__commandLineArguments__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerProgram) &
                   s__instance(V__ROW3,s__List))
                 =>
                 ((s__commandLineArguments(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__processList__m,V__NUMBER)
           &
           s__instance(s__processList__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             ((s__processList__3(V__ROW2,V__ROW3,V__ROW4)
               =>
               ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
               = V__NUMBER)))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__son__m,V__NUMBER)
           &
           s__instance(s__son__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Organism) &
                   s__instance(V__ROW3,s__Organism))
                 =>
                 ((s__son(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__importPartnerByFraction__m,V__NUMBER)
           &
           s__instance(s__importPartnerByFraction__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__GeopoliticalArea) &
                   s__instance(V__ROW4,s__PositiveRealNumber))
                 =>
                 ((s__importPartnerByFraction(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__lengthOfDualGaugeRailway__m,V__NUMBER)
           &
           s__instance(s__lengthOfDualGaugeRailway__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__lengthOfDualGaugeRailway(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__instance__m,V__NUMBER)
           &
           s__instance(s__instance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW3,s__Class) =>
                 ((s__instance(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__increasesLikelihood__m,V__NUMBER)
           &
           s__instance(s__increasesLikelihood__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Formula) &
                   s__instance(V__ROW3,s__Formula))
                 =>
                 ((s__increasesLikelihood(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__part__m,V__NUMBER)
           &
           s__instance(s__part__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__part(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fathersSistersHusband__m,V__NUMBER)
           &
           s__instance(s__fathersSistersHusband__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__fathersSistersHusband(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fathersBrothersSon__m,V__NUMBER)
           &
           s__instance(s__fathersBrothersSon__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__fathersBrothersSon(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__reservePrice__m,V__NUMBER)
           &
           s__instance(s__reservePrice__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Auctioning) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__reservePrice(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__albumType__m,V__NUMBER)
           &
           s__instance(s__albumType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Album) &
                   s__instance(V__ROW3,s__RelationalAttribute))
                 =>
                 ((s__albumType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__headOfGovernment__m,V__NUMBER)
           &
           s__instance(s__headOfGovernment__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__Position) &
                   s__instance(V__ROW4,s__Human))
                 =>
                 ((s__headOfGovernment(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__recordingCompany__m,V__NUMBER)
           &
           s__instance(s__recordingCompany__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Recording) &
                   s__instance(V__ROW3,s__Organization))
                 =>
                 ((s__recordingCompany(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__deprivesNorm__m,V__NUMBER)
           &
           s__instance(s__deprivesNorm__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW3,s__Formula) &
                   s__instance(V__ROW4,s__ObjectiveNorm))
                 =>
                 ((s__deprivesNorm(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fiscalYearPeriod__m,V__NUMBER)
           &
           s__instance(s__fiscalYearPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__subclass(V__ROW3,s__TimeInterval))
                 =>
                 ((s__fiscalYearPeriod(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__benchmark__m,V__NUMBER)
           &
           s__instance(s__benchmark__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Abstract) &
                   s__instance(V__ROW3,s__PerformanceMeasure))
                 =>
                 ((s__benchmark(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__birthdate__m,V__NUMBER)
           &
           s__instance(s__birthdate__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__Day))
                 =>
                 ((s__birthdate(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__webPurchases__m,V__NUMBER)
           &
           s__instance(s__webPurchases__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Collection) &
                   s__instance(V__ROW3,s__Human) &
                   s__instance(V__ROW4,s__WebSite))
                 =>
                 ((s__webPurchases(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__economicAidDonated__m,V__NUMBER)
           &
           s__instance(s__economicAidDonated__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__economicAidDonated(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__disjointDecomposition__m,V__NUMBER)
           &
           s__instance(s__disjointDecomposition__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5, V__ROW6, V__ROW7, V__ROW8] :
             (((s__instance(V__ROW2,s__Class) &
                   s__instance(V__ROW3,s__Class) &
                   s__instance(V__ROW4,s__Class) &
                   s__instance(V__ROW5,s__Class) &
                   s__instance(V__ROW6,s__Class) &
                   s__instance(V__ROW7,s__Class) &
                   s__instance(V__ROW8,s__Class))
                 =>
                 ((s__disjointDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
                   =>
                   ((s__ListLengthFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__attorney__m,V__NUMBER)
           &
           s__instance(s__attorney__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__LegalAction) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__attorney(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subordinateInOrganization__m,V__NUMBER)
           &
           s__instance(s__subordinateInOrganization__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Organization) &
                   s__instance(V__ROW3,s__Human) &
                   s__instance(V__ROW4,s__Human))
                 =>
                 ((s__subordinateInOrganization(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__changesLocation__m,V__NUMBER)
           &
           s__instance(s__changesLocation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Translocation) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__changesLocation(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__eventLocated__m,V__NUMBER)
           &
           s__instance(s__eventLocated__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Process) =>
                 ((s__eventLocated(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__processList__m,V__NUMBER)
           &
           s__instance(s__processList__m,s__Predicate))
         =>
         (( ! [V__ROW2] :
             ((s__processList__1(V__ROW2)
               =>
               ((s__ListLengthFn(s__ListFn__1Fn(V__ROW2))
               = V__NUMBER)))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__engineCylinders__m,V__NUMBER)
           &
           s__instance(s__engineCylinders__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Engine) &
                   s__instance(V__ROW3,s__NonnegativeInteger))
                 =>
                 ((s__engineCylinders(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__arableLandArea__m,V__NUMBER)
           &
           s__instance(s__arableLandArea__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__ConstantQuantity))
                 =>
                 ((s__arableLandArea(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__vesselDisplacement__m,V__NUMBER)
           &
           s__instance(s__vesselDisplacement__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__WaterVehicle) &
                   s__instance(V__ROW3,s__PhysicalQuantity))
                 =>
                 ((s__vesselDisplacement(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__slopeGradientTowardsOrientation__m,V__NUMBER)
           &
           s__instance(s__slopeGradientTowardsOrientation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__LandArea) &
                   s__instance(V__ROW3,s__DirectionalAttribute) &
                   s__instance(V__ROW4,s__RealNumber))
                 =>
                 ((s__slopeGradientTowardsOrientation(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__taxDeferredIncome__m,V__NUMBER)
           &
           s__instance(s__taxDeferredIncome__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__CurrencyMeasure) &
                   s__instance(V__ROW4,s__OrganizationalProcess))
                 =>
                 ((s__taxDeferredIncome(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__contraryAttribute__m,V__NUMBER)
           &
           s__instance(s__contraryAttribute__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Attribute) &
                   s__instance(V__ROW3,s__Attribute))
                 =>
                 ((s__contraryAttribute__2(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__accountAt__m,V__NUMBER)
           &
           s__instance(s__accountAt__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__FinancialOrganization))
                 =>
                 ((s__accountAt(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fathersBrothersDaughter__m,V__NUMBER)
           &
           s__instance(s__fathersBrothersDaughter__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__fathersBrothersDaughter(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__objectTransferred__m,V__NUMBER)
           &
           s__instance(s__objectTransferred__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Transfer) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__objectTransferred(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__coaches__m,V__NUMBER)
           &
           s__instance(s__coaches__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__coaches(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__softwarePath__m,V__NUMBER)
           &
           s__instance(s__softwarePath__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SoftwareSystem) &
                   s__instance(V__ROW3,s__ComputerPath))
                 =>
                 ((s__softwarePath(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__totalLengthOfHighwaySystem__m,V__NUMBER)
           &
           s__instance(s__totalLengthOfHighwaySystem__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__totalLengthOfHighwaySystem(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__abbreviation__m,V__NUMBER)
           &
           s__instance(s__abbreviation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__SymbolicString) =>
                 ((s__abbreviation(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__immediateInstance__m,V__NUMBER)
           &
           s__instance(s__immediateInstance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__immediateInstance(V__ROW2,V__ROW3)
               =>
               ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
               = V__NUMBER)))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__areaOfResponsibility__m,V__NUMBER)
           &
           s__instance(s__areaOfResponsibility__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__subclass(V__ROW3,s__Process) &
                   s__instance(V__ROW4,s__GeographicArea))
                 =>
                 ((s__areaOfResponsibility(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__experimentalVariableProcess__m,V__NUMBER)
           &
           s__instance(s__experimentalVariableProcess__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Experimenting) &
                   s__instance(V__ROW3,s__Process))
                 =>
                 ((s__experimentalVariableProcess(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__coworker__m,V__NUMBER)
           &
           s__instance(s__coworker__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__coworker(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__validPaymentType__m,V__NUMBER)
           &
           s__instance(s__validPaymentType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__PricingScheme) &
                   s__subclass(V__ROW3,s__Payment))
                 =>
                 ((s__validPaymentType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subList__m,V__NUMBER)
           &
           s__instance(s__subList__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__List) &
                   s__instance(V__ROW3,s__List))
                 =>
                 ((s__subList(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__accessibleFromMenuItem__m,V__NUMBER)
           &
           s__instance(s__accessibleFromMenuItem__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW3,s__ComputerMenuItem) =>
                 ((s__accessibleFromMenuItem(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__refers__m,V__NUMBER)
           &
           s__instance(s__refers__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__refers(V__ROW2,V__ROW3)
               =>
               ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
               = V__NUMBER)))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__personTransportCapability__m,V__NUMBER)
           &
           s__instance(s__personTransportCapability__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__PassengerVehicle) &
                   s__instance(V__ROW3,s__PositiveInteger))
                 =>
                 ((s__personTransportCapability(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__manufacturer__m,V__NUMBER)
           &
           s__instance(s__manufacturer__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__manufacturer(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__compressionRatio__m,V__NUMBER)
           &
           s__instance(s__compressionRatio__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Engine) &
                   s__instance(V__ROW3,s__RealNumber))
                 =>
                 ((s__compressionRatio(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__batchLatency__m,V__NUMBER)
           &
           s__instance(s__batchLatency__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerPath) &
                   s__instance(V__ROW3,s__TimeDuration))
                 =>
                 ((s__batchLatency(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__offersAtTime__m,V__NUMBER)
           &
           s__instance(s__offersAtTime__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW4,s__TimeInterval))
                 =>
                 ((s__offersAtTime(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__contractor__m,V__NUMBER)
           &
           s__instance(s__contractor__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__StationaryArtifact) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__contractor(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__sententialSubject__m,V__NUMBER)
           &
           s__instance(s__sententialSubject__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__NounPhrase) &
                   s__instance(V__ROW3,s__Sentence))
                 =>
                 ((s__sententialSubject(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__mothersSistersHusband__m,V__NUMBER)
           &
           s__instance(s__mothersSistersHusband__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__mothersSistersHusband(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__carrierFrequency__m,V__NUMBER)
           &
           s__instance(s__carrierFrequency__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Radiating) &
                   s__instance(V__ROW3,s__PhysicalQuantity))
                 =>
                 ((s__carrierFrequency(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__highAltitudeWindVelocity__m,V__NUMBER)
           &
           s__instance(s__highAltitudeWindVelocity__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__PhysicalQuantity) &
                   s__instance(V__ROW4,s__DirectionalAttribute))
                 =>
                 ((s__highAltitudeWindVelocity(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__totalBiomass__m,V__NUMBER)
           &
           s__instance(s__totalBiomass__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__PhysicalQuantity))
                 =>
                 ((s__totalBiomass(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subLanguage__m,V__NUMBER)
           &
           s__instance(s__subLanguage__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Language) &
                   s__instance(V__ROW3,s__Language))
                 =>
                 ((s__subLanguage(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__meetsSpatially__m,V__NUMBER)
           &
           s__instance(s__meetsSpatially__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__meetsSpatially(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__sliceOfFigure__m,V__NUMBER)
           &
           s__instance(s__sliceOfFigure__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TwoDimensionalObject) &
                   s__instance(V__ROW3,s__CorpuscularObject))
                 =>
                 ((s__sliceOfFigure(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__processList__m,V__NUMBER)
           &
           s__instance(s__processList__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5, V__ROW6, V__ROW7, V__ROW8] :
             ((s__processList__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
               =>
               ((s__ListLengthFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
               = V__NUMBER)))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__processList__m,V__NUMBER)
           &
           s__instance(s__processList__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             ((s__processList__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
               =>
               ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
               = V__NUMBER)))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__mothersSistersDaughter__m,V__NUMBER)
           &
           s__instance(s__mothersSistersDaughter__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__mothersSistersDaughter(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__total__m,V__NUMBER)
           &
           s__instance(s__total__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Class) &
                   s__instance(V__ROW3,s__Quantity))
                 =>
                 ((s__total(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__capacity__m,V__NUMBER)
           &
           s__instance(s__capacity__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SelfConnectedObject) &
                   s__instance(V__ROW3,s__ConstantQuantity))
                 =>
                 ((s__capacity(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__developmentalForm__m,V__NUMBER)
           &
           s__instance(s__developmentalForm__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__OrganicObject) &
                   s__instance(V__ROW3,s__DevelopmentalAttribute))
                 =>
                 ((s__developmentalForm(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__memorySize__m,V__NUMBER)
           &
           s__instance(s__memorySize__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputationalSystem) &
                   s__instance(V__ROW3,s__ConstantQuantity))
                 =>
                 ((s__memorySize(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__musicVideo__m,V__NUMBER)
           &
           s__instance(s__musicVideo__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__MusicRecording) &
                   s__instance(V__ROW3,s__VideoRecording))
                 =>
                 ((s__musicVideo(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__cohabitant__m,V__NUMBER)
           &
           s__instance(s__cohabitant__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__cohabitant(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__exhaustiveAttribute__m,V__NUMBER)
           &
           s__instance(s__exhaustiveAttribute__m,s__Predicate))
         =>
         (( ! [V__ROW2] :
             ((s__subclass(V__ROW2,s__Attribute) =>
                 ((s__exhaustiveAttribute__1(V__ROW2)
                   =>
                   ((s__ListLengthFn(s__ListFn__1Fn(V__ROW2))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__exportTotalInPeriod__m,V__NUMBER)
           &
           s__instance(s__exportTotalInPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__CurrencyMeasure) &
                   s__subclass(V__ROW4,s__TimeInterval))
                 =>
                 ((s__exportTotalInPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__capableAtLocation__m,V__NUMBER)
           &
           s__instance(s__capableAtLocation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             (((s__subclass(V__ROW2,s__Process) &
                   s__instance(V__ROW3,s__CaseRole) &
                   s__instance(V__ROW4,s__Object) &
                   s__instance(V__ROW5,s__Region))
                 =>
                 ((s__capableAtLocation(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                   =>
                   ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__perpetrator__m,V__NUMBER)
           &
           s__instance(s__perpetrator__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__CriminalAction) =>
                 ((s__perpetrator(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__marginBalanceAmount__m,V__NUMBER)
           &
           s__instance(s__marginBalanceAmount__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__Day) &
                   s__instance(V__ROW4,s__CurrencyMeasure))
                 =>
                 ((s__marginBalanceAmount(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__constructionPeriod__m,V__NUMBER)
           &
           s__instance(s__constructionPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__StationaryArtifact) &
                   s__instance(V__ROW3,s__TimeInterval))
                 =>
                 ((s__constructionPeriod(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__reservationStart__m,V__NUMBER)
           &
           s__instance(s__reservationStart__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TimePoint) &
                   s__instance(V__ROW3,s__Reservation))
                 =>
                 ((s__reservationStart(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__maritimeClaimType__m,V__NUMBER)
           &
           s__instance(s__maritimeClaimType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__subclass(V__ROW3,s__MaritimeClaimArea))
                 =>
                 ((s__maritimeClaimType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__uncle__m,V__NUMBER)
           &
           s__instance(s__uncle__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Man) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__uncle(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__batchInterArrival__m,V__NUMBER)
           &
           s__instance(s__batchInterArrival__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerPath) &
                   s__instance(V__ROW3,s__TimeDuration))
                 =>
                 ((s__batchInterArrival(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__vegetationTypePattern__m,V__NUMBER)
           &
           s__instance(s__vegetationTypePattern__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__subclass(V__ROW3,s__Plant) &
                   s__instance(V__ROW4,s__Attribute))
                 =>
                 ((s__vegetationTypePattern(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__holdsObligation__m,V__NUMBER)
           &
           s__instance(s__holdsObligation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Formula) &
                   s__instance(V__ROW3,s__CognitiveAgent))
                 =>
                 ((s__holdsObligation(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__during__m,V__NUMBER)
           &
           s__instance(s__during__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TimeInterval) &
                   s__instance(V__ROW3,s__TimeInterval))
                 =>
                 ((s__during(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__precipitationRate__m,V__NUMBER)
           &
           s__instance(s__precipitationRate__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Precipitation) &
                   s__instance(V__ROW3,s__FunctionQuantity))
                 =>
                 ((s__precipitationRate(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__postCountry__m,V__NUMBER)
           &
           s__instance(s__postCountry__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__PostalPlace) &
                   s__instance(V__ROW3,s__GeopoliticalArea))
                 =>
                 ((s__postCountry(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__courseWRTMagneticNorth__m,V__NUMBER)
           &
           s__instance(s__courseWRTMagneticNorth__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Physical) &
                   s__instance(V__ROW3,s__Physical) &
                   s__instance(V__ROW4,s__PlaneAngleMeasure))
                 =>
                 ((s__courseWRTMagneticNorth(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__treatedPage__m,V__NUMBER)
           &
           s__instance(s__treatedPage__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__WebPage) &
                   s__instance(V__ROW3,s__Experimenting))
                 =>
                 ((s__treatedPage(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__connectsEngineeringComponents__m,V__NUMBER)
           &
           s__instance(s__connectsEngineeringComponents__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__EngineeringConnection) &
                   s__instance(V__ROW3,s__EngineeringComponent) &
                   s__instance(V__ROW4,s__EngineeringComponent))
                 =>
                 ((s__connectsEngineeringComponents(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__humanName__m,V__NUMBER)
           &
           s__instance(s__humanName__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__humanName(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__afterTaxIncome__m,V__NUMBER)
           &
           s__instance(s__afterTaxIncome__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__CurrencyMeasure) &
                   s__instance(V__ROW4,s__OrganizationalProcess))
                 =>
                 ((s__afterTaxIncome(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__judge__m,V__NUMBER)
           &
           s__instance(s__judge__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Process) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__judge(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__primaryGeopoliticalSubdivision__m,V__NUMBER)
           &
           s__instance(s__primaryGeopoliticalSubdivision__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__GeopoliticalArea))
                 =>
                 ((s__primaryGeopoliticalSubdivision(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__lengthOfStandardGaugeRailway__m,V__NUMBER)
           &
           s__instance(s__lengthOfStandardGaugeRailway__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__lengthOfStandardGaugeRailway(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__musicChartBy__m,V__NUMBER)
           &
           s__instance(s__musicChartBy__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__MusicChart) &
                   s__instance(V__ROW3,s__CognitiveAgent))
                 =>
                 ((s__musicChartBy(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__absorbedDose__m,V__NUMBER)
           &
           s__instance(s__absorbedDose__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__RadiationMeasure))
                 =>
                 ((s__absorbedDose(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__lengthOfNarrowGaugeRailway__m,V__NUMBER)
           &
           s__instance(s__lengthOfNarrowGaugeRailway__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__lengthOfNarrowGaugeRailway(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__portNumber__m,V__NUMBER)
           &
           s__instance(s__portNumber__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerProgram) &
                   s__instance(V__ROW3,s__PositiveInteger))
                 =>
                 ((s__portNumber(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__element__m,V__NUMBER)
           &
           s__instance(s__element__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW3,s__Set) =>
                 ((s__element(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__effectiveDose__m,V__NUMBER)
           &
           s__instance(s__effectiveDose__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__BiochemicalAgent) &
                   s__instance(V__ROW3,s__FunctionQuantity))
                 =>
                 ((s__effectiveDose(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__bandwidth__m,V__NUMBER)
           &
           s__instance(s__bandwidth__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerNetwork) &
                   s__instance(V__ROW3,s__FunctionQuantity))
                 =>
                 ((s__bandwidth(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__causes__m,V__NUMBER)
           &
           s__instance(s__causes__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Process) &
                   s__instance(V__ROW3,s__Process))
                 =>
                 ((s__causes(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__unitNumber__m,V__NUMBER)
           &
           s__instance(s__unitNumber__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__PostalPlace))
                 =>
                 ((s__unitNumber(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__alias__m,V__NUMBER)
           &
           s__instance(s__alias__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__alias(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__underageUser__m,V__NUMBER)
           &
           s__instance(s__underageUser__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__WebSite))
                 =>
                 ((s__underageUser(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__screenOfGUIE__m,V__NUMBER)
           &
           s__instance(s__screenOfGUIE__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GUIElement) &
                   s__instance(V__ROW3,s__ComputerScreen))
                 =>
                 ((s__screenOfGUIE(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__unratifiedSignatoryToAgreement__m,V__NUMBER)
           &
           s__instance(s__unratifiedSignatoryToAgreement__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__Agreement))
                 =>
                 ((s__unratifiedSignatoryToAgreement(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__identicalListItems__m,V__NUMBER)
           &
           s__instance(s__identicalListItems__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__List) &
                   s__instance(V__ROW3,s__List))
                 =>
                 ((s__identicalListItems(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__riskTolerance__m,V__NUMBER)
           &
           s__instance(s__riskTolerance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Investor) &
                   s__instance(V__ROW3,s__RiskAttribute))
                 =>
                 ((s__riskTolerance(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__strictness__m,V__NUMBER)
           &
           s__instance(s__strictness__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__RealtimeSystem) &
                   s__instance(V__ROW3,s__StrictnessAttribute))
                 =>
                 ((s__strictness(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__biochemicalAgentDelivery__m,V__NUMBER)
           &
           s__instance(s__biochemicalAgentDelivery__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__BiochemicalAgent) &
                   s__subclass(V__ROW3,s__Process))
                 =>
                 ((s__biochemicalAgentDelivery(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__albumLength__m,V__NUMBER)
           &
           s__instance(s__albumLength__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Album) &
                   s__instance(V__ROW3,s__TimeDuration))
                 =>
                 ((s__albumLength(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__atTheMoney__m,V__NUMBER)
           &
           s__instance(s__atTheMoney__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Option) &
                   s__instance(V__ROW3,s__TimePosition))
                 =>
                 ((s__atTheMoney(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__transported__m,V__NUMBER)
           &
           s__instance(s__transported__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Transportation) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__transported(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__material__m,V__NUMBER)
           &
           s__instance(s__material__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__Substance) &
                   s__instance(V__ROW3,s__CorpuscularObject))
                 =>
                 ((s__material(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__allowableValue__m,V__NUMBER)
           &
           s__instance(s__allowableValue__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__MeasurementAttribute) &
                   s__instance(V__ROW4,s__Quantity))
                 =>
                 ((s__allowableValue(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__hostOf__m,V__NUMBER)
           &
           s__instance(s__hostOf__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputationalSystem) &
                   s__instance(V__ROW3,s__Computer))
                 =>
                 ((s__hostOf(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__mapOfArea__m,V__NUMBER)
           &
           s__instance(s__mapOfArea__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Region) &
                   s__instance(V__ROW3,s__SymbolicString))
                 =>
                 ((s__mapOfArea(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__confirmationNumber__m,V__NUMBER)
           &
           s__instance(s__confirmationNumber__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__FinancialTransaction) &
                   s__instance(V__ROW3,s__SymbolicString))
                 =>
                 ((s__confirmationNumber(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__thresholdOf__m,V__NUMBER)
           &
           s__instance(s__thresholdOf__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Computer) &
                   s__instance(V__ROW3,s__PositiveRealNumber))
                 =>
                 ((s__thresholdOf(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__seatsInOrganizationCount__m,V__NUMBER)
           &
           s__instance(s__seatsInOrganizationCount__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Organization) &
                   s__instance(V__ROW3,s__Integer))
                 =>
                 ((s__seatsInOrganizationCount(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__floorCode__m,V__NUMBER)
           &
           s__instance(s__floorCode__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__PostalPlace))
                 =>
                 ((s__floorCode(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__relatedExternalConcept__m,V__NUMBER)
           &
           s__instance(s__relatedExternalConcept__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW4,s__Language))
                 =>
                 ((s__relatedExternalConcept(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__vesselGrossRegisteredTonnage__m,V__NUMBER)
           &
           s__instance(s__vesselGrossRegisteredTonnage__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__WaterVehicle) &
                   s__instance(V__ROW3,s__PhysicalQuantity))
                 =>
                 ((s__vesselGrossRegisteredTonnage(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__occupation__m,V__NUMBER)
           &
           s__instance(s__occupation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__FinancialTransaction))
                 =>
                 ((s__occupation(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__observedAtTimeInPlace__m,V__NUMBER)
           &
           s__instance(s__observedAtTimeInPlace__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Agent) &
                   s__instance(V__ROW4,s__TimePosition) &
                   s__instance(V__ROW5,s__Object))
                 =>
                 ((s__observedAtTimeInPlace(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                   =>
                   ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__minDeviceOperatingTemp__m,V__NUMBER)
           &
           s__instance(s__minDeviceOperatingTemp__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Device) &
                   s__instance(V__ROW3,s__TemperatureMeasure))
                 =>
                 ((s__minDeviceOperatingTemp(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__sphereRadius__m,V__NUMBER)
           &
           s__instance(s__sphereRadius__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__sphereRadius(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__loanInterest__m,V__NUMBER)
           &
           s__instance(s__loanInterest__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Loan) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__loanInterest(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__governorSpeed__m,V__NUMBER)
           &
           s__instance(s__governorSpeed__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SpeedGovernor) &
                   s__instance(V__ROW3,s__FunctionQuantity))
                 =>
                 ((s__governorSpeed(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subset__m,V__NUMBER)
           &
           s__instance(s__subset__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Set) &
                   s__instance(V__ROW3,s__Set))
                 =>
                 ((s__subset(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__domain__m,V__NUMBER)
           &
           s__instance(s__domain__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Relation) &
                   s__instance(V__ROW3,s__PositiveInteger) &
                   s__instance(V__ROW4,s__Class))
                 =>
                 ((s__domain(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__trackWidth__m,V__NUMBER)
           &
           s__instance(s__trackWidth__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Railway) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__trackWidth(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__policyInclusion__m,V__NUMBER)
           &
           s__instance(s__policyInclusion__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__HotelPackage) &
                   s__subclass(V__ROW3,s__Policy))
                 =>
                 ((s__policyInclusion(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subString__m,V__NUMBER)
           &
           s__instance(s__subString__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__SymbolicString))
                 =>
                 ((s__subString(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__accountHolder__m,V__NUMBER)
           &
           s__instance(s__accountHolder__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__CognitiveAgent))
                 =>
                 ((s__accountHolder(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__hinders__m,V__NUMBER)
           &
           s__instance(s__hinders__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Process) &
                   s__subclass(V__ROW3,s__Process))
                 =>
                 ((s__hinders(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__internationalDispute__m,V__NUMBER)
           &
           s__instance(s__internationalDispute__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__GeopoliticalArea))
                 =>
                 ((s__internationalDispute(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__altitude__m,V__NUMBER)
           &
           s__instance(s__altitude__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Physical) &
                   s__instance(V__ROW3,s__Physical) &
                   s__instance(V__ROW4,s__LengthMeasure))
                 =>
                 ((s__altitude(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__courseWRTCompassNorth__m,V__NUMBER)
           &
           s__instance(s__courseWRTCompassNorth__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Physical) &
                   s__instance(V__ROW3,s__Physical) &
                   s__instance(V__ROW4,s__PlaneAngleMeasure))
                 =>
                 ((s__courseWRTCompassNorth(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__sideEffect__m,V__NUMBER)
           &
           s__instance(s__sideEffect__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__BiologicallyActiveSubstance) &
                   s__instance(V__ROW3,s__DiseaseOrSyndrome))
                 =>
                 ((s__sideEffect(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__unitMeasuringPerformance__m,V__NUMBER)
           &
           s__instance(s__unitMeasuringPerformance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerComponent) &
                   s__instance(V__ROW3,s__UnitOfMeasure))
                 =>
                 ((s__unitMeasuringPerformance(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__localLongName__m,V__NUMBER)
           &
           s__instance(s__localLongName__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__SymbolicString) =>
                 ((s__localLongName(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__angleOfFigure__m,V__NUMBER)
           &
           s__instance(s__angleOfFigure__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TwoDimensionalAngle) &
                   s__instance(V__ROW3,s__GeometricFigure))
                 =>
                 ((s__angleOfFigure(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__diseaseSymptom__m,V__NUMBER)
           &
           s__instance(s__diseaseSymptom__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__DiseaseOrSyndrome) &
                   s__instance(V__ROW3,s__DiseaseOrSyndrome))
                 =>
                 ((s__diseaseSymptom(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subProposition__m,V__NUMBER)
           &
           s__instance(s__subProposition__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Proposition) &
                   s__instance(V__ROW3,s__Proposition))
                 =>
                 ((s__subProposition(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__imageResolution__m,V__NUMBER)
           &
           s__instance(s__imageResolution__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ImageFile) &
                   s__instance(V__ROW3,s__PhysicalQuantity))
                 =>
                 ((s__imageResolution(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__hole__m,V__NUMBER)
           &
           s__instance(s__hole__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Hole) &
                   s__instance(V__ROW3,s__SelfConnectedObject))
                 =>
                 ((s__hole(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__disapproves__m,V__NUMBER)
           &
           s__instance(s__disapproves__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__CognitiveAgent) &
                   s__instance(V__ROW3,s__Formula))
                 =>
                 ((s__disapproves(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__accountAtSite__m,V__NUMBER)
           &
           s__instance(s__accountAtSite__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__UserAccount) &
                   s__instance(V__ROW3,s__WebSite))
                 =>
                 ((s__accountAtSite(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__dateEstablished__m,V__NUMBER)
           &
           s__instance(s__dateEstablished__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Physical) &
                   s__subclass(V__ROW3,s__TimePosition))
                 =>
                 ((s__dateEstablished(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__experimentalTreatmentCollection__m,V__NUMBER)
           &
           s__instance(s__experimentalTreatmentCollection__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Collection) &
                   s__instance(V__ROW3,s__Experimenting))
                 =>
                 ((s__experimentalTreatmentCollection(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__providesDestination__m,V__NUMBER)
           &
           s__instance(s__providesDestination__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TransportationCompany) &
                   s__instance(V__ROW3,s__Region))
                 =>
                 ((s__providesDestination(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subsumesContentInstance__m,V__NUMBER)
           &
           s__instance(s__subsumesContentInstance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ContentBearingPhysical) &
                   s__instance(V__ROW3,s__ContentBearingPhysical))
                 =>
                 ((s__subsumesContentInstance(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__externalDebt__m,V__NUMBER)
           &
           s__instance(s__externalDebt__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__externalDebt(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__connectedDownstream__m,V__NUMBER)
           &
           s__instance(s__connectedDownstream__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__connectedDownstream(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__disjointRelation__m,V__NUMBER)
           &
           s__instance(s__disjointRelation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Relation) &
                   s__instance(V__ROW3,s__Relation))
                 =>
                 ((s__disjointRelation(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__pathLength__m,V__NUMBER)
           &
           s__instance(s__pathLength__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GraphPath) &
                   s__instance(V__ROW3,s__PositiveInteger))
                 =>
                 ((s__pathLength(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__telecomAreaCode__m,V__NUMBER)
           &
           s__instance(s__telecomAreaCode__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__TelecomNumber))
                 =>
                 ((s__telecomAreaCode(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__agreementClause__m,V__NUMBER)
           &
           s__instance(s__agreementClause__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             (((s__instance(V__ROW2,s__Proposition) &
                   s__instance(V__ROW3,s__DeonticAttribute) &
                   s__instance(V__ROW4,s__Agreement) &
                   s__instance(V__ROW5,s__CognitiveAgent))
                 =>
                 ((s__agreementClause(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                   =>
                   ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__exhaustiveDecomposition__m,V__NUMBER)
           &
           s__instance(s__exhaustiveDecomposition__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5, V__ROW6] :
             (((s__instance(V__ROW2,s__Class) &
                   s__instance(V__ROW3,s__Class) &
                   s__instance(V__ROW4,s__Class) &
                   s__instance(V__ROW5,s__Class) &
                   s__instance(V__ROW6,s__Class))
                 =>
                 ((s__exhaustiveDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
                   =>
                   ((s__ListLengthFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__lastStatementBalance__m,V__NUMBER)
           &
           s__instance(s__lastStatementBalance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__lastStatementBalance(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__employeeContribution__m,V__NUMBER)
           &
           s__instance(s__employeeContribution__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__CurrencyMeasure) &
                   s__instance(V__ROW4,s__TimeInterval))
                 =>
                 ((s__employeeContribution(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__partition__m,V__NUMBER)
           &
           s__instance(s__partition__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             (((s__instance(V__ROW2,s__Class) &
                   s__instance(V__ROW3,s__Class) &
                   s__instance(V__ROW4,s__Class) &
                   s__instance(V__ROW5,s__Class))
                 =>
                 ((s__partition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                   =>
                   ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__ipAddressOf__m,V__NUMBER)
           &
           s__instance(s__ipAddressOf__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Computer) &
                   s__instance(V__ROW3,s__IPAddress))
                 =>
                 ((s__ipAddressOf(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__externalImage__m,V__NUMBER)
           &
           s__instance(s__externalImage__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW3,s__SymbolicString) =>
                 ((s__externalImage(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__objectAttached__m,V__NUMBER)
           &
           s__instance(s__objectAttached__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Process) =>
                 ((s__objectAttached(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__accommodationProvider__m,V__NUMBER)
           &
           s__instance(s__accommodationProvider__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__HotelPackage) &
                   s__instance(V__ROW3,s__Organization))
                 =>
                 ((s__accommodationProvider(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__discography__m,V__NUMBER)
           &
           s__instance(s__discography__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__CognitiveAgent) &
                   s__instance(V__ROW3,s__Discography))
                 =>
                 ((s__discography(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__typicalAction__m,V__NUMBER)
           &
           s__instance(s__typicalAction__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__Process) &
                   s__subclass(V__ROW3,s__Agent))
                 =>
                 ((s__typicalAction(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__statisticalPopulation__m,V__NUMBER)
           &
           s__instance(s__statisticalPopulation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Collection) &
                   s__instance(V__ROW3,s__Collection) &
                   s__instance(V__ROW4,s__Experimenting))
                 =>
                 ((s__statisticalPopulation(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__dataProcessed__m,V__NUMBER)
           &
           s__instance(s__dataProcessed__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerProcess) &
                   s__instance(V__ROW3,s__DigitalData))
                 =>
                 ((s__dataProcessed(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__betweenOnPath__m,V__NUMBER)
           &
           s__instance(s__betweenOnPath__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Object) &
                   s__instance(V__ROW4,s__Object) &
                   s__instance(V__ROW5,s__Object))
                 =>
                 ((s__betweenOnPath(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                   =>
                   ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__industrialProductionGrowthRate__m,V__NUMBER)
           &
           s__instance(s__industrialProductionGrowthRate__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__RealNumber))
                 =>
                 ((s__industrialProductionGrowthRate(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__defaultMinimumHeight__m,V__NUMBER)
           &
           s__instance(s__defaultMinimumHeight__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__defaultMinimumHeight(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__distance__m,V__NUMBER)
           &
           s__instance(s__distance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Physical) &
                   s__instance(V__ROW3,s__Physical) &
                   s__instance(V__ROW4,s__LengthMeasure))
                 =>
                 ((s__distance(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__internetCountryCode__m,V__NUMBER)
           &
           s__instance(s__internetCountryCode__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__SymbolicString))
                 =>
                 ((s__internetCountryCode(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__webcart__m,V__NUMBER)
           &
           s__instance(s__webcart__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__Collection) &
                   s__instance(V__ROW4,s__WebSite))
                 =>
                 ((s__webcart(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__designPattern__m,V__NUMBER)
           &
           s__instance(s__designPattern__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__RealtimeSystem) &
                   s__instance(V__ROW3,s__DesignPatternAttribute))
                 =>
                 ((s__designPattern(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__minCardinality__m,V__NUMBER)
           &
           s__instance(s__minCardinality__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Relation) &
                   s__instance(V__ROW3,s__Integer) &
                   s__instance(V__ROW4,s__Integer))
                 =>
                 ((s__minCardinality(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__mothersBrothersSon__m,V__NUMBER)
           &
           s__instance(s__mothersBrothersSon__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__mothersBrothersSon(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__averageRainfallForPeriod__m,V__NUMBER)
           &
           s__instance(s__averageRainfallForPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__Month) &
                   s__instance(V__ROW4,s__LengthMeasure))
                 =>
                 ((s__averageRainfallForPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__propositionOwner__m,V__NUMBER)
           &
           s__instance(s__propositionOwner__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__CognitiveAgent) &
                   s__instance(V__ROW3,s__Proposition))
                 =>
                 ((s__propositionOwner(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__permanentCropLandArea__m,V__NUMBER)
           &
           s__instance(s__permanentCropLandArea__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__ConstantQuantity))
                 =>
                 ((s__permanentCropLandArea(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__checkOutTime__m,V__NUMBER)
           &
           s__instance(s__checkOutTime__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__CognitiveAgent) &
                   s__instance(V__ROW3,s__TimePoint))
                 =>
                 ((s__checkOutTime(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__mutualAcquaintance__m,V__NUMBER)
           &
           s__instance(s__mutualAcquaintance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__mutualAcquaintance(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__exhaustiveAttribute__m,V__NUMBER)
           &
           s__instance(s__exhaustiveAttribute__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__Attribute) &
                   s__instance(V__ROW3,s__Attribute))
                 =>
                 ((s__exhaustiveAttribute__2(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__stockHolder__m,V__NUMBER)
           &
           s__instance(s__stockHolder__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Stock) &
                   s__instance(V__ROW3,s__CognitiveAgent))
                 =>
                 ((s__stockHolder(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__frequency__m,V__NUMBER)
           &
           s__instance(s__frequency__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__Process) &
                   s__instance(V__ROW3,s__TimeDuration))
                 =>
                 ((s__frequency(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__exhaustiveAttribute__m,V__NUMBER)
           &
           s__instance(s__exhaustiveAttribute__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5, V__ROW6, V__ROW7, V__ROW8] :
             (((s__subclass(V__ROW2,s__Attribute) &
                   s__instance(V__ROW3,s__Attribute) &
                   s__instance(V__ROW4,s__Attribute) &
                   s__instance(V__ROW5,s__Attribute) &
                   s__instance(V__ROW6,s__Attribute) &
                   s__instance(V__ROW7,s__Attribute) &
                   s__instance(V__ROW8,s__Attribute))
                 =>
                 ((s__exhaustiveAttribute__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
                   =>
                   ((s__ListLengthFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__minCylinderVolume__m,V__NUMBER)
           &
           s__instance(s__minCylinderVolume__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Engine) &
                   s__instance(V__ROW3,s__VolumeMeasure))
                 =>
                 ((s__minCylinderVolume(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__conveyance__m,V__NUMBER)
           &
           s__instance(s__conveyance__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Transportation) &
                   s__instance(V__ROW3,s__TransportationDevice))
                 =>
                 ((s__conveyance(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__status__m,V__NUMBER)
           &
           s__instance(s__status__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerProcess) &
                   s__instance(V__ROW3,s__ProcessStatus))
                 =>
                 ((s__status(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__allRoomsPhysicalAmenity__m,V__NUMBER)
           &
           s__instance(s__allRoomsPhysicalAmenity__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__RoomInventory) &
                   s__subclass(V__ROW3,s__Object))
                 =>
                 ((s__allRoomsPhysicalAmenity(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__finishes__m,V__NUMBER)
           &
           s__instance(s__finishes__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TimeInterval) &
                   s__instance(V__ROW3,s__TimeInterval))
                 =>
                 ((s__finishes(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__directed__m,V__NUMBER)
           &
           s__instance(s__directed__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__MotionPicture))
                 =>
                 ((s__directed(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__annualExportTotal__m,V__NUMBER)
           &
           s__instance(s__annualExportTotal__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__annualExportTotal(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__confersObligation__m,V__NUMBER)
           &
           s__instance(s__confersObligation__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Formula) &
                   s__instance(V__ROW4,s__CognitiveAgent))
                 =>
                 ((s__confersObligation(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__conforms__m,V__NUMBER)
           &
           s__instance(s__conforms__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Proposition))
                 =>
                 ((s__conforms(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__partyToAgreement__m,V__NUMBER)
           &
           s__instance(s__partyToAgreement__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__CognitiveAgent) &
                   s__instance(V__ROW3,s__Agreement))
                 =>
                 ((s__partyToAgreement(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__dependencyDelay__m,V__NUMBER)
           &
           s__instance(s__dependencyDelay__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerProgram) &
                   s__instance(V__ROW3,s__TimeDuration))
                 =>
                 ((s__dependencyDelay(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__telecomCountryCode__m,V__NUMBER)
           &
           s__instance(s__telecomCountryCode__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__TelecomNumber))
                 =>
                 ((s__telecomCountryCode(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__incomeDistributionByGiniIndex__m,V__NUMBER)
           &
           s__instance(s__incomeDistributionByGiniIndex__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__NonnegativeRealNumber))
                 =>
                 ((s__incomeDistributionByGiniIndex(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__laborForceTotalInPeriod__m,V__NUMBER)
           &
           s__instance(s__laborForceTotalInPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__NonnegativeRealNumber) &
                   s__subclass(V__ROW4,s__TimeInterval))
                 =>
                 ((s__laborForceTotalInPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__releaseForConsumption__m,V__NUMBER)
           &
           s__instance(s__releaseForConsumption__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__subclass(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__GeographicArea) &
                   s__instance(V__ROW4,s__TimePoint))
                 =>
                 ((s__releaseForConsumption(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__father__m,V__NUMBER)
           &
           s__instance(s__father__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Organism) &
                   s__instance(V__ROW3,s__Organism))
                 =>
                 ((s__father(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__regionalIssue__m,V__NUMBER)
           &
           s__instance(s__regionalIssue__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__AreaOfConcern))
                 =>
                 ((s__regionalIssue(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__industryServiceType__m,V__NUMBER)
           &
           s__instance(s__industryServiceType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__IndustryAttribute) &
                   s__subclass(V__ROW3,s__IntentionalProcess))
                 =>
                 ((s__industryServiceType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__graphPart__m,V__NUMBER)
           &
           s__instance(s__graphPart__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GraphElement) &
                   s__instance(V__ROW3,s__Graph))
                 =>
                 ((s__graphPart(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__visibilityInMeteorology__m,V__NUMBER)
           &
           s__instance(s__visibilityInMeteorology__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__Region) &
                   s__instance(V__ROW3,s__TimePosition) &
                   s__instance(V__ROW4,s__LengthMeasure))
                 =>
                 ((s__visibilityInMeteorology(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__operator__m,V__NUMBER)
           &
           s__instance(s__operator__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__operator(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__stockSymbol__m,V__NUMBER)
           &
           s__instance(s__stockSymbol__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Stock) &
                   s__instance(V__ROW3,s__SymbolicString))
                 =>
                 ((s__stockSymbol(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__agriculturalProductType__m,V__NUMBER)
           &
           s__instance(s__agriculturalProductType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__subclass(V__ROW3,s__Object))
                 =>
                 ((s__agriculturalProductType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subCollection__m,V__NUMBER)
           &
           s__instance(s__subCollection__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Collection) &
                   s__instance(V__ROW3,s__Collection))
                 =>
                 ((s__subCollection(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__color__m,V__NUMBER)
           &
           s__instance(s__color__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__ColorAttribute))
                 =>
                 ((s__color(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__groundSurfaceType__m,V__NUMBER)
           &
           s__instance(s__groundSurfaceType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__LandArea) &
                   s__subclass(V__ROW3,s__Substance))
                 =>
                 ((s__groundSurfaceType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__protocolForConnector__m,V__NUMBER)
           &
           s__instance(s__protocolForConnector__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__ComputerProtocol) &
                   s__subclass(V__ROW3,s__EngineeringComponent))
                 =>
                 ((s__protocolForConnector(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__viewType__m,V__NUMBER)
           &
           s__instance(s__viewType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__subclass(V__ROW3,s__Physical))
                 =>
                 ((s__viewType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__task__m,V__NUMBER)
           &
           s__instance(s__task__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerProcess) &
                   s__instance(V__ROW3,s__ProcessTask))
                 =>
                 ((s__task(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__militaryExpendituresInUSDollarsInPeriod__m,V__NUMBER)
           &
           s__instance(s__militaryExpendituresInUSDollarsInPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__CurrencyMeasure) &
                   s__instance(V__ROW4,s__TimeInterval))
                 =>
                 ((s__militaryExpendituresInUSDollarsInPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__beforeOrEqual__m,V__NUMBER)
           &
           s__instance(s__beforeOrEqual__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TimePoint) &
                   s__instance(V__ROW3,s__TimePoint))
                 =>
                 ((s__beforeOrEqual(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__eveningPhone__m,V__NUMBER)
           &
           s__instance(s__eveningPhone__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SymbolicString) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__eveningPhone(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__physicalInclusion__m,V__NUMBER)
           &
           s__instance(s__physicalInclusion__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__HotelPackage) &
                   s__subclass(V__ROW3,s__Object))
                 =>
                 ((s__physicalInclusion(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__loss__m,V__NUMBER)
           &
           s__instance(s__loss__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__FinancialTransaction) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__loss(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__stored__m,V__NUMBER)
           &
           s__instance(s__stored__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ContentBearingObject) &
                   s__instance(V__ROW3,s__DataStorageDevice))
                 =>
                 ((s__stored(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__businessHours__m,V__NUMBER)
           &
           s__instance(s__businessHours__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__TimeInterval) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__businessHours(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__overlapsTemporally__m,V__NUMBER)
           &
           s__instance(s__overlapsTemporally__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TimeInterval) &
                   s__instance(V__ROW3,s__TimeInterval))
                 =>
                 ((s__overlapsTemporally(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__relatedEvent__m,V__NUMBER)
           &
           s__instance(s__relatedEvent__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Process) &
                   s__instance(V__ROW3,s__Process))
                 =>
                 ((s__relatedEvent(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__processList__m,V__NUMBER)
           &
           s__instance(s__processList__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5, V__ROW6, V__ROW7] :
             ((s__processList__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
               =>
               ((s__ListLengthFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
               = V__NUMBER)))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__naturalResourceTypeInArea__m,V__NUMBER)
           &
           s__instance(s__naturalResourceTypeInArea__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__subclass(V__ROW3,s__Object))
                 =>
                 ((s__naturalResourceTypeInArea(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__greaterThanByQuality__m,V__NUMBER)
           &
           s__instance(s__greaterThanByQuality__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             ((s__instance(V__ROW4,s__Attribute) =>
                 ((s__greaterThanByQuality(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__primeInterestRate__m,V__NUMBER)
           &
           s__instance(s__primeInterestRate__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Day) &
                   s__instance(V__ROW3,s__Number))
                 =>
                 ((s__primeInterestRate(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__someRoomsServiceAmenity__m,V__NUMBER)
           &
           s__instance(s__someRoomsServiceAmenity__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__RoomInventory) &
                   s__subclass(V__ROW3,s__ServiceProcess))
                 =>
                 ((s__someRoomsServiceAmenity(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__outOfTheMoney__m,V__NUMBER)
           &
           s__instance(s__outOfTheMoney__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Option) &
                   s__instance(V__ROW3,s__TimePosition))
                 =>
                 ((s__outOfTheMoney(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__coding__m,V__NUMBER)
           &
           s__instance(s__coding__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ContentBearingObject) &
                   s__instance(V__ROW3,s__CodingScheme))
                 =>
                 ((s__coding(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__flowCurrent__m,V__NUMBER)
           &
           s__instance(s__flowCurrent__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__WaterMotion) &
                   s__instance(V__ROW3,s__WaterArea))
                 =>
                 ((s__flowCurrent(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__premium__m,V__NUMBER)
           &
           s__instance(s__premium__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agreement) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__premium(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__paidRoomAmenity__m,V__NUMBER)
           &
           s__instance(s__paidRoomAmenity__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__subclass(V__ROW2,s__HotelUnit) =>
                 ((s__paidRoomAmenity(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__geographicSubregion__m,V__NUMBER)
           &
           s__instance(s__geographicSubregion__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__GeographicArea))
                 =>
                 ((s__geographicSubregion(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__underlier__m,V__NUMBER)
           &
           s__instance(s__underlier__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agreement) &
                   s__instance(V__ROW3,s__FinancialInstrument))
                 =>
                 ((s__underlier(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__overcastDaysInPeriod__m,V__NUMBER)
           &
           s__instance(s__overcastDaysInPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__TimeDuration) &
                   s__instance(V__ROW4,s__NonnegativeRealNumber))
                 =>
                 ((s__overcastDaysInPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__approximateDiameter__m,V__NUMBER)
           &
           s__instance(s__approximateDiameter__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__SelfConnectedObject) &
                   s__instance(V__ROW3,s__LengthMeasure))
                 =>
                 ((s__approximateDiameter(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__experiencer__m,V__NUMBER)
           &
           s__instance(s__experiencer__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Process) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__experiencer(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__governmentType__m,V__NUMBER)
           &
           s__instance(s__governmentType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__FormOfGovernment))
                 =>
                 ((s__governmentType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__periodicPayment__m,V__NUMBER)
           &
           s__instance(s__periodicPayment__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__CurrencyMeasure) &
                   s__instance(V__ROW4,s__TimeDuration))
                 =>
                 ((s__periodicPayment(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__telecomContactDevice__m,V__NUMBER)
           &
           s__instance(s__telecomContactDevice__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__TelephonyDevice) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__telecomContactDevice(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__postNeighborhood__m,V__NUMBER)
           &
           s__instance(s__postNeighborhood__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__PostalPlace) &
                   s__instance(V__ROW3,s__Neighborhood))
                 =>
                 ((s__postNeighborhood(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__chanceryFAXNumberInArea__m,V__NUMBER)
           &
           s__instance(s__chanceryFAXNumberInArea__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__SymbolicString) &
                   s__instance(V__ROW4,s__GeopoliticalArea))
                 =>
                 ((s__chanceryFAXNumberInArea(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__routeStart__m,V__NUMBER)
           &
           s__instance(s__routeStart__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Region) &
                   s__instance(V__ROW3,s__TransitSystem))
                 =>
                 ((s__routeStart(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__originalExpressedInLanguage__m,V__NUMBER)
           &
           s__instance(s__originalExpressedInLanguage__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Proposition) &
                   s__instance(V__ROW3,s__Language))
                 =>
                 ((s__originalExpressedInLanguage(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__unpaidItem__m,V__NUMBER)
           &
           s__instance(s__unpaidItem__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__Agent))
                 =>
                 ((s__unpaidItem(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__successorClass__m,V__NUMBER)
           &
           s__instance(s__successorClass__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Class) &
                   s__instance(V__ROW3,s__Class))
                 =>
                 ((s__successorClass(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fixedInterestRate__m,V__NUMBER)
           &
           s__instance(s__fixedInterestRate__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__Number))
                 =>
                 ((s__fixedInterestRate(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__floorLoan__m,V__NUMBER)
           &
           s__instance(s__floorLoan__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Loan) &
                   s__instance(V__ROW3,s__CurrencyMeasure))
                 =>
                 ((s__floorLoan(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__homeAddress__m,V__NUMBER)
           &
           s__instance(s__homeAddress__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__PermanentResidence) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__homeAddress(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__importCommodityType__m,V__NUMBER)
           &
           s__instance(s__importCommodityType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__subclass(V__ROW3,s__Object))
                 =>
                 ((s__importCommodityType(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__leader__m,V__NUMBER)
           &
           s__instance(s__leader__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__Human))
                 =>
                 ((s__leader(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__optionSeller__m,V__NUMBER)
           &
           s__instance(s__optionSeller__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agreement) &
                   s__instance(V__ROW3,s__CognitiveAgent))
                 =>
                 ((s__optionSeller(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__slidingWindowSize__m,V__NUMBER)
           &
           s__instance(s__slidingWindowSize__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ComputerPath) &
                   s__instance(V__ROW3,s__PositiveInteger))
                 =>
                 ((s__slidingWindowSize(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__language__m,V__NUMBER)
           &
           s__instance(s__language__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ContentBearingPhysical) &
                   s__instance(V__ROW3,s__Language))
                 =>
                 ((s__language(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__conversionEvent__m,V__NUMBER)
           &
           s__instance(s__conversionEvent__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Experimenting) &
                   s__instance(V__ROW3,s__Process))
                 =>
                 ((s__conversionEvent(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__finalExperimentReport__m,V__NUMBER)
           &
           s__instance(s__finalExperimentReport__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__ContentBearingPhysical) &
                   s__instance(V__ROW3,s__Experimenting))
                 =>
                 ((s__finalExperimentReport(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__importCommodityTypeByRank__m,V__NUMBER)
           &
           s__instance(s__importCommodityTypeByRank__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__subclass(V__ROW3,s__Object) &
                   s__instance(V__ROW4,s__PositiveInteger))
                 =>
                 ((s__importCommodityTypeByRank(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__paternalUncle__m,V__NUMBER)
           &
           s__instance(s__paternalUncle__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__paternalUncle(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__patientMedical__m,V__NUMBER)
           &
           s__instance(s__patientMedical__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Human) &
                   s__instance(V__ROW3,s__CognitiveAgent))
                 =>
                 ((s__patientMedical(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__phMeasure__m,V__NUMBER)
           &
           s__instance(s__phMeasure__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__AcidityMeasure))
                 =>
                 ((s__phMeasure(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__ageOfMajorityForProcess__m,V__NUMBER)
           &
           s__instance(s__ageOfMajorityForProcess__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__TimeDuration) &
                   s__instance(V__ROW3,s__GeopoliticalArea) &
                   s__subclass(V__ROW4,s__Process))
                 =>
                 ((s__ageOfMajorityForProcess(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__bankAccount__m,V__NUMBER)
           &
           s__instance(s__bankAccount__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__Bank_FinancialOrganization))
                 =>
                 ((s__bankAccount(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__prosecutor__m,V__NUMBER)
           &
           s__instance(s__prosecutor__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__LegalAction) =>
                 ((s__prosecutor(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__decreasesLikelihood__m,V__NUMBER)
           &
           s__instance(s__decreasesLikelihood__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Formula) &
                   s__instance(V__ROW3,s__Formula))
                 =>
                 ((s__decreasesLikelihood(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fOCShipsByOrigin__m,V__NUMBER)
           &
           s__instance(s__fOCShipsByOrigin__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__MerchantMarine) &
                   s__instance(V__ROW3,s__GeopoliticalArea) &
                   s__instance(V__ROW4,s__NonnegativeInteger))
                 =>
                 ((s__fOCShipsByOrigin(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__comparativeArea__m,V__NUMBER)
           &
           s__instance(s__comparativeArea__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5] :
             (((s__instance(V__ROW2,s__GeographicArea) &
                   s__instance(V__ROW3,s__BinaryRelationExtendedToQuantities) &
                   s__instance(V__ROW4,s__PositiveRealNumber) &
                   s__instance(V__ROW5,s__GeographicArea))
                 =>
                 ((s__comparativeArea(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                   =>
                   ((s__ListLengthFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__successEvent__m,V__NUMBER)
           &
           s__instance(s__successEvent__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Experimenting) &
                   s__instance(V__ROW3,s__Process))
                 =>
                 ((s__successEvent(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__fathersSistersSon__m,V__NUMBER)
           &
           s__instance(s__fathersSistersSon__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             ((s__instance(V__ROW2,s__Organism) =>
                 ((s__fathersSistersSon(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__industrialProductionGrowthRateInPeriod__m,V__NUMBER)
           &
           s__instance(s__industrialProductionGrowthRateInPeriod__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,s__GeopoliticalArea) &
                   s__instance(V__ROW3,s__RealNumber) &
                   s__subclass(V__ROW4,s__TimeInterval))
                 =>
                 ((s__industrialProductionGrowthRateInPeriod(V__ROW2,V__ROW3,V__ROW4)
                   =>
                   ((s__ListLengthFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__subPlan__m,V__NUMBER)
           &
           s__instance(s__subPlan__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Plan) &
                   s__instance(V__ROW3,s__Plan))
                 =>
                 ((s__subPlan(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__meltingPoint__m,V__NUMBER)
           &
           s__instance(s__meltingPoint__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__PureSubstance) &
                   s__instance(V__ROW3,s__TemperatureMeasure))
                 =>
                 ((s__meltingPoint(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__playsRoleInEventOfType__m,V__NUMBER)
           &
           s__instance(s__playsRoleInEventOfType__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4, V__ROW5, V__ROW6] :
             (((s__instance(V__ROW2,s__Object) &
                   s__instance(V__ROW3,s__CaseRole) &
                   s__subclass(V__ROW4,s__Process) &
                   s__instance(V__ROW5,s__TimePosition) &
                   s__instance(V__ROW6,s__Object))
                 =>
                 ((s__playsRoleInEventOfType(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
                   =>
                   ((s__ListLengthFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__treatmentGroup__m,V__NUMBER)
           &
           s__instance(s__treatmentGroup__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Collection) &
                   s__instance(V__ROW3,s__Experimenting))
                 =>
                 ((s__treatmentGroup(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__irreflexiveOn__m,V__NUMBER)
           &
           s__instance(s__irreflexiveOn__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__BinaryRelation) &
                   s__instance(V__ROW3,s__Class))
                 =>
                 ((s__irreflexiveOn(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__burialplace__m,V__NUMBER)
           &
           s__instance(s__burialplace__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Animal) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__burialplace(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__reflexiveOn__m,V__NUMBER)
           &
           s__instance(s__reflexiveOn__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__BinaryRelation) &
                   s__instance(V__ROW3,s__Class))
                 =>
                 ((s__reflexiveOn(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__lastStatement__m,V__NUMBER)
           &
           s__instance(s__lastStatement__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__FinancialAccount) &
                   s__instance(V__ROW3,s__BankStatement))
                 =>
                 ((s__lastStatement(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__hasAward__m,V__NUMBER)
           &
           s__instance(s__hasAward__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Agent) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__hasAward(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__antagonistMuscles__m,V__NUMBER)
           &
           s__instance(s__antagonistMuscles__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__subclass(V__ROW2,s__Muscle) &
                   s__subclass(V__ROW3,s__Muscle))
                 =>
                 ((s__antagonistMuscles(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__partlyLocated__m,V__NUMBER)
           &
           s__instance(s__partlyLocated__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3] :
             (((s__instance(V__ROW2,s__Physical) &
                   s__instance(V__ROW3,s__Object))
                 =>
                 ((s__partlyLocated(V__ROW2,V__ROW3)
                   =>
                   ((s__ListLengthFn(s__ListFn__2Fn(V__ROW2,V__ROW3))
                   = V__NUMBER)))))))))))
)
)

( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__PositiveInteger) =>
       (((s__valence(s__translatedTitle__m,V__NUMBER)
           &
           s__instance(s__translatedTitle__m,s__Predicate))
         =>
         (( ! [V__ROW2, V__ROW3, V__ROW4] :
             (((s__instance(V__ROW2,