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 Class already defined in the ontology, one can specify a Class 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__Class)

Merge.kif 208-208 The number 3 argument of domain is an instance of 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 20103-20103
s__termFormat(s__ChineseLanguage,s__domain__m,'"定义域"')

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

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

domainEnglishFormat.kif 20101-20101

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


( ! [V__O,V__R,V__OC,V__DC] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__R,s__Relation) &
         s__instance(V__OC,s__Class) &
         s__instance(V__DC,s__Class))
       =>
       (((s__applicableRelation(V__O,V__R)
           &
           s__instance(V__O,V__OC)
         &
         s__domain(V__R,n__1,V__DC))
     =>
     (((V__OC = V__DC)
         |
         s__subclass(V__OC,V__DC))))))
)
)

Mid-level-ontology.kif 29515-29522
( ! [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__Class))
       =>
       (((s__domain(s__disjointDecomposition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__disjointDecomposition__m,s__Predicate) &
           s__disjointDecomposition__2(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__Class))
       =>
       (((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__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__Class))
       =>
       (((s__domain(s__sententialObject__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__sententialObject__m,s__Predicate) &
           s__sententialObject(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__Demonstrating) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__attends__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__attends__m,s__Predicate) &
           s__attends(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__StationaryArtifact) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__constructionPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__constructionPeriod__m,s__Predicate) &
           s__constructionPeriod(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__UserAccount) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__hasAccount__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__hasAccount__m,s__Predicate) &
           s__hasAccount(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__Class))
       =>
       (((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__SymbolicString) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__flagImage__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__flagImage__m,s__Predicate) &
           s__flagImage(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__Class))
       =>
       (((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__subclass(V__ROW3,s__Object) &
         s__instance(V__ROW2,s__HotelPackage) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__physicalInclusion__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__physicalInclusion__m,s__Predicate) &
           s__physicalInclusion(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__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__contraryAttribute__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contraryAttribute__m,s__Predicate) &
           s__contraryAttribute__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__Interest) &
         s__instance(V__ROW4,s__TimeInterval) &
         s__instance(V__ROW2,s__FinancialAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__subclass(V__ROW3,s__Organism) &
         s__subclass(V__ROW2,s__Organism) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__parasitic__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__parasitic__m,s__Predicate) &
           s__parasitic(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__ImageFile) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__imageResolution__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__imageResolution__m,s__Predicate) &
           s__imageResolution(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__Class))
       =>
       (((s__domain(s__ancestor__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__ancestor__m,s__Predicate) &
           s__ancestor(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__Class))
       =>
       (((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__GUIElement) &
         s__instance(V__ROW2,s__UncoveringGraphicalWindow) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__guiElementUncovered__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__guiElementUncovered__m,s__Predicate) &
           s__guiElementUncovered(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__TimePosition) &
         s__instance(V__ROW4,s__Object) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__locatedAtTime__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__locatedAtTime__m,s__Predicate) &
           s__locatedAtTime(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__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__TimingRequirementAttribute) &
         s__instance(V__ROW2,s__RealtimeSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__complexity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__complexity__m,s__Predicate) &
           s__complexity(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__Class))
       =>
       (((s__domain(s__mothersSistersSon__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__mothersSistersSon__m,s__Predicate) &
           s__mothersSistersSon(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__Class))
       =>
       (((s__domain(s__totalLengthOfWaterways__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__totalLengthOfWaterways__m,s__Predicate) &
           s__totalLengthOfWaterways(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__Game) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__plays__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__plays__m,s__Predicate) &
           s__plays(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__Class))
       =>
       (((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__TimeInterval) &
         s__instance(V__ROW2,s__TimeInterval) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__during__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__during__m,s__Predicate) &
           s__during(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__GeographicArea) &
         s__subclass(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__releaseForSale__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__releaseForSale__m,s__Predicate) &
           s__releaseForSale(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__Integer) &
         s__instance(V__ROW2,s__Relation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__exactCardinality__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exactCardinality__m,s__Predicate) &
           s__exactCardinality(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__PositiveInteger) &
         s__instance(V__ROW2,s__Relation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__valence__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__valence__m,s__Predicate) &
           s__valence(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__LegalAction) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__plaintiff__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__plaintiff__m,s__Predicate) &
           s__plaintiff(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__StationaryArtifact) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__humanCapacity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__humanCapacity__m,s__Predicate) &
           s__humanCapacity(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__Class))
       =>
       (((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__ROW3,s__BinaryRelation) &
         s__instance(V__ROW2,s__BinaryRelation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__inverse__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__inverse__m,s__Predicate) &
           s__inverse(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__Class))
       =>
       (((s__domain(s__illicitDrugTransshipmentPoint__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__illicitDrugTransshipmentPoint__m,s__Predicate) &
           s__illicitDrugTransshipmentPoint(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__Class))
       =>
       (((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__instance(V__ROW3,s__WebBrowser) &
         s__instance(V__ROW4,s__WebSite) &
         s__instance(V__ROW2,s__Identifier) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__browserID__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__browserID__m,s__Predicate) &
           s__browserID(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__TimeDuration) &
         s__subclass(V__ROW4,s__TimeDuration) &
         s__instance(V__ROW2,s__DiseaseOrSyndrome) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Agent) &
         s__subclass(V__ROW4,s__TimeInterval) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__exportPartnerInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exportPartnerInPeriod__m,s__Predicate) &
           s__exportPartnerInPeriod(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__Class))
       =>
       (((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__TemperatureMeasure) &
         s__subclass(V__ROW2,s__PureSubstance) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__meltingPoint__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__meltingPoint__m,s__Predicate) &
           s__meltingPoint(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__PlaneAngleMeasure) &
         s__instance(V__ROW2,s__TwoDimensionalAngle) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__angularMeasure__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__angularMeasure__m,s__Predicate) &
           s__angularMeasure(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__Interest) &
         s__instance(V__ROW2,s__Bond) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__accruedInterest__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__accruedInterest__m,s__Predicate) &
           s__accruedInterest(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__Class))
       =>
       (((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__LengthMeasure) &
         s__instance(V__ROW2,s__Radiating) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__wavelength__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__wavelength__m,s__Predicate) &
           s__wavelength(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__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__unratifiedSignatoryToAgreement__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__unratifiedSignatoryToAgreement__m,s__Predicate) &
           s__unratifiedSignatoryToAgreement(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__Engine) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__pistonStroke__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__pistonStroke__m,s__Predicate) &
           s__pistonStroke(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__Investment) &
         s__instance(V__ROW4,s__CurrencyMeasure) &
         s__instance(V__ROW2,s__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__potentialLoss__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__potentialLoss__m,s__Predicate) &
           s__potentialLoss(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__Agent) &
         s__instance(V__ROW4,s__NonnegativeInteger) &
         s__instance(V__ROW2,s__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__seatsHeldInOrganization__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__seatsHeldInOrganization__m,s__Predicate) &
           s__seatsHeldInOrganization(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__Human) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__mutualStranger__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__mutualStranger__m,s__Predicate) &
           s__mutualStranger(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__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__hopes__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__hopes__m,s__Predicate) &
           s__hopes(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__Graph) &
         s__instance(V__ROW2,s__GraphElement) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__graphPart__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__graphPart__m,s__Predicate) &
           s__graphPart(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__Class))
       =>
       (((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__MilitaryUnit) &
         s__instance(V__ROW2,s__MilitaryUnit) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__hostileForces__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__hostileForces__m,s__Predicate) &
           s__hostileForces(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__Class))
       =>
       (((s__domain(s__economicAidDonated__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__economicAidDonated__m,s__Predicate) &
           s__economicAidDonated(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__FinancialTransaction) &
         s__instance(V__ROW4,s__CurrencyMeasure) &
         s__instance(V__ROW2,s__FinancialOrganization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__serviceFee__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__serviceFee__m,s__Predicate) &
           s__serviceFee(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__Class) &
         s__instance(V__ROW2,s__BinaryRelation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__irreflexiveOn__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__irreflexiveOn__m,s__Predicate) &
           s__irreflexiveOn(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__Class))
       =>
       (((s__domain(s__overlapsTemporally__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__overlapsTemporally__m,s__Predicate) &
           s__overlapsTemporally(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__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__organizationProductType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__organizationProductType__m,s__Predicate) &
           s__organizationProductType(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__subclass(V__ROW2,s__Physical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__firstInstanceCreated__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__firstInstanceCreated__m,s__Predicate) &
           s__firstInstanceCreated(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__Class))
       =>
       (((s__domain(s__totalPipelineInArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__totalPipelineInArea__m,s__Predicate) &
           s__totalPipelineInArea(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__Class))
       =>
       (((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__BankCard) &
         s__instance(V__ROW2,s__ContentBearingObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__cardCode__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__cardCode__m,s__Predicate) &
           s__cardCode(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__Class))
       =>
       (((s__domain(s__birthdate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__birthdate__m,s__Predicate) &
           s__birthdate(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__Class))
       =>
       (((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__ROW3,s__Agent) &
         s__instance(V__ROW2,s__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__experiencer__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__experiencer__m,s__Predicate) &
           s__experiencer(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__Album) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__albumLength__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__albumLength__m,s__Predicate) &
           s__albumLength(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__Class))
       =>
       (((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__RealNumber) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__militaryExpendituresFractionOfGDP__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__militaryExpendituresFractionOfGDP__m,s__Predicate) &
           s__militaryExpendituresFractionOfGDP(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__Class))
       =>
       (((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__Human) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__cousin__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__cousin__m,s__Predicate) &
           s__cousin(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__PlaneAngleMeasure) &
         s__instance(V__ROW2,s__Physical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__courseWRTTrueNorth__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__courseWRTTrueNorth__m,s__Predicate) &
           s__courseWRTTrueNorth(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__Neighborhood) &
         s__instance(V__ROW2,s__PostalPlace) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__postNeighborhood__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__postNeighborhood__m,s__Predicate) &
           s__postNeighborhood(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__Animal) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__deathplace__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__deathplace__m,s__Predicate) &
           s__deathplace(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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Proposition) &
         s__instance(V__ROW2,s__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__realization__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__realization__m,s__Predicate) &
           s__realization(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__Class))
       =>
       (((s__domain(s__mother__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__mother__m,s__Predicate) &
           s__mother(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__Organization) &
         s__instance(V__ROW4,s__Agent) &
         s__instance(V__ROW2,s__Artifact) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__thirdPartyProduct__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__thirdPartyProduct__m,s__Predicate) &
           s__thirdPartyProduct(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__RealNumber) &
         s__instance(V__ROW4,s__GeographicArea) &
         s__instance(V__ROW2,s__BeliefGroup) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__beliefGroupPercentInRegion__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__beliefGroupPercentInRegion__m,s__Predicate) &
           s__beliefGroupPercentInRegion(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__ContentBearingObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__record__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__record__m,s__Predicate) &
           s__record(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__Class))
       =>
       (((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__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__relatedInternalConcept__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__relatedInternalConcept__m,s__Predicate) &
           s__relatedInternalConcept(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__SelfConnectedObject) &
         s__instance(V__ROW4,s__FunctionQuantity) &
         s__instance(V__ROW2,s__Transitway) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__transitwayCapacityRate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__transitwayCapacityRate__m,s__Predicate) &
           s__transitwayCapacityRate(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__Class))
       =>
       (((s__domain(s__top__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__top__m,s__Predicate) &
           s__top(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__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__webSeller__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__webSeller__m,s__Predicate) &
           s__webSeller(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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW2,s__Class) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__exhaustiveDecomposition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exhaustiveDecomposition__m,s__Predicate) &
           s__exhaustiveDecomposition__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__CognitiveAgent) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__optionHolder__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__optionHolder__m,s__Predicate) &
           s__optionHolder(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__Class))
       =>
       (((s__domain(s__defaultMinValue__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__defaultMinValue__m,s__Predicate) &
           s__defaultMinValue(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__BankStatement) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__statementInterest__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__statementInterest__m,s__Predicate) &
           s__statementInterest(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__Class))
       =>
       (((s__domain(s__totalGDPInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__totalGDPInPeriod__m,s__Predicate) &
           s__totalGDPInPeriod(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__RealNumber) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__realGrowthRateOfGDP__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__realGrowthRateOfGDP__m,s__Predicate) &
           s__realGrowthRateOfGDP(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__Transitway) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__routeInSystem__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__routeInSystem__m,s__Predicate) &
           s__routeInSystem(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__Class))
       =>
       (((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__Object) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__older__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__older__m,s__Predicate) &
           s__older(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__RealNumber) &
         s__instance(V__ROW2,s__Formula) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__conditionalProbability__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__conditionalProbability__m,s__Predicate) &
           s__conditionalProbability(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__PhysicalSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Man) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__stepfather__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__stepfather__m,s__Predicate) &
           s__stepfather(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__Class))
       =>
       (((s__domain(s__navigableForDraft__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__navigableForDraft__m,s__Predicate) &
           s__navigableForDraft(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__Hole) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__properlyFills__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__properlyFills__m,s__Predicate) &
           s__properlyFills(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__Class))
       =>
       (((s__domain(s__starts__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__starts__m,s__Predicate) &
           s__starts(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__Class))
       =>
       (((s__domain(s__partition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__partition__m,s__Predicate) &
           s__partition__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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__FunctionQuantity) &
         s__instance(V__ROW2,s__Vehicle) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__topSpeed__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__topSpeed__m,s__Predicate) &
           s__topSpeed(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__DirectionalAttribute) &
         s__instance(V__ROW4,s__RealNumber) &
         s__instance(V__ROW2,s__LandArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__slopeGradientTowardsOrientation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__slopeGradientTowardsOrientation__m,s__Predicate) &
           s__slopeGradientTowardsOrientation(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__Substance) &
         s__instance(V__ROW2,s__ChemicalProcess) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__reagent__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__reagent__m,s__Predicate) &
           s__reagent(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__Class))
       =>
       (((s__domain(s__middleName__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__middleName__m,s__Predicate) &
           s__middleName(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__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__Class))
       =>
       (((s__domain(s__exhaustiveDecomposition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exhaustiveDecomposition__m,s__Predicate) &
           s__exhaustiveDecomposition__5(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__instance(V__ROW3,s__PostalPlace) &
         s__instance(V__ROW2,s__PostalAddressText) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Collection) &
         s__instance(V__ROW4,s__Experimenting) &
         s__instance(V__ROW2,s__Collection) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__statisticalPopulation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__statisticalPopulation__m,s__Predicate) &
           s__statisticalPopulation(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__Phrase) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__grammaticalRelation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__grammaticalRelation__m,s__Predicate) &
           s__grammaticalRelation(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__GeographicArea) &
         s__subclass(V__ROW2,s__Organism) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__habitatOfOrganism__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__habitatOfOrganism__m,s__Predicate) &
           s__habitatOfOrganism(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__Translocation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__changesLocation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__changesLocation__m,s__Predicate) &
           s__changesLocation(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__Class))
       =>
       (((s__domain(s__appraisedValue__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__appraisedValue__m,s__Predicate) &
           s__appraisedValue(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__MilitaryRank) &
         s__subclass(V__ROW2,s__MilitaryUnit) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__commandRankOfEchelon__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__commandRankOfEchelon__m,s__Predicate) &
           s__commandRankOfEchelon(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__Process) &
         s__subclass(V__ROW2,s__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__typicallyContainsTemporalPart__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__typicallyContainsTemporalPart__m,s__Predicate) &
           s__typicallyContainsTemporalPart(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__AmbienceAttribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__dressCode__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__dressCode__m,s__Predicate) &
           s__dressCode(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__IndustryAttribute) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__industryOfArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__industryOfArea__m,s__Predicate) &
           s__industryOfArea(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__HotelFunctionRoom) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__freeFunctionRoomAmenity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__freeFunctionRoomAmenity__m,s__Predicate) &
           s__freeFunctionRoomAmenity(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__Hole) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__partiallyFills__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__partiallyFills__m,s__Predicate) &
           s__partiallyFills(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__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__allergic__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__allergic__m,s__Predicate) &
           s__allergic(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__Class))
       =>
       (((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__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW5,s__Transfer) &
         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__Class))
       =>
       (((s__domain(s__beforeOnPath__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__beforeOnPath__m,s__Predicate) &
           s__beforeOnPath(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__Computer) &
         s__instance(V__ROW2,s__ComputerProgram) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__runningOn__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__runningOn__m,s__Predicate) &
           s__runningOn(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__Class))
       =>
       (((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__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__Class))
       =>
       (((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__subclass(V__ROW3,s__Process) &
         s__instance(V__ROW2,s__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__hinders__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__hinders__m,s__Predicate) &
           s__hinders(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__Physical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__dateEstablished__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__dateEstablished__m,s__Predicate) &
           s__dateEstablished(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__WaterVehicle) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__flagState__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__flagState__m,s__Predicate) &
           s__flagState(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__Class))
       =>
       (((s__domain(s__agreementEffectiveDate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__agreementEffectiveDate__m,s__Predicate) &
           s__agreementEffectiveDate(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__Class))
       =>
       (((s__domain(s__startupTimeDelay__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__startupTimeDelay__m,s__Predicate) &
           s__startupTimeDelay(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__Object) &
         s__instance(V__ROW4,s__PositiveInteger) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__importCommodityTypeByRank__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__importCommodityTypeByRank__m,s__Predicate) &
           s__importCommodityTypeByRank(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__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__alias__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__alias__m,s__Predicate) &
           s__alias(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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__LengthMeasure) &
         s__instance(V__ROW2,s__OneDimensionalFigure) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__lineMeasure__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lineMeasure__m,s__Predicate) &
           s__lineMeasure(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__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__commentator__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__commentator__m,s__Predicate) &
           s__commentator(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__Region) &
         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__Class))
       =>
       (((s__domain(s__capableAtLocation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__capableAtLocation__m,s__Predicate) &
           s__capableAtLocation(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__WebSite) &
         s__instance(V__ROW4,s__Collection) &
         s__instance(V__ROW2,s__TimeInterval) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__firstTimeBuyers__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__firstTimeBuyers__m,s__Predicate) &
           s__firstTimeBuyers(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__Human) &
         s__instance(V__ROW2,s__Woman) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__niece__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__niece__m,s__Predicate) &
           s__niece(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__Class))
       =>
       (((s__domain(s__realGrowthRateOfGDPInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__realGrowthRateOfGDPInPeriod__m,s__Predicate) &
           s__realGrowthRateOfGDPInPeriod(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__Animal) &
         s__subclass(V__ROW2,s__OrganicObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__List) &
         s__instance(V__ROW2,s__ComputerProgram) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__commandLineArguments__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__commandLineArguments__m,s__Predicate) &
           s__commandLineArguments(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__ContentBearingPhysical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__experimentUpdate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__experimentUpdate__m,s__Predicate) &
           s__experimentUpdate(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__Class))
       =>
       (((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__instance(V__ROW3,s__VolumeMeasure) &
         s__instance(V__ROW2,s__Engine) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__maxCylinderVolume__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__maxCylinderVolume__m,s__Predicate) &
           s__maxCylinderVolume(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__Class))
       =>
       (((s__domain(s__names__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__names__m,s__Predicate) &
           s__names(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__WebSite) &
         s__instance(V__ROW4,s__Collection) &
         s__instance(V__ROW2,s__TimeInterval) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__firstTimeSellers__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__firstTimeSellers__m,s__Predicate) &
           s__firstTimeSellers(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__PositiveInteger) &
         s__instance(V__ROW2,s__FinancialAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__instance(V__ROW3,s__StrictnessAttribute) &
         s__instance(V__ROW2,s__RealtimeSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__strictness__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__strictness__m,s__Predicate) &
           s__strictness(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__Class))
       =>
       (((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__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__TimeDuration) &
         s__instance(V__ROW4,s__TemperatureMeasure) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__lowestTemperatureForPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lowestTemperatureForPeriod__m,s__Predicate) &
           s__lowestTemperatureForPeriod(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__FinancialTransaction) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__instance(V__ROW3,s__CognitiveAgent) &
         s__subclass(V__ROW2,s__MusicChart) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__musicChartBy__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__musicChartBy__m,s__Predicate) &
           s__musicChartBy(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__Class))
       =>
       (((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__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__Class))
       =>
       (((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__subclass(V__ROW2,s__HotelFunctionRoom) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__paidFunctionRoomAmenity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__paidFunctionRoomAmenity__m,s__Predicate) &
           s__paidFunctionRoomAmenity(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__Class))
       =>
       (((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__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Proposition) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__Region) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__capacityByArrangement__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__capacityByArrangement__m,s__Predicate) &
           s__capacityByArrangement(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__ComputerDirectory) &
         s__instance(V__ROW2,s__ComputerFile) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Human) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__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__Class))
       =>
       (((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__TimeInterval) &
         s__instance(V__ROW2,s__Agreement) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__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__Class))
       =>
       (((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__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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__MilitaryOperation) &
         s__instance(V__ROW2,s__Region) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__areaOfOperation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__areaOfOperation__m,s__Predicate) &
           s__areaOfOperation(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__Character) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__inString__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__inString__m,s__Predicate) &
           s__inString(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__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__laborForceTotal__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__laborForceTotal__m,s__Predicate) &
           s__laborForceTotal(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__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__populationFractionBelowPovertyLine__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__populationFractionBelowPovertyLine__m,s__Predicate) &
           s__populationFractionBelowPovertyLine(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__Class))
       =>
       (((s__domain(s__equivalentContentClass__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__equivalentContentClass__m,s__Predicate) &
           s__equivalentContentClass(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__Class))
       =>
       (((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__LexiconCategory) &
         s__instance(V__ROW4,s__SymbolicString) &
         s__instance(V__ROW2,s__SetOrClass) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__lexicon__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lexicon__m,s__Predicate) &
           s__lexicon(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__Class))
       =>
       (((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__PhysicalQuantity) &
         s__instance(V__ROW2,s__WaterVehicle) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__vesselDisplacement__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__vesselDisplacement__m,s__Predicate) &
           s__vesselDisplacement(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__TruthValue) &
         s__instance(V__ROW2,s__Sentence) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__truth__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__truth__m,s__Predicate) &
           s__truth(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__SelfConnectedObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__weight__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__weight__m,s__Predicate) &
           s__weight(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__Physical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__time__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__time__m,s__Predicate) &
           s__time(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__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Substance) &
         s__instance(V__ROW2,s__ChemicalProcess) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__catalyst__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__catalyst__m,s__Predicate) &
           s__catalyst(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__MilitaryUnit) &
         s__subclass(V__ROW2,s__MilitaryUnit) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__subEchelon__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__subEchelon__m,s__Predicate) &
           s__subEchelon(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__Animal) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__grasps__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__grasps__m,s__Predicate) &
           s__grasps(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__FinancialTransaction) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__occupation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__occupation__m,s__Predicate) &
           s__occupation(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__ComputationalSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__memorySize__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__memorySize__m,s__Predicate) &
           s__memorySize(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__FinancialAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__paymentsPerPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__paymentsPerPeriod__m,s__Predicate) &
           s__paymentsPerPeriod(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__Device) &
         s__instance(V__ROW4,s__Quantity) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__equipmentCount__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__equipmentCount__m,s__Predicate) &
           s__equipmentCount(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__PermanentResidence) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Language) &
         s__instance(V__ROW2,s__ContentBearingPhysical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__language__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__language__m,s__Predicate) &
           s__language(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__Class))
       =>
       (((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__Class) &
         s__instance(V__ROW2,s__BinaryRelation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__reflexiveOn__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__reflexiveOn__m,s__Predicate) &
           s__reflexiveOn(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__Class))
       =>
       (((s__domain(s__telecomCode2__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__telecomCode2__m,s__Predicate) &
           s__telecomCode2(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__GUIElement) &
         s__instance(V__ROW2,s__GUIElement) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__guiElementPartiallyCoveredBy__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__guiElementPartiallyCoveredBy__m,s__Predicate) &
           s__guiElementPartiallyCoveredBy(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__FinancialAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__maturityDate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__maturityDate__m,s__Predicate) &
           s__maturityDate(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__PricingScheme) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__pricePolicy__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__pricePolicy__m,s__Predicate) &
           s__pricePolicy(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__Class))
       =>
       (((s__domain(s__creator__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__creator__m,s__Predicate) &
           s__creator(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__Class))
       =>
       (((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__LengthMeasure) &
         s__subclass(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__TemperatureMeasure) &
         s__instance(V__ROW2,s__Device) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__maxDeviceStorageTemp__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__maxDeviceStorageTemp__m,s__Predicate) &
           s__maxDeviceStorageTemp(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__StationaryArtifact) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__contractor__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contractor__m,s__Predicate) &
           s__contractor(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__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__objectDetached__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__objectDetached__m,s__Predicate) &
           s__objectDetached(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__Class))
       =>
       (((s__domain(s__birthday__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__birthday__m,s__Predicate) &
           s__birthday(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__Class))
       =>
       (((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__FinancialCompany) &
         s__instance(V__ROW2,s__FinancialAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__financialAccount__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__financialAccount__m,s__Predicate) &
           s__financialAccount(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__Class))
       =>
       (((s__domain(s__fullNameIndexOrder__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__fullNameIndexOrder__m,s__Predicate) &
           s__fullNameIndexOrder(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__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__manufacturer__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__manufacturer__m,s__Predicate) &
           s__manufacturer(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__Attribute) &
         s__instance(V__ROW4,s__RealNumber) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__laborForceFractionByOccupation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__laborForceFractionByOccupation__m,s__Predicate) &
           s__laborForceFractionByOccupation(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__Reservation) &
         s__instance(V__ROW2,s__PositiveInteger) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__numberOfCustomers__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__numberOfCustomers__m,s__Predicate) &
           s__numberOfCustomers(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__Class))
       =>
       (((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__ROW2,s__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__fears__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__fears__m,s__Predicate) &
           s__fears(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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__AbstractionLevelAttribute) &
         s__instance(V__ROW2,s__RealtimeSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__abstractionLevel__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__abstractionLevel__m,s__Predicate) &
           s__abstractionLevel(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__PreparedFood) &
         s__subclass(V__ROW2,s__Substance) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__ingredient__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__ingredient__m,s__Predicate) &
           s__ingredient(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__Satellite) &
         s__instance(V__ROW4,s__Integer) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__communicationSatelliteForArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__communicationSatelliteForArea__m,s__Predicate) &
           s__communicationSatelliteForArea(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__Physical) &
         s__subclass(V__ROW2,s__HotelFunctionRoom) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Formula) &
         s__instance(V__ROW2,s__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__knows__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__knows__m,s__Predicate) &
           s__knows(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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__CorpuscularObject) &
         s__instance(V__ROW2,s__TwoDimensionalObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__sliceOfFigure__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__sliceOfFigure__m,s__Predicate) &
           s__sliceOfFigure(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__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__applicableRelation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__applicableRelation__m,s__Predicate) &
           s__applicableRelation(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__Class))
       =>
       (((s__domain(s__annualElectricityProduction__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__annualElectricityProduction__m,s__Predicate) &
           s__annualElectricityProduction(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__TelephonyDevice) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__telecomContactDevice__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__telecomContactDevice__m,s__Predicate) &
           s__telecomContactDevice(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__Class))
       =>
       (((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__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__PositiveRealNumber) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__importPartnerByFractionInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__importPartnerByFractionInPeriod__m,s__Predicate) &
           s__importPartnerByFractionInPeriod(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__Class))
       =>
       (((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__Human) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__spouse__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__spouse__m,s__Predicate) &
           s__spouse(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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW2,s__CreditAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__creditLimit__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__creditLimit__m,s__Predicate) &
           s__creditLimit(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__RiskAttribute) &
         s__instance(V__ROW2,s__Investor) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Human) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__mutualAcquaintance__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__mutualAcquaintance__m,s__Predicate) &
           s__mutualAcquaintance(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__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__Class))
       =>
       (((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__ROW2,s__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__objectAttached__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__objectAttached__m,s__Predicate) &
           s__objectAttached(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__Class))
       =>
       (((s__domain(s__highAltitudeWindVelocity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__highAltitudeWindVelocity__m,s__Predicate) &
           s__highAltitudeWindVelocity(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__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((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__instance(V__ROW2,s__Attribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__contraryAttribute__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contraryAttribute__m,s__Predicate) &
           s__contraryAttribute__5(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__instance(V__ROW3,s__Organism) &
         s__instance(V__ROW2,s__Organism) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW3,s__ProcessStatus) &
         s__instance(V__ROW2,s__ComputerProcess) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__status__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__status__m,s__Predicate) &
           s__status(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__TimePosition) &
         s__instance(V__ROW4,s__LengthMeasure) &
         s__instance(V__ROW2,s__Region) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__visibilityInMeteorology__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__visibilityInMeteorology__m,s__Predicate) &
           s__visibilityInMeteorology(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__GeographicArea) &
         s__instance(V__ROW3,s__BinaryRelationExtendedToQuantities) &
         s__instance(V__ROW4,s__PositiveRealNumber) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__comparativeArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__comparativeArea__m,s__Predicate) &
           s__comparativeArea(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__PositiveInteger) &
         s__instance(V__ROW2,s__ComputerPath) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__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__Class))
       =>
       (((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__Proposition) &
         s__instance(V__ROW2,s__Argument) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__premise__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__premise__m,s__Predicate) &
           s__premise(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__instance(V__ROW2,s__Investment) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__yield__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__yield__m,s__Predicate) &
           s__yield(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__Agent) &
         s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW4,s__CurrencyMeasure) &
         s__subclass(V__ROW2,s__Entity) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__priceRange__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__priceRange__m,s__Predicate) &
           s__priceRange(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__NonnegativeRealNumber) &
         s__subclass(V__ROW4,s__TimeInterval) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__laborForceTotalInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__laborForceTotalInPeriod__m,s__Predicate) &
           s__laborForceTotalInPeriod(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__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Object) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__superficialPart__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__superficialPart__m,s__Predicate) &
           s__superficialPart(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__SearchAttempt) &
         s__instance(V__ROW2,s__WebListing) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__searchResult__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__searchResult__m,s__Predicate) &
           s__searchResult(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__BodyPart) &
         s__instance(V__ROW4,s__AngleMeasure) &
         s__instance(V__ROW2,s__BodyPart) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__bodyAngle__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__bodyAngle__m,s__Predicate) &
           s__bodyAngle(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__ContentBearingPhysical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__finalExperimentReport__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__finalExperimentReport__m,s__Predicate) &
           s__finalExperimentReport(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__Class))
       =>
       (((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__LengthMeasure) &
         s__instance(V__ROW2,s__WaterWave) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__waveHeight__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__waveHeight__m,s__Predicate) &
           s__waveHeight(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__Class))
       =>
       (((s__domain(s__importTotalInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__importTotalInPeriod__m,s__Predicate) &
           s__importTotalInPeriod(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__PlacingUnderArrest) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__arrestingOfficer__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__arrestingOfficer__m,s__Predicate) &
           s__arrestingOfficer(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__Class))
       =>
       (((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__ROW2,s__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__uniqueIdentifier__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__uniqueIdentifier__m,s__Predicate) &
           s__uniqueIdentifier(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__Class))
       =>
       (((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__subclass(V__ROW3,s__Agent) &
         s__subclass(V__ROW2,s__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__typicalAction__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__typicalAction__m,s__Predicate) &
           s__typicalAction(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__ComputerComponent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__load__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__load__m,s__Predicate) &
           s__load(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__Day) &
         s__instance(V__ROW4,s__TimeInterval) &
         s__instance(V__ROW2,s__Region) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__daylightHoursInterval__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__daylightHoursInterval__m,s__Predicate) &
           s__daylightHoursInterval(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__Day) &
         s__instance(V__ROW2,s__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__Process) &
         s__subclass(V__ROW2,s__BiochemicalAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__biochemicalAgentDelivery__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__biochemicalAgentDelivery__m,s__Predicate) &
           s__biochemicalAgentDelivery(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__DirectionalAttribute) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__surfaceWindDirection__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__surfaceWindDirection__m,s__Predicate) &
           s__surfaceWindDirection(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__TimePoint) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__before__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__before__m,s__Predicate) &
           s__before(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__Class))
       =>
       (((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__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__Class))
       =>
       (((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__subclass(V__ROW3,s__Text) &
         s__instance(V__ROW2,s__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__publishes__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__publishes__m,s__Predicate) &
           s__publishes(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__TimePoint) &
         s__instance(V__ROW4,s__TimePoint) &
         s__instance(V__ROW2,s__TimePoint) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__temporallyBetweenOrEqual__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__temporallyBetweenOrEqual__m,s__Predicate) &
           s__temporallyBetweenOrEqual(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__TimeInterval) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__militaryExpendituresInUSDollarsInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__militaryExpendituresInUSDollarsInPeriod__m,s__Predicate) &
           s__militaryExpendituresInUSDollarsInPeriod(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__Physical) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW3,s__FunctionQuantity) &
         s__instance(V__ROW2,s__SpeedGovernor) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__governorSpeed__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__governorSpeed__m,s__Predicate) &
           s__governorSpeed(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__Human) &
         s__subclass(V__ROW4,s__MakingMusic) &
         s__instance(V__ROW2,s__MusicRecording) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__musician__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__musician__m,s__Predicate) &
           s__musician(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__Organization) &
         s__instance(V__ROW2,s__Proposition) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW5,s__TimeInterval) &
         s__instance(V__ROW3,s__IndustryAttribute) &
         s__instance(V__ROW4,s__CurrencyMeasure) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__sectorValueOfGDPInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__sectorValueOfGDPInPeriod__m,s__Predicate) &
           s__sectorValueOfGDPInPeriod(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__subclass(V__ROW3,s__Object) &
         s__subclass(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__subclass(V__ROW3,s__UniformClothing) &
         s__instance(V__ROW2,s__Group) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__hasUniform__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__hasUniform__m,s__Predicate) &
           s__hasUniform(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__Plant) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__vegetationType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__vegetationType__m,s__Predicate) &
           s__vegetationType(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__MonitoringProgram) &
         s__instance(V__ROW4,s__Quantity) &
         s__instance(V__ROW2,s__ComputationalSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__benchmarkPerformance__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__benchmarkPerformance__m,s__Predicate) &
           s__benchmarkPerformance(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__Class))
       =>
       (((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__Object) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__copy__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__copy__m,s__Predicate) &
           s__copy(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__EnvironmentSoftwareAttribute) &
         s__instance(V__ROW2,s__ComputerProgram) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__environmentAttributes__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__environmentAttributes__m,s__Predicate) &
           s__environmentAttributes(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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Human) &
         s__instance(V__ROW2,s__TelecomNumber) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__homePhoneNumber__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__homePhoneNumber__m,s__Predicate) &
           s__homePhoneNumber(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__WaterArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Graph) &
         s__instance(V__ROW2,s__Graph) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__subGraph__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__subGraph__m,s__Predicate) &
           s__subGraph(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__Object) &
         s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW4,s__TimePosition) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__observedAtTimeInPlace__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__observedAtTimeInPlace__m,s__Predicate) &
           s__observedAtTimeInPlace(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__TimeDuration) &
         s__instance(V__ROW2,s__UserRequest) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__requestRate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__requestRate__m,s__Predicate) &
           s__requestRate(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__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__propertyAmenity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__propertyAmenity__m,s__Predicate) &
           s__propertyAmenity(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__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__confirmedRegisteredUser__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__confirmedRegisteredUser__m,s__Predicate) &
           s__confirmedRegisteredUser(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__Class))
       =>
       (((s__domain(s__approves__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__approves__m,s__Predicate) &
           s__approves(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__BankStatement) &
         s__instance(V__ROW2,s__FinancialAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__lastStatement__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lastStatement__m,s__Predicate) &
           s__lastStatement(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__Class))
       =>
       (((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__Policy) &
         s__subclass(V__ROW2,s__HotelUnit) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__ComputerMenu) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__accessibleFromMenu__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__accessibleFromMenu__m,s__Predicate) &
           s__accessibleFromMenu(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__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__wants__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__wants__m,s__Predicate) &
           s__wants(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__Class))
       =>
       (((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__subclass(V__ROW3,s__IllicitDrug) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__illicitDrugConsumer__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__illicitDrugConsumer__m,s__Predicate) &
           s__illicitDrugConsumer(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__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__considers__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__considers__m,s__Predicate) &
           s__considers(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__Class))
       =>
       (((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__Object) &
         s__instance(V__ROW2,s__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Class) &
         s__instance(V__ROW2,s__Function) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__closedOn__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__closedOn__m,s__Predicate) &
           s__closedOn(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__GeographicArea) &
         s__instance(V__ROW4,s__TimePoint) &
         s__subclass(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__releaseForConsumption__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__releaseForConsumption__m,s__Predicate) &
           s__releaseForConsumption(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__TimePoint) &
         s__instance(V__ROW2,s__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__checkInTime__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__checkInTime__m,s__Predicate) &
           s__checkInTime(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__PhysicalSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__dampingRatio__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__dampingRatio__m,s__Predicate) &
           s__dampingRatio(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__Collection) &
         s__instance(V__ROW2,s__Collection) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__meceCollection__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__meceCollection__m,s__Predicate) &
           s__meceCollection(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__Class))
       =>
       (((s__domain(s__nephew__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__nephew__m,s__Predicate) &
           s__nephew(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__PhysicalSystem) &
         s__instance(V__ROW2,s__PhysicalSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__subSystem__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__subSystem__m,s__Predicate) &
           s__subSystem(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__instance(V__ROW2,s__MusicalTone) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__soundFrequency__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__soundFrequency__m,s__Predicate) &
           s__soundFrequency(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__Class))
       =>
       (((s__domain(s__referenceTitle__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__referenceTitle__m,s__Predicate) &
           s__referenceTitle(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__TelecomNumber) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__faxNumber__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__faxNumber__m,s__Predicate) &
           s__faxNumber(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__Class))
       =>
       (((s__domain(s__externalDebt__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__externalDebt__m,s__Predicate) &
           s__externalDebt(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__TimePosition) &
         s__instance(V__ROW4,s__SocialRole) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__electionDatePlannedForPosition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__electionDatePlannedForPosition__m,s__Predicate) &
           s__electionDatePlannedForPosition(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__Class))
       =>
       (((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__instance(V__ROW3,s__SearchQuery) &
         s__instance(V__ROW2,s__SearchQuery) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__Abstract) &
         s__instance(V__ROW2,s__Abstract) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__CurrencyMeasure) &
         s__instance(V__ROW2,s__ChargingAFee) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__WebSite) &
         s__instance(V__ROW2,s__WebListingCategory) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__categoryOf__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__categoryOf__m,s__Predicate) &
           s__categoryOf(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__Class))
       =>
       (((s__domain(s__maxDeviceOperatingTemp__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__maxDeviceOperatingTemp__m,s__Predicate) &
           s__maxDeviceOperatingTemp(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__Class))
       =>
       (((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__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__Class))
       =>
       (((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__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Object) &
         s__instance(V__ROW2,s__AchievingControl) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domain(s__controlled__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__controlled__m,s__Predicate) &
           s__controlled(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) &