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