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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - domain
domain

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


s__documentation(s__domain__m,s__ChineseLanguage,'"为声明某种特定关系参数的类型, 提供一个便利计算机和应用启发 式运算的机制。公式(domain ?REL ?INT ?CLASS)的意思是在?REL关系中,每个元组的第?INT个元素,必须是 ?CLASS种的一个实例。 指定参数类型对维护知识本体甚有裨益。 表示知识的系统可以使用这些规范来把术语分类, 并检查系统的完整性约束有否受到破坏。如果出现某个Relation参数类型的限制,还没有在知识本体内现有 SetOrClass 定义所描述时,可以使用 UnionFnIntersectionFn 等这些功能,来逐一指定该 SetOrClass 的限制。"')

chinese_format.kif 1380-1385
s__documentation(s__domain__m,s__EnglishLanguage,'"Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL ?INT ?CLASS) means that the ?INTth element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a SetOrClass already defined in the ontology, one can specify a SetOrClass compositionally with the functions UnionFn, IntersectionFn, etc."')

Merge.kif 209-217
s__domain(s__domain__m,n__1,s__Relation)

Merge.kif 206-206 The number 1 argument of domain is an instance of relation
s__domain(s__domain__m,n__2,s__PositiveInteger)

Merge.kif 207-207 The number 2 argument of domain is an instance of positive integer
s__domain(s__domain__m,n__3,s__SetOrClass)

Merge.kif 208-208 The number 3 argument of domain is an instance of set or class
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__domain__m,s__TernaryPredicate)

Merge.kif 205-205 domain is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__domain__m,'"%1 的 %2 数量 %n 是 %3 的 instance"')

chinese_format.kif 291-291
s__format(s__EnglishLanguage,s__domain__m,'"the number %2 argument of %1 is %n an instance of %3"')

english_format.kif 299-299
s__termFormat(s__ChineseLanguage,s__domain__m,'"域"')

domainEnglishFormat.kif 20035-20035
s__termFormat(s__ChineseLanguage,s__domain__m,'"定义域"')

chinese_format.kif 292-292
s__termFormat(s__ChineseTraditionalLanguage,s__domain__m,'"域"')

domainEnglishFormat.kif 20034-20034
s__termFormat(s__EnglishLanguage,s__domain__m,'"domain"')

domainEnglishFormat.kif 20033-20033

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


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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Music) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__anthem__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__anthem__m,s__Predicate) &
     s__anthem(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__naturalResourceTypeInArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__naturalResourceTypeInArea__m,s__Predicate) &
     s__naturalResourceTypeInArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW4,s__CognitiveAgent) &
       s__instance(V__ROW2,s__Formula) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__confersObligation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__confersObligation__m,s__Predicate) &
     s__confersObligation(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Loan) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__loanForPurchase__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__loanForPurchase__m,s__Predicate) &
     s__loanForPurchase(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__income__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__income__m,s__Predicate) &
     s__income(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeInterval) &
       s__instance(V__ROW2,s__BankStatement) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__statementPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__statementPeriod__m,s__Predicate) &
     s__statementPeriod(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__resource__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__resource__m,s__Predicate) &
     s__resource(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Computer) &
       s__instance(V__ROW2,s__ComputerProgram) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__runsOn__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__runsOn__m,s__Predicate) &
     s__runsOn(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerDirectory) &
       s__instance(V__ROW2,s__ComputerFile) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__directoryOf__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__directoryOf__m,s__Predicate) &
     s__directoryOf(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration) &
       s__instance(V__ROW2,s__RealtimeSystem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__granularity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__granularity__m,s__Predicate) &
     s__granularity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__subclass(V__ROW2,s__TimeInterval) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__standardRetailHours__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__standardRetailHours__m,s__Predicate) &
     s__standardRetailHours(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW2,s__PhysicalSystem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__resonantFrequency__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__resonantFrequency__m,s__Predicate) &
     s__resonantFrequency(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PermanentResidence) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__landlord__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__landlord__m,s__Predicate) &
     s__landlord(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Collection) &
       s__instance(V__ROW4,s__RealNumber) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__tTest__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__tTest__m,s__Predicate) &
     s__tTest(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WaterArea) &
       s__instance(V__ROW2,s__WaterMotion) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__flowCurrent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__flowCurrent__m,s__Predicate) &
     s__flowCurrent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CrossFunctionalTeam) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__crossFunctionalTeamFocus__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__crossFunctionalTeamFocus__m,s__Predicate) &
     s__crossFunctionalTeamFocus(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__eveningPhone__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__eveningPhone__m,s__Predicate) &
     s__eveningPhone(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW4,s__DirectionalAttribute) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lowAltitudeWindVelocity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lowAltitudeWindVelocity__m,s__Predicate) &
     s__lowAltitudeWindVelocity(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Process) &
       s__instance(V__ROW2,s__Experimenting) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__experimentalVariableProcess__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__experimentalVariableProcess__m,s__Predicate) &
     s__experimentalVariableProcess(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__TimeDuration) &
       s__instance(V__ROW2,s__LiabilityAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__minimumPayment__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__minimumPayment__m,s__Predicate) &
     s__minimumPayment(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__Agent) &
       s__instance(V__ROW3,s__Human) &
       s__instance(V__ROW4,s__Position) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__chiefOfDiplomaticMission__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__chiefOfDiplomaticMission__m,s__Predicate) &
     s__chiefOfDiplomaticMission(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__memberCount__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__memberCount__m,s__Predicate) &
     s__memberCount(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__partition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__partition__m,s__Predicate) &
     s__partition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__primaryGeopoliticalSubdivision__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__primaryGeopoliticalSubdivision__m,s__Predicate) &
     s__primaryGeopoliticalSubdivision(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__UnitOfCurrency) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__currencyExchangeRateInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__currencyExchangeRateInPeriod__m,s__Predicate) &
     s__currencyExchangeRateInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__overlapsPartially__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__overlapsPartially__m,s__Predicate) &
     s__overlapsPartially(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__StateOrProvince) &
       s__instance(V__ROW2,s__PostalPlace) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__postDistrict__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__postDistrict__m,s__Predicate) &
     s__postDistrict(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__typicalPart__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__typicalPart__m,s__Predicate) &
     s__typicalPart(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FormOfGovernment) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__ideologicalAffiliationOfOrganization__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__ideologicalAffiliationOfOrganization__m,s__Predicate) &
     s__ideologicalAffiliationOfOrganization(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW4,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__representsForAgent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__representsForAgent__m,s__Predicate) &
     s__representsForAgent(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FieldOfStudy) &
       s__instance(V__ROW2,s__FieldOfStudy) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__subField__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__subField__m,s__Predicate) &
     s__subField(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Substance) &
       s__instance(V__ROW2,s__LandArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__groundSubsurfaceType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__groundSubsurfaceType__m,s__Predicate) &
     s__groundSubsurfaceType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__Loan) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__loanFeeAmount__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__loanFeeAmount__m,s__Predicate) &
     s__loanFeeAmount(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW4,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__FinancialAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__marginBalanceAmount__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__marginBalanceAmount__m,s__Predicate) &
     s__marginBalanceAmount(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Sentence) &
       s__instance(V__ROW2,s__NounPhrase) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__sententialSubject__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__sententialSubject__m,s__Predicate) &
     s__sententialSubject(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Policy) &
       s__subclass(V__ROW2,s__HotelUnit) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__roomPolicy__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__roomPolicy__m,s__Predicate) &
     s__roomPolicy(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW4,s__SymbolicString) &
       s__instance(V__ROW2,s__Region) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__canonicalPlaceName__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__canonicalPlaceName__m,s__Predicate) &
     s__canonicalPlaceName(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__maternalAunt__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__maternalAunt__m,s__Predicate) &
     s__maternalAunt(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW4,s__RealNumber) &
       s__instance(V__ROW2,s__TimePosition) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__monitorComponentData__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__monitorComponentData__m,s__Predicate) &
     s__monitorComponentData(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exhaustiveDecomposition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exhaustiveDecomposition__m,s__Predicate) &
     s__exhaustiveDecomposition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__externalDebtInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__externalDebtInPeriod__m,s__Predicate) &
     s__externalDebtInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__initialPart__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__initialPart__m,s__Predicate) &
     s__initialPart(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__Circle) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__radius__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__radius__m,s__Predicate) &
     s__radius(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__nearOrientation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__nearOrientation__m,s__Predicate) &
     s__nearOrientation(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__DataStorageDevice) &
       s__instance(V__ROW2,s__ContentBearingObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__stored__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__stored__m,s__Predicate) &
     s__stored(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Proposition) &
       s__instance(V__ROW2,s__ContentBearingPhysical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__containsInformation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__containsInformation__m,s__Predicate) &
     s__containsInformation(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Animal) &
       s__subclass(V__ROW2,s__OrganicObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__productOfAnimal__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__productOfAnimal__m,s__Predicate) &
     s__productOfAnimal(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SocialRole) &
       s__instance(V__ROW4,s__SocialRole) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__roleApprovesRole__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__roleApprovesRole__m,s__Predicate) &
     s__roleApprovesRole(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePosition) &
       s__instance(V__ROW2,s__Option) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__atTheMoney__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__atTheMoney__m,s__Predicate) &
     s__atTheMoney(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Physical) &
       s__subclass(V__ROW2,s__HotelFunctionRoom) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__functionRoomAmenity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__functionRoomAmenity__m,s__Predicate) &
     s__functionRoomAmenity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW4,s__LengthMeasure) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__distance__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__distance__m,s__Predicate) &
     s__distance(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SearchQuery) &
       s__instance(V__ROW2,s__SearchQuery) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__searchQueryRewrite__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__searchQueryRewrite__m,s__Predicate) &
     s__searchQueryRewrite(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__EducationalOrganization) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__teacher__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__teacher__m,s__Predicate) &
     s__teacher(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Set) &
       s__instance(V__ROW2,s__Set) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__subset__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__subset__m,s__Predicate) &
     s__subset(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW4,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__FinancialAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__buyingPowerAmount__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__buyingPowerAmount__m,s__Predicate) &
     s__buyingPowerAmount(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Experimenting) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__controlGroup__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__controlGroup__m,s__Predicate) &
     s__controlGroup(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__freePropertyAmenity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__freePropertyAmenity__m,s__Predicate) &
     s__freePropertyAmenity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Organization) &
       s__instance(V__ROW4,s__Agent) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__diplomaticOrganizationType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__diplomaticOrganizationType__m,s__Predicate) &
     s__diplomaticOrganizationType(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AreaOfConcern) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__regionalIssue__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__regionalIssue__m,s__Predicate) &
     s__regionalIssue(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AreaOfConcern) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__organizationalObjective__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__organizationalObjective__m,s__Predicate) &
     s__organizationalObjective(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Region) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__baptismplace__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__baptismplace__m,s__Predicate) &
     s__baptismplace(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW4,s__PositiveRealNumber) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__importPartnerByFraction__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__importPartnerByFraction__m,s__Predicate) &
     s__importPartnerByFraction(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__TimeDuration) &
       s__instance(V__ROW2,s__FinancialAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__periodicPayment__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__periodicPayment__m,s__Predicate) &
     s__periodicPayment(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__AchievingControl) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__gainsControl__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__gainsControl__m,s__Predicate) &
     s__gainsControl(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW4,s__Abstract) &
       s__instance(V__ROW2,s__Game) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__achievement__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__achievement__m,s__Predicate) &
     s__achievement(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Quantity) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__total__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__total__m,s__Predicate) &
     s__total(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Position) &
       s__instance(V__ROW4,s__Position) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__subordinatePosition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__subordinatePosition__m,s__Predicate) &
     s__subordinatePosition(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW2,s__HotelReservation) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__numberAdultOccupant__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__numberAdultOccupant__m,s__Predicate) &
     s__numberAdultOccupant(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Abstract) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__abstractCounterpart__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__abstractCounterpart__m,s__Predicate) &
     s__abstractCounterpart(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lowestDecileShareOfHouseholdIncomeInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lowestDecileShareOfHouseholdIncomeInPeriod__m,s__Predicate) &
     s__lowestDecileShareOfHouseholdIncomeInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW5,s__TimeInterval) &
       s__instance(V__ROW3,s__CaseRole) &
       s__instance(V__ROW4,s__Object) &
       s__subclass(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__capabilityDuring__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__capabilityDuring__m,s__Predicate) &
     s__capabilityDuring(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TaskRelationAttribute) &
       s__instance(V__ROW2,s__RealtimeSystem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__taskRelation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__taskRelation__m,s__Predicate) &
     s__taskRelation(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__List) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__initialList__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__initialList__m,s__Predicate) &
     s__initialList(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__IllicitDrug) &
       s__instance(V__ROW4,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__illicitDrugShipmentDestination__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__illicitDrugShipmentDestination__m,s__Predicate) &
     s__illicitDrugShipmentDestination(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SelfConnectedObject) &
       s__instance(V__ROW2,s__SelfConnectedObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__bottom__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__bottom__m,s__Predicate) &
     s__bottom(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Reservation) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fulfillingEntity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fulfillingEntity__m,s__Predicate) &
     s__fulfillingEntity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organization) &
       s__instance(V__ROW2,s__Recording) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__recordingCompany__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__recordingCompany__m,s__Predicate) &
     s__recordingCompany(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__electricityConsumptionInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__electricityConsumptionInPeriod__m,s__Predicate) &
     s__electricityConsumptionInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__List) &
       s__instance(V__ROW2,s__List) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__identicalListItems__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__identicalListItems__m,s__Predicate) &
     s__identicalListItems(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__primaryGeopoliticalSubdivisionType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__primaryGeopoliticalSubdivisionType__m,s__Predicate) &
     s__primaryGeopoliticalSubdivisionType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Residence) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__tenant__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__tenant__m,s__Predicate) &
     s__tenant(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerMenuItem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__accessibleFromMenuItem__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__accessibleFromMenuItem__m,s__Predicate) &
     s__accessibleFromMenuItem(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber) &
       s__instance(V__ROW2,s__UserAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__userFeedbackScore__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__userFeedbackScore__m,s__Predicate) &
     s__userFeedbackScore(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__partTypes__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__partTypes__m,s__Predicate) &
     s__partTypes(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__most__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__most__m,s__Predicate) &
     s__most(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__Agent) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__askPrice__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__askPrice__m,s__Predicate) &
     s__askPrice(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RiskAttribute) &
       s__instance(V__ROW2,s__Investor) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__riskTolerance__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__riskTolerance__m,s__Predicate) &
     s__riskTolerance(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__located__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__located__m,s__Predicate) &
     s__located(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__highestDecileShareOfHouseholdIncomeInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__highestDecileShareOfHouseholdIncomeInPeriod__m,s__Predicate) &
     s__highestDecileShareOfHouseholdIncomeInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW4,s__DirectionalAttribute) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__mediumAltitudeWindVelocity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__mediumAltitudeWindVelocity__m,s__Predicate) &
     s__mediumAltitudeWindVelocity(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__localLongName__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__localLongName__m,s__Predicate) &
     s__localLongName(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__annualExpendituresOfArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__annualExpendituresOfArea__m,s__Predicate) &
     s__annualExpendituresOfArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePosition) &
       s__instance(V__ROW2,s__Option) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__inTheMoney__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__inTheMoney__m,s__Predicate) &
     s__inTheMoney(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__totalLandBoundary__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__totalLandBoundary__m,s__Predicate) &
     s__totalLandBoundary(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__flagDescription__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__flagDescription__m,s__Predicate) &
     s__flagDescription(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger) &
       s__instance(V__ROW2,s__ComputerProgram) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__minimumReplications__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__minimumReplications__m,s__Predicate) &
     s__minimumReplications(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__defaultMaximumLength__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__defaultMaximumLength__m,s__Predicate) &
     s__defaultMaximumLength(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ProcessState) &
       s__instance(V__ROW2,s__ComputerProcess) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__stateOfProcess__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__stateOfProcess__m,s__Predicate) &
     s__stateOfProcess(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__Collateral) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__faceValue__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__faceValue__m,s__Predicate) &
     s__faceValue(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Region) &
       s__instance(V__ROW2,s__TransportationCompany) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__providesDestination__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__providesDestination__m,s__Predicate) &
     s__providesDestination(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__depth__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__depth__m,s__Predicate) &
     s__depth(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__webVisitor__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__webVisitor__m,s__Predicate) &
     s__webVisitor(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW4,s__SymbolicString) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__nameAfterKeyName__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__nameAfterKeyName__m,s__Predicate) &
     s__nameAfterKeyName(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW4,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__FinancialAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__currentAccountBalance__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__currentAccountBalance__m,s__Predicate) &
     s__currentAccountBalance(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Experimenting) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__treatmentGroup__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__treatmentGroup__m,s__Predicate) &
     s__treatmentGroup(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW4,s__LengthMeasure) &
       s__instance(V__ROW2,s__Vehicle) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__maximumPayloadHeightWidth__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__maximumPayloadHeightWidth__m,s__Predicate) &
     s__maximumPayloadHeightWidth(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__independenceDate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__independenceDate__m,s__Predicate) &
     s__independenceDate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW2,s__Integer) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__multiplicativeFactor__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__multiplicativeFactor__m,s__Predicate) &
     s__multiplicativeFactor(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TemperatureMeasure) &
       s__instance(V__ROW2,s__Device) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__minDeviceOperatingTemp__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__minDeviceOperatingTemp__m,s__Predicate) &
     s__minDeviceOperatingTemp(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber) &
       s__instance(V__ROW2,s__Inflation) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__inflationRate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__inflationRate__m,s__Predicate) &
     s__inflationRate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW4,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__disputedPossession__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__disputedPossession__m,s__Predicate) &
     s__disputedPossession(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ConstantQuantity) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__irrigatedLandArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__irrigatedLandArea__m,s__Predicate) &
     s__irrigatedLandArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__MimeEncodingScheme) &
       s__instance(V__ROW2,s__ContentBearingObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__mimeType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__mimeType__m,s__Predicate) &
     s__mimeType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AreaMeasure) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__landAreaOnly__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__landAreaOnly__m,s__Predicate) &
     s__landAreaOnly(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW4,s__Language) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__alternativeTitle__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__alternativeTitle__m,s__Predicate) &
     s__alternativeTitle(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__Cylinder) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__cylinderBore__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__cylinderBore__m,s__Predicate) &
     s__cylinderBore(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__perCapitaGDPInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__perCapitaGDPInPeriod__m,s__Predicate) &
     s__perCapitaGDPInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW2,s__Formula) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__entails__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__entails__m,s__Predicate) &
     s__entails(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW2,s__Bond) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__callDate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__callDate__m,s__Predicate) &
     s__callDate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fathersBrothersSon__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fathersBrothersSon__m,s__Predicate) &
     s__fathersBrothersSon(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__guest__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__guest__m,s__Predicate) &
     s__guest(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FunctionQuantity) &
       s__instance(V__ROW4,s__Agreement) &
       s__subclass(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__contractedRentalPrice__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__contractedRentalPrice__m,s__Predicate) &
     s__contractedRentalPrice(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW2,s__HotelReservation) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__numberChildOccupant__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__numberChildOccupant__m,s__Predicate) &
     s__numberChildOccupant(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Artifact) &
       s__instance(V__ROW2,s__CorpuscularObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__powerComponent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__powerComponent__m,s__Predicate) &
     s__powerComponent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__TimeInterval) &
       s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW4,s__Object) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__rents__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__rents__m,s__Predicate) &
     s__rents(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__paidPropertyAmenity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__paidPropertyAmenity__m,s__Predicate) &
     s__paidPropertyAmenity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__TransportationDevice) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__cargoType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__cargoType__m,s__Predicate) &
     s__cargoType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PostalPlace) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__unitNumber__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__unitNumber__m,s__Predicate) &
     s__unitNumber(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW7,s__Class) &
       s__instance(V__ROW5,s__Class) &
       s__instance(V__ROW6,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exhaustiveDecomposition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exhaustiveDecomposition__m,s__Predicate) &
     s__exhaustiveDecomposition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
=>
s__instance(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW4,s__LengthMeasure) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__altitude__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__altitude__m,s__Predicate) &
     s__altitude(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Vehicle) &
       s__instance(V__ROW2,s__SelfConnectedObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__onboard__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__onboard__m,s__Predicate) &
     s__onboard(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW4,s__SymbolicString) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__uniqueIdWithRespectTo__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__uniqueIdWithRespectTo__m,s__Predicate) &
     s__uniqueIdWithRespectTo(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__partition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__partition__m,s__Predicate) &
     s__partition__3(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Attribute) &
       s__subclass(V__ROW2,s__Attribute) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exhaustiveAttribute__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exhaustiveAttribute__m,s__Predicate) &
     s__exhaustiveAttribute__2(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger) &
       s__instance(V__ROW2,s__GraphPath) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__pathLength__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__pathLength__m,s__Predicate) &
     s__pathLength(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__flows__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__flows__m,s__Predicate) &
     s__flows(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW2,s__HotelUnit) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__freeRoomAmenity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__freeRoomAmenity__m,s__Predicate) &
     s__freeRoomAmenity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__UserSignifiedAction) &
       s__instance(V__ROW2,s__UserDirectAction) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__udaCanSignify__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__udaCanSignify__m,s__Predicate) &
     s__udaCanSignify(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__onOrientation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__onOrientation__m,s__Predicate) &
     s__onOrientation(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__annualRevenuesOfAreaInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__annualRevenuesOfAreaInPeriod__m,s__Predicate) &
     s__annualRevenuesOfAreaInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__eventPartlyLocated__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__eventPartlyLocated__m,s__Predicate) &
     s__eventPartlyLocated(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW4,s__CognitiveAgent) &
       s__instance(V__ROW2,s__Formula) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__confersRight__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__confersRight__m,s__Predicate) &
     s__confersRight(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Year) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lastRenovation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lastRenovation__m,s__Predicate) &
     s__lastRenovation(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organization) &
       s__instance(V__ROW2,s__Proposition) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__insured__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__insured__m,s__Predicate) &
     s__insured(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Policy) &
       s__instance(V__ROW2,s__RoomInventory) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__allRoomsPolicy__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__allRoomsPolicy__m,s__Predicate) &
     s__allRoomsPolicy(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__productBrand__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__productBrand__m,s__Predicate) &
     s__productBrand(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW4,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__chanceryFAXNumberInArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__chanceryFAXNumberInArea__m,s__Predicate) &
     s__chanceryFAXNumberInArea(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW2,s__WaterArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__navigableForShippingTonnage__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__navigableForShippingTonnage__m,s__Predicate) &
     s__navigableForShippingTonnage(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerPath) &
       s__instance(V__ROW2,s__SoftwareSystem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__softwarePath__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__softwarePath__m,s__Predicate) &
     s__softwarePath(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__subBrand__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__subBrand__m,s__Predicate) &
     s__subBrand(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__Auctioning) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__reservePrice__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__reservePrice__m,s__Predicate) &
     s__reservePrice(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__SelfConnectedObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__approximateDiameter__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__approximateDiameter__m,s__Predicate) &
     s__approximateDiameter(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Artifact) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__engineers__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__engineers__m,s__Predicate) &
     s__engineers(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AreaMeasure) &
       s__instance(V__ROW2,s__Region) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__totalArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__totalArea__m,s__Predicate) &
     s__totalArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Policy) &
       s__instance(V__ROW2,s__HotelPackage) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__policyInclusion__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__policyInclusion__m,s__Predicate) &
     s__policyInclusion(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Policy) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__policyOwner__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__policyOwner__m,s__Predicate) &
     s__policyOwner(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW4,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__comment__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__comment__m,s__Predicate) &
     s__comment(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__ChargingAFee) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__amountCharged__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__amountCharged__m,s__Predicate) &
     s__amountCharged(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Set) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__element__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__element__m,s__Predicate) &
     s__element(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__grandparent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__grandparent__m,s__Predicate) &
     s__grandparent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__defaultMinimumWidth__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__defaultMinimumWidth__m,s__Predicate) &
     s__defaultMinimumWidth(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Process) &
       s__instance(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__causes__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__causes__m,s__Predicate) &
     s__causes(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__ComputerProgram) &
       s__instance(V__ROW2,s__ComputerProgram) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__dependencyType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__dependencyType__m,s__Predicate) &
     s__dependencyType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__unemploymentRateOfAreaInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__unemploymentRateOfAreaInPeriod__m,s__Predicate) &
     s__unemploymentRateOfAreaInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exportCommodityType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exportCommodityType__m,s__Predicate) &
     s__exportCommodityType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__penetrates__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__penetrates__m,s__Predicate) &
     s__penetrates(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__electricityExportInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__electricityExportInPeriod__m,s__Predicate) &
     s__electricityExportInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__half__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__half__m,s__Predicate) &
     s__half(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TransitSystem) &
       s__instance(V__ROW2,s__Region) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__routeStart__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__routeStart__m,s__Predicate) &
     s__routeStart(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human) &
       s__instance(V__ROW2,s__Man) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__brother__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__brother__m,s__Predicate) &
     s__brother(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__instrument__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__instrument__m,s__Predicate) &
     s__instrument(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lengthOfUnclassifiedGaugeRailway__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lengthOfUnclassifiedGaugeRailway__m,s__Predicate) &
     s__lengthOfUnclassifiedGaugeRailway(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Icon) &
       s__instance(V__ROW2,s__Brand) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__brandIcon__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__brandIcon__m,s__Predicate) &
     s__brandIcon(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Language) &
       s__instance(V__ROW2,s__LinguisticExpression) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__expressedInLanguage__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__expressedInLanguage__m,s__Predicate) &
     s__expressedInLanguage(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Computer) &
       s__instance(V__ROW2,s__ComputationalSystem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__hostOf__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__hostOf__m,s__Predicate) &
     s__hostOf(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW2,s__MonitoringProgram) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__dataID__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__dataID__m,s__Predicate) &
     s__dataID(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__humanName__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__humanName__m,s__Predicate) &
     s__humanName(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__DesignPatternAttribute) &
       s__instance(V__ROW2,s__RealtimeSystem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__designPattern__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__designPattern__m,s__Predicate) &
     s__designPattern(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__WaterArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__waterDepth__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__waterDepth__m,s__Predicate) &
     s__waterDepth(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lacks__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lacks__m,s__Predicate) &
     s__lacks(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organism) &
       s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__father__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__father__m,s__Predicate) &
     s__father(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Relation) &
       s__instance(V__ROW2,s__Relation) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__subrelation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__subrelation__m,s__Predicate) &
     s__subrelation(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PostalPlace) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__postPostOfficeBox__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__postPostOfficeBox__m,s__Predicate) &
     s__postPostOfficeBox(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW2,s__WaterVehicle) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__vesselGrossRegisteredTonnage__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__vesselGrossRegisteredTonnage__m,s__Predicate) &
     s__vesselGrossRegisteredTonnage(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ContentBearingPhysical) &
       s__instance(V__ROW2,s__ContentBearingPhysical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__subsumesContentInstance__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__subsumesContentInstance__m,s__Predicate) &
     s__subsumesContentInstance(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger) &
       s__instance(V__ROW2,s__FinancialAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__accountNumber__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__accountNumber__m,s__Predicate) &
     s__accountNumber(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Year) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__yearBuilt__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__yearBuilt__m,s__Predicate) &
     s__yearBuilt(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__Day) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__netWorth__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__netWorth__m,s__Predicate) &
     s__netWorth(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW4,s__Quantity) &
       s__instance(V__ROW2,s__Predicate) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__minValue__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__minValue__m,s__Predicate) &
     s__minValue(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exportPartner__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exportPartner__m,s__Predicate) &
     s__exportPartner(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__facility__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__facility__m,s__Predicate) &
     s__facility(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Animal) &
       s__subclass(V__ROW2,s__OrganicObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__meatOfAnimal__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__meatOfAnimal__m,s__Predicate) &
     s__meatOfAnimal(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__prohibitedItem__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__prohibitedItem__m,s__Predicate) &
     s__prohibitedItem(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW4,s__SymbolicString) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__nameBeforeKeyName__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__nameBeforeKeyName__m,s__Predicate) &
     s__nameBeforeKeyName(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW2,s__HotelReservation) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__numberOccupant__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__numberOccupant__m,s__Predicate) &
     s__numberOccupant(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__ContentBearingPhysical) &
       s__subclass(V__ROW2,s__ContentBearingPhysical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__subsumesContentClass__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__subsumesContentClass__m,s__Predicate) &
     s__subsumesContentClass(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeometricPoint) &
       s__instance(V__ROW4,s__LengthMeasure) &
       s__instance(V__ROW2,s__GeometricPoint) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__geometricDistance__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__geometricDistance__m,s__Predicate) &
     s__geometricDistance(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__EducationalOrganization) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__student__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__student__m,s__Predicate) &
     s__student(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW2,s__PowerSource) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__voltageMeasure__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__voltageMeasure__m,s__Predicate) &
     s__voltageMeasure(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW2,s__Reservation) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__rateDetail__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__rateDetail__m,s__Predicate) &
     s__rateDetail(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__OrganizationalProcess) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__beforeTaxIncome__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__beforeTaxIncome__m,s__Predicate) &
     s__beforeTaxIncome(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__PoliticalParty) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__politicalPartyOfCountry__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__politicalPartyOfCountry__m,s__Predicate) &
     s__politicalPartyOfCountry(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__DevelopmentalAttribute) &
       s__instance(V__ROW2,s__OrganicObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__developmentalForm__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__developmentalForm__m,s__Predicate) &
     s__developmentalForm(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger) &
       s__instance(V__ROW2,s__ComputerPath) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__dataStreamSlack__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__dataStreamSlack__m,s__Predicate) &
     s__dataStreamSlack(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW4,s__PositiveInteger) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__importPartnerByRank__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__importPartnerByRank__m,s__Predicate) &
     s__importPartnerByRank(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Computer) &
       s__instance(V__ROW2,s__UserAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__deviceAccount__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__deviceAccount__m,s__Predicate) &
     s__deviceAccount(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organization) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__chamberOfLegislature__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__chamberOfLegislature__m,s__Predicate) &
     s__chamberOfLegislature(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Number) &
       s__instance(V__ROW2,s__TransportationDevice) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__passengerCapacityMaxNumber__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__passengerCapacityMaxNumber__m,s__Predicate) &
     s__passengerCapacityMaxNumber(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__OrganizationalProcess) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__taxDeferredIncome__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__taxDeferredIncome__m,s__Predicate) &
     s__taxDeferredIncome(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__economicAidDonatedInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__economicAidDonatedInPeriod__m,s__Predicate) &
     s__economicAidDonatedInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__smaller__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__smaller__m,s__Predicate) &
     s__smaller(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__NonnegativeRealNumber) &
       s__instance(V__ROW2,s__LandArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__slopeGradient__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__slopeGradient__m,s__Predicate) &
     s__slopeGradient(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimePosition) &
       s__instance(V__ROW2,s__Proposition) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__agreementAdoptionDate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__agreementAdoptionDate__m,s__Predicate) &
     s__agreementAdoptionDate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimeInterval) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__warmSeasonInArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__warmSeasonInArea__m,s__Predicate) &
     s__warmSeasonInArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__yearOfFounding__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__yearOfFounding__m,s__Predicate) &
     s__yearOfFounding(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePoint) &
       s__instance(V__ROW2,s__Agreement) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__agreementExpirationDate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__agreementExpirationDate__m,s__Predicate) &
     s__agreementExpirationDate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimeDuration) &
       s__subclass(V__ROW4,s__TimeDuration) &
       s__instance(V__ROW2,s__DiseaseOrSyndrome) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__diseaseIncubation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__diseaseIncubation__m,s__Predicate) &
     s__diseaseIncubation(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Interest) &
       s__instance(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__FinancialAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__simpleInterest__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__simpleInterest__m,s__Predicate) &
     s__simpleInterest(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW2,s__Loan) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__borrower__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__borrower__m,s__Predicate) &
     s__borrower(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW4,s__Object) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__between__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__between__m,s__Predicate) &
     s__between(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__defaultMinimumSphereRadius__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__defaultMinimumSphereRadius__m,s__Predicate) &
     s__defaultMinimumSphereRadius(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Artifact) &
       s__subclass(V__ROW2,s__Artifact) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__version__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__version__m,s__Predicate) &
     s__version(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW4,s__Quantity) &
       s__instance(V__ROW2,s__Predicate) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__maxValue__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__maxValue__m,s__Predicate) &
     s__maxValue(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Process) &
       s__instance(V__ROW2,s__Experimenting) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__experimentalControlProcess__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__experimentalControlProcess__m,s__Predicate) &
     s__experimentalControlProcess(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ConstantQuantity) &
       s__instance(V__ROW2,s__Computer) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__hostJitter__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__hostJitter__m,s__Predicate) &
     s__hostJitter(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeInterval) &
       s__instance(V__ROW2,s__TimeInterval) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__meetsTemporally__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__meetsTemporally__m,s__Predicate) &
     s__meetsTemporally(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__TelecomNumber) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__telephoneNumber__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__telephoneNumber__m,s__Predicate) &
     s__telephoneNumber(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__IndustryAttribute) &
       s__instance(V__ROW4,s__RealNumber) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__sectorCompositionOfGDP__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__sectorCompositionOfGDP__m,s__Predicate) &
     s__sectorCompositionOfGDP(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__NonnegativeRealNumber) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__incomeDistributionByGiniIndex__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__incomeDistributionByGiniIndex__m,s__Predicate) &
     s__incomeDistributionByGiniIndex(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SystemBehaviorAttribute) &
       s__instance(V__ROW2,s__RealtimeSystem) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__systemBehavior__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__systemBehavior__m,s__Predicate) &
     s__systemBehavior(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__DiseaseOrSyndrome) &
       s__instance(V__ROW2,s__DiseaseOrSyndrome) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__diseaseSymptom__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__diseaseSymptom__m,s__Predicate) &
     s__diseaseSymptom(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__subclass(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__importPartnerInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__importPartnerInPeriod__m,s__Predicate) &
     s__importPartnerInPeriod(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organism) &
       s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__parasite__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__parasite__m,s__Predicate) &
     s__parasite(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW4,s__OrganizationalProcess) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__afterTaxIncome__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__afterTaxIncome__m,s__Predicate) &
     s__afterTaxIncome(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Quantity) &
       s__instance(V__ROW2,s__Quantity) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lessThanOrEqualTo__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lessThanOrEqualTo__m,s__Predicate) &
     s__lessThanOrEqualTo(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PostalPlace) &
       s__instance(V__ROW2,s__PostalAddressText) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__postAddressText__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__postAddressText__m,s__Predicate) &
     s__postAddressText(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__SelfConnectedObject) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__trafficableForTrafficType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__trafficableForTrafficType__m,s__Predicate) &
     s__trafficableForTrafficType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW4,s__Integer) &
       s__instance(V__ROW2,s__Election) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__seatsWonInElection__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__seatsWonInElection__m,s__Predicate) &
     s__seatsWonInElection(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW2,s__TimePosition) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__holdsDuring__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__holdsDuring__m,s__Predicate) &
     s__holdsDuring(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__MassMeasure) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fleetDeadWeightTonnage__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fleetDeadWeightTonnage__m,s__Predicate) &
     s__fleetDeadWeightTonnage(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SocialRole) &
       s__instance(V__ROW4,s__Agent) &
       s__instance(V__ROW2,s__Election) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__electionWinner__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__electionWinner__m,s__Predicate) &
     s__electionWinner(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__IllicitDrug) &
       s__instance(V__ROW4,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__drugShipmentDestination__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__drugShipmentDestination__m,s__Predicate) &
     s__drugShipmentDestination(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__CriminalAction) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__perpetrator__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__perpetrator__m,s__Predicate) &
     s__perpetrator(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SocialRole) &
       s__instance(V__ROW4,s__Agent) &
       s__instance(V__ROW2,s__Election) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__candidateForPosition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__candidateForPosition__m,s__Predicate) &
     s__candidateForPosition(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration) &
       s__subclass(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__frequency__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__frequency__m,s__Predicate) &
     s__frequency(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SelfConnectedObject) &
       s__instance(V__ROW2,s__SelfConnectedObject) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__side__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__side__m,s__Predicate) &
     s__side(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration) &
       s__instance(V__ROW2,s__ComputerPath) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__batchInterArrival__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__batchInterArrival__m,s__Predicate) &
     s__batchInterArrival(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW4,s__Object) &
       s__instance(V__ROW2,s__Contest) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__contestParticipantRepresentation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__contestParticipantRepresentation__m,s__Predicate) &
     s__contestParticipantRepresentation(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimeInterval) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fiscalYearPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fiscalYearPeriod__m,s__Predicate) &
     s__fiscalYearPeriod(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber) &
       s__instance(V__ROW2,s__RealNumber) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__approximateValue__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__approximateValue__m,s__Predicate) &
     s__approximateValue(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__RatingAttribute) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__ratingsAgent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__ratingsAgent__m,s__Predicate) &
     s__ratingsAgent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__importCommodityType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__importCommodityType__m,s__Predicate) &
     s__importCommodityType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW2,s__ServiceProcess) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__serviceRecipient__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__serviceRecipient__m,s__Predicate) &
     s__serviceRecipient(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW4,s__Language) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__translatedTitle__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__translatedTitle__m,s__Predicate) &
     s__translatedTitle(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeInterval) &
       s__instance(V__ROW4,s__LengthMeasure) &
       s__instance(V__ROW2,s__Region) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lowTide__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lowTide__m,s__Predicate) &
     s__lowTide(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__PricingScheme) &
       s__instance(V__ROW3,s__FunctionQuantity) &
       s__instance(V__ROW4,s__CognitiveAgent) &
       s__subclass(V__ROW2,s__Entity) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__unitPrice__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__unitPrice__m,s__Predicate) &
     s__unitPrice(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW2,s__Contest) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__contestOrganizer__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__contestOrganizer__m,s__Predicate) &
     s__contestOrganizer(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__axis__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__axis__m,s__Predicate) &
     s__axis(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__subclass(V__ROW2,s__StationaryArtifact) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__maxRoomCapacity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__maxRoomCapacity__m,s__Predicate) &
     s__maxRoomCapacity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Device) &
       s__instance(V__ROW2,s__Artifact) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__equipmentType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__equipmentType__m,s__Predicate) &
     s__equipmentType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__jailer__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__jailer__m,s__Predicate) &
     s__jailer(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fathersSistersHusband__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fathersSistersHusband__m,s__Predicate) &
     s__fathersSistersHusband(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Interest) &
       s__instance(V__ROW4,s__TimeInterval) &
       s__instance(V__ROW2,s__FinancialAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__compoundInterest__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__compoundInterest__m,s__Predicate) &
     s__compoundInterest(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__needs__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__needs__m,s__Predicate) &
     s__needs(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__MilitaryOrganization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__militaryOfArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__militaryOfArea__m,s__Predicate) &
     s__militaryOfArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__subclass(V__ROW2,s__Gun) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__caliber__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__caliber__m,s__Predicate) &
     s__caliber(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__dislikes__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__dislikes__m,s__Predicate) &
     s__dislikes(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW2,s__Attribute) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exhaustiveAttribute__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exhaustiveAttribute__m,s__Predicate) &
     s__exhaustiveAttribute__1(V__ROW2))
=>
s__instance(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__PlacingUnderArrest) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__arrested__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__arrested__m,s__Predicate) &
     s__arrested(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Group) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__associateInOrganization__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__associateInOrganization__m,s__Predicate) &
     s__associateInOrganization(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__targetInAttack__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__targetInAttack__m,s__Predicate) &
     s__targetInAttack(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__abbreviation__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__abbreviation__m,s__Predicate) &
     s__abbreviation(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__TimeInterval) &
       s__instance(V__ROW3,s__Organization) &
       s__instance(V__ROW4,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__grossMerchandiseBoughtInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__grossMerchandiseBoughtInPeriod__m,s__Predicate) &
     s__grossMerchandiseBoughtInPeriod(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CareOrganization) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__medicalPatient__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__medicalPatient__m,s__Predicate) &
     s__medicalPatient(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePosition) &
       s__instance(V__ROW2,s__TimePosition) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__temporalPart__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__temporalPart__m,s__Predicate) &
     s__temporalPart(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agreement) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__partyToAgreement__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__partyToAgreement__m,s__Predicate) &
     s__partyToAgreement(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__dependentGeopoliticalArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__dependentGeopoliticalArea__m,s__Predicate) &
     s__dependentGeopoliticalArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__processList__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__processList__m,s__Predicate) &
     s__processList__2(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exhaustiveDecomposition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exhaustiveDecomposition__m,s__Predicate) &
     s__exhaustiveDecomposition__2(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__geopoliticalSubdivision__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__geopoliticalSubdivision__m,s__Predicate) &
     s__geopoliticalSubdivision(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SetOrClass) &
       s__instance(V__ROW2,s__Function) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__range__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__range__m,s__Predicate) &
     s__range(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__defaultMaximumHeight__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__defaultMaximumHeight__m,s__Predicate) &
     s__defaultMaximumHeight(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__Agreement) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__premium__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__premium__m,s__Predicate) &
     s__premium(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW2,s__Radiating) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__carrierFrequency__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__carrierFrequency__m,s__Predicate) &
     s__carrierFrequency(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TwoDimensionalObject) &
       s__instance(V__ROW2,s__OneDimensionalFigure) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__tangent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__tangent__m,s__Predicate) &
     s__tangent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Quantity) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__defaultMinimumMeasure__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__defaultMinimumMeasure__m,s__Predicate) &
     s__defaultMinimumMeasure(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Experimenting) &
       s__instance(V__ROW2,s__Collection) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__experimentalTreatmentCollection__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__experimentalTreatmentCollection__m,s__Predicate) &
     s__experimentalTreatmentCollection(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__EngineeringComponent) &
       s__subclass(V__ROW2,s__ComputerProtocol) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__protocolForConnector__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__protocolForConnector__m,s__Predicate) &
     s__protocolForConnector(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration) &
       s__instance(V__ROW2,s__ComputerResponse) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__responseRate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__responseRate__m,s__Predicate) &
     s__responseRate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW2,s__Physical) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__hasPurpose__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__hasPurpose__m,s__Predicate) &
     s__hasPurpose(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__Process) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__agent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__agent__m,s__Predicate) &
     s__agent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Attribute) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__attribute__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__attribute__m,s__Predicate) &
     s__attribute(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration) &
       s__instance(V__ROW2,s__ComputerProgram) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__softwareHeartBeatRate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__softwareHeartBeatRate__m,s__Predicate) &
     s__softwareHeartBeatRate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__capitalExpendituresOfArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__capitalExpendituresOfArea__m,s__Predicate) &
     s__capitalExpendituresOfArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__mothersSistersDaughter__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__mothersSistersDaughter__m,s__Predicate) &
     s__mothersSistersDaughter(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__unpaidItem__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__unpaidItem__m,s__Predicate) &
     s__unpaidItem(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__PowerGeneration) &
       s__instance(V__ROW4,s__RealNumber) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__electricityFractionFromSource__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__electricityFractionFromSource__m,s__Predicate) &
     s__electricityFractionFromSource(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FormOfGovernment) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__governmentType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__governmentType__m,s__Predicate) &
     s__governmentType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organization) &
       s__instance(V__ROW2,s__Share) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__shareOf__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__shareOf__m,s__Predicate) &
     s__shareOf(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__deathdate__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__deathdate__m,s__Predicate) &
     s__deathdate(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__measure__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__measure__m,s__Predicate) &
     s__measure(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Motion) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__path__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__path__m,s__Predicate) &
     s__path(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW2,s__Agreement) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__optionSeller__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__optionSeller__m,s__Predicate) &
     s__optionSeller(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__importPartner__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__importPartner__m,s__Predicate) &
     s__importPartner(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite) &
       s__instance(V__ROW2,s__Database) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__siteCatalog__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__siteCatalog__m,s__Predicate) &
     s__siteCatalog(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__naturalHazardTypeInArea__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__naturalHazardTypeInArea__m,s__Predicate) &
     s__naturalHazardTypeInArea(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fathersSistersSon__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fathersSistersSon__m,s__Predicate) &
     s__fathersSistersSon(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger) &
       s__instance(V__ROW2,s__PureSubstance) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__electronNumber__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__electronNumber__m,s__Predicate) &
     s__electronNumber(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__seatsInOrganizationCount__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__seatsInOrganizationCount__m,s__Predicate) &
     s__seatsInOrganizationCount(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical) &
       s__instance(V__ROW2,s__LegalAction) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__evidence__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__evidence__m,s__Predicate) &
     s__evidence(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerProcess) &
       s__instance(V__ROW2,s__Abort) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__processAborted__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__processAborted__m,s__Predicate) &
     s__processAborted(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day) &
       s__instance(V__ROW2,s__BankStatement) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__dateOfStatement__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__dateOfStatement__m,s__Predicate) &
     s__dateOfStatement(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW2,s__Formula) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__causesProposition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__causesProposition__m,s__Predicate) &
     s__causesProposition(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exploits__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exploits__m,s__Predicate) &
     s__exploits(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__totalCoastline__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__totalCoastline__m,s__Predicate) &
     s__totalCoastline(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__agriculturalProductType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__agriculturalProductType__m,s__Predicate) &
     s__agriculturalProductType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__annualElectricityExport__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__annualElectricityExport__m,s__Predicate) &
     s__annualElectricityExport(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FunctionQuantity) &
       s__subclass(V__ROW2,s__BiochemicalAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lethalDose__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lethalDose__m,s__Predicate) &
     s__lethalDose(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula) &
       s__instance(V__ROW4,s__ObjectiveNorm) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__confersNorm__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__confersNorm__m,s__Predicate) &
     s__confersNorm(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer) &
       s__instance(V__ROW4,s__Quantity) &
       s__instance(V__ROW2,s__Predicate) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__defaultMaxValue__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__defaultMaxValue__m,s__Predicate) &
     s__defaultMaxValue(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW5,s__TimeInterval) &
       s__instance(V__ROW3,s__GeopoliticalArea) &
       s__instance(V__ROW4,s__PositiveInteger) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__exportPartnerByRankInPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__exportPartnerByRankInPeriod__m,s__Predicate) &
     s__exportPartnerByRankInPeriod(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
=>
s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeInterval) &
       s__instance(V__ROW2,s__Agreement) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__agreementPeriod__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__agreementPeriod__m,s__Predicate) &
     s__agreementPeriod(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PerformanceMeasure) &
       s__instance(V__ROW2,s__Abstract) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__benchmark__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__benchmark__m,s__Predicate) &
     s__benchmark(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Abstract) &
       s__instance(V__ROW2,s__Abstract) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__abstractPart__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__abstractPart__m,s__Predicate) &
     s__abstractPart(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LengthMeasure) &
       s__instance(V__ROW2,s__GeographicArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__lengthOfStandardGaugeRailway__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__lengthOfStandardGaugeRailway__m,s__Predicate) &
     s__lengthOfStandardGaugeRailway(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organism) &
       s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__sibling__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__sibling__m,s__Predicate) &
     s__sibling(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fathersBrothersDaughter__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fathersBrothersDaughter__m,s__Predicate) &
     s__fathersBrothersDaughter(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TransportationDevice) &
       s__instance(V__ROW2,s__Transportation) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__conveyance__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__conveyance__m,s__Predicate) &
     s__conveyance(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite) &
       s__instance(V__ROW2,s__UserAccount) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__accountAtSite__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__accountAtSite__m,s__Predicate) &
     s__accountAtSite(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger) &
       s__instance(V__ROW2,s__PureSubstance) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__protonNumber__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__protonNumber__m,s__Predicate) &
     s__protonNumber(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__covers__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__covers__m,s__Predicate) &
     s__covers(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__RoomInventory) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__allRoomsPhysicalAmenity__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__allRoomsPhysicalAmenity__m,s__Predicate) &
     s__allRoomsPhysicalAmenity(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Process) &
       s__instance(V__ROW2,s__Experimenting) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__successEvent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__successEvent__m,s__Predicate) &
     s__successEvent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__catalyst__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__catalyst__m,s__Predicate) &
     s__catalyst(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
=>
s__instance(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object) &
       s__subclass(V__ROW2,s__Object) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__typicallyContainsPart__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__typicallyContainsPart__m,s__Predicate) &
     s__typicallyContainsPart(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite) &
       s__instance(V__ROW2,s__FinancialTransaction) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__eCommerceSite__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__eCommerceSite__m,s__Predicate) &
     s__eCommerceSite(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__MilitaryProcess) &
       s__instance(V__ROW2,s__CognitiveAgent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__fitForMilitaryService__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__fitForMilitaryService__m,s__Predicate) &
     s__fitForMilitaryService(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__EngineeringComponent) &
       s__instance(V__ROW2,s__EngineeringComponent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__connectedEngineeringComponents__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__connectedEngineeringComponents__m,s__Predicate) &
     s__connectedEngineeringComponents(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__IntentionalProcess) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__organizationServiceType__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__organizationServiceType__m,s__Predicate) &
     s__organizationServiceType(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__partition__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__partition__m,s__Predicate) &
     s__partition__2(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent) &
       s__instance(V__ROW2,s__PostalPlace) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__workAddress__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__workAddress__m,s__Predicate) &
     s__workAddress(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TelecomNumber) &
       s__instance(V__ROW2,s__SymbolicString) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__telecomExtension__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__telecomExtension__m,s__Predicate) &
     s__telecomExtension(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString) &
       s__instance(V__ROW2,s__Organization) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__aimOfOrganization__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__aimOfOrganization__m,s__Predicate) &
     s__aimOfOrganization(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organism) &
       s__instance(V__ROW2,s__Organism) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__parent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__parent__m,s__Predicate) &
     s__parent(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerOutputDevice) &
       s__instance(V__ROW2,s__ComputerProcess) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__standardOutputDevice__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__standardOutputDevice__m,s__Predicate) &
     s__standardOutputDevice(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PermanentResidence) &
       s__instance(V__ROW2,s__Human) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__home__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__home__m,s__Predicate) &
     s__home(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object) &
       s__instance(V__ROW2,s__Policy) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__policyLocationCoverage__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__policyLocationCoverage__m,s__Predicate) &
     s__policyLocationCoverage(V__ROW2,V__ROW3))
=>
s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent) &
       s__instance(V__ROW4,s__Agent) &
       s__instance(V__ROW2,s__Agent) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__domain(s__representativeAgentToAgent__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__representativeAgentToAgent__m,s__Predicate) &
     s__representativeAgentToAgent(V__ROW2,V__ROW3,V__ROW4))
=>
s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Satellite) &
       s__instance(V__ROW4,s__Integer) &
       s__instance(V__ROW2,s__GeopoliticalArea) &
       s__instance(V__NUMBER,s__PositiveInteger) &
       s__instance(V__CLASS,s__Se