• 如果 applicableRelation 客体 and 关系 和 那个 客体 是 那个 客体C 的 instance 和 那个 关系 的 1 数量 是 另一个 类 的 instance，
• 然后 那个 客体C equal 那个 另外 类 或 那个 客体C 是 那个 另外 类 的 subclass

• 如果 关系 的 正整数 数量 是 类 的 instance 和 那个 关系 的 那个 正整数 数量 是 另一个 类 的 instance，
• 然后 那个 类 是 那个 另外 类 的 subclass 或 那个 另外 类 是 那个 类 的 subclass

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__refers__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__refers__m,s__Predicate) &
           s__refers(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__contraryAttribute__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contraryAttribute__m,s__Predicate) &
           s__contraryAttribute__2(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__UnitOfMeasure) &
         s__instance(V__ROW6,s__SymbolicString) &
         s__subclass(V__ROW3,s__ComputerComponent) &
         s__instance(V__ROW4,s__ComputerComponent) &
         s__instance(V__ROW2,s__TimePosition) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__componentDataID__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__componentDataID__m,s__Predicate) &
           s__componentDataID(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
      ,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__domainSubclass(s__realGrowthRateOfGDPInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__realGrowthRateOfGDPInPeriod__m,s__Predicate) &
           s__realGrowthRateOfGDPInPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Quantity) &
         s__subclass(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__defaultMeasure__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__defaultMeasure__m,s__Predicate) &
           s__defaultMeasure(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__bidPrice__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__bidPrice__m,s__Predicate) &
           s__bidPrice(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__GeopoliticalArea) &
         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__domainSubclass(s__importPartnerByRank__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__importPartnerByRank__m,s__Predicate) &
           s__importPartnerByRank(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW4,s__TimePosition) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__compensationPackage__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__compensationPackage__m,s__Predicate) &
           s__compensationPackage(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__TelecomNumber) &
         s__instance(V__ROW2,s__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__telecomExtension__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__telecomExtension__m,s__Predicate) &
           s__telecomExtension(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Agent) &
         s__subclass(V__ROW4,s__TimeInterval) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__importPartnerInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__importPartnerInPeriod__m,s__Predicate) &
           s__importPartnerInPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Object) &
         s__instance(V__ROW4,s__Agent) &
         s__instance(V__ROW2,s__CurrencyMeasure) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__corkageFee__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__corkageFee__m,s__Predicate) &
           s__corkageFee(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__domainSubclass(s__populationFractionBelowPovertyLine__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__populationFractionBelowPovertyLine__m,s__Predicate) &
           s__populationFractionBelowPovertyLine(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Transportation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__transported__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__transported__m,s__Predicate) &
           s__transported(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__TimeInterval) &
         s__instance(V__ROW4,s__FunctionQuantity) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__rainfallIntensity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__rainfallIntensity__m,s__Predicate) &
           s__rainfallIntensity(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__SoftwareSystem) &
         s__instance(V__ROW2,s__ResourceManagementProgram) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__rMProgramOf__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__rMProgramOf__m,s__Predicate) &
           s__rMProgramOf(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__EngineeringComponent) &
         s__subclass(V__ROW2,s__ComputerProtocol) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__protocolForConnector__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__protocolForConnector__m,s__Predicate) &
           s__protocolForConnector(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__subclass(V__ROW4,s__PositiveInteger) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__agriculturalProductTypeByRank__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__agriculturalProductTypeByRank__m,s__Predicate) &
           s__agriculturalProductTypeByRank(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Abstract) &
         s__instance(V__ROW2,s__Game) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__achievement__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__achievement__m,s__Predicate) &
           s__achievement(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__NonnegativeRealNumber) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__overcastDaysInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__overcastDaysInPeriod__m,s__Predicate) &
           s__overcastDaysInPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__WaterArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__waterDepth__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__waterDepth__m,s__Predicate) &
           s__waterDepth(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__fullName__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__fullName__m,s__Predicate) &
           s__fullName(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__names__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__names__m,s__Predicate) &
           s__names(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__guiElementUncovered__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__guiElementUncovered__m,s__Predicate) &
           s__guiElementUncovered(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__GeographicArea) &
         s__instance(V__ROW3,s__BinaryRelationExtendedToQuantities) &
         s__instance(V__ROW4,s__PositiveRealNumber) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__comparativeArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__comparativeArea__m,s__Predicate) &
           s__comparativeArea(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__SocialRole) &
         s__instance(V__ROW4,s__SocialRole) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__roleApprovesRole__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__roleApprovesRole__m,s__Predicate) &
           s__roleApprovesRole(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Position) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__chiefOfStateType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__chiefOfStateType__m,s__Predicate) &
           s__chiefOfStateType(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__UserRequest) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__responseTime__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__responseTime__m,s__Predicate) &
           s__responseTime(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__meanSeaLevel__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__meanSeaLevel__m,s__Predicate) &
           s__meanSeaLevel(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__agreementAdoptionDate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__agreementAdoptionDate__m,s__Predicate) &
           s__agreementAdoptionDate(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__Organization) &
         s__instance(V__ROW4,s__Agent) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__diplomaticOrganizationType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__diplomaticOrganizationType__m,s__Predicate) &
           s__diplomaticOrganizationType(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__domainSubclass(s__bottom__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__bottom__m,s__Predicate) &
           s__bottom(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__EngineeringComponent) &
         s__instance(V__ROW2,s__EngineeringComponent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__engineeringSubcomponent__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__engineeringSubcomponent__m,s__Predicate) &
           s__engineeringSubcomponent(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__annualElectricityProduction__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__annualElectricityProduction__m,s__Predicate) &
           s__annualElectricityProduction(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(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__subclass(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__PositiveRealNumber) &
         s__instance(V__ROW2,s__Computer) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__thresholdOf__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__thresholdOf__m,s__Predicate) &
           s__thresholdOf(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__PartiallyCoveringGraphicalWindow) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__guiElementPartiallyCovered__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__guiElementPartiallyCovered__m,s__Predicate) &
           s__guiElementPartiallyCovered(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__transitwayCapacityRate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__transitwayCapacityRate__m,s__Predicate) &
           s__transitwayCapacityRate(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Month) &
         s__instance(V__ROW4,s__LengthMeasure) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__averageRainfallForPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__averageRainfallForPeriod__m,s__Predicate) &
           s__averageRainfallForPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__WebSite) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__confirmedRegisteredUser__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__confirmedRegisteredUser__m,s__Predicate) &
           s__confirmedRegisteredUser(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__Process) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__resultType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__resultType__m,s__Predicate) &
           s__resultType(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Collection) &
         s__instance(V__ROW2,s__ContentBearingObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__inventory__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__inventory__m,s__Predicate) &
           s__inventory(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__FunctionQuantity) &
         s__subclass(V__ROW2,s__BiochemicalAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__effectiveDose__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__effectiveDose__m,s__Predicate) &
           s__effectiveDose(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__SelfConnectedObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__contains__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contains__m,s__Predicate) &
           s__contains(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Music) &
         s__instance(V__ROW2,s__MusicRecording) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__musicInterpretation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__musicInterpretation__m,s__Predicate) &
           s__musicInterpretation(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__resource__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__resource__m,s__Predicate) &
           s__resource(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__approves__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__approves__m,s__Predicate) &
           s__approves(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__RadiationMeasure) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__absorbedDose__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__absorbedDose__m,s__Predicate) &
           s__absorbedDose(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__TimeInterval) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__coolSeasonInArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__coolSeasonInArea__m,s__Predicate) &
           s__coolSeasonInArea(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__FormOfGovernment) &
         s__instance(V__ROW2,s__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__ideologicalAffiliationOfOrganization__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__ideologicalAffiliationOfOrganization__m,s__Predicate) &
           s__ideologicalAffiliationOfOrganization(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Formula) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__holdsObligation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__holdsObligation__m,s__Predicate) &
           s__holdsObligation(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__AchievingControl) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__controlled__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__controlled__m,s__Predicate) &
           s__controlled(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__LengthMeasure) &
         s__instance(V__ROW2,s__SelfConnectedObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__height__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__height__m,s__Predicate) &
           s__height(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__commandLineArguments__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__commandLineArguments__m,s__Predicate) &
           s__commandLineArguments(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__ServiceProcess) &
         s__instance(V__ROW2,s__RoomInventory) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__allRoomsServiceAmenity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__allRoomsServiceAmenity__m,s__Predicate) &
           s__allRoomsServiceAmenity(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__GroupOfPeople) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__groupMember__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__groupMember__m,s__Predicate) &
           s__groupMember(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW4,s__TimeInterval) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__income__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__income__m,s__Predicate) &
           s__income(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__TimePoint) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__reservationStart__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__reservationStart__m,s__Predicate) &
           s__reservationStart(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__NonnegativeInteger) &
         s__instance(V__ROW2,s__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__seatsHeldInOrganization__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__seatsHeldInOrganization__m,s__Predicate) &
           s__seatsHeldInOrganization(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Collateral) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__appraisedValue__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__appraisedValue__m,s__Predicate) &
           s__appraisedValue(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__BinaryPredicate) &
         s__instance(V__ROW2,s__Attribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__contraryAttributeWRT__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contraryAttributeWRT__m,s__Predicate) &
           s__contraryAttributeWRT(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__TimePoint) &
         s__instance(V__ROW4,s__TimePoint) &
         s__instance(V__ROW2,s__TimePoint) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__temporallyBetween__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__temporallyBetween__m,s__Predicate) &
           s__temporallyBetween(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Collection) &
         s__instance(V__ROW4,s__TimePosition) &
         s__instance(V__ROW2,s__SelfConnectedObject) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__memberAtTime__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__memberAtTime__m,s__Predicate) &
           s__memberAtTime(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__Year) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__yearBuilt__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__yearBuilt__m,s__Predicate) &
           s__yearBuilt(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__sententialSubject__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__sententialSubject__m,s__Predicate) &
           s__sententialSubject(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__aimOfOrganization__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__aimOfOrganization__m,s__Predicate) &
           s__aimOfOrganization(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW4,s__Language) &
         s__instance(V__ROW2,s__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__relatedExternalConcept__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__relatedExternalConcept__m,s__Predicate) &
           s__relatedExternalConcept(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__FinancialAccount) &
         s__instance(V__ROW2,s__Check) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__checkAccount__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__checkAccount__m,s__Predicate) &
           s__checkAccount(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__activityCapability__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__activityCapability__m,s__Predicate) &
           s__activityCapability(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__lengthOfUnpavedHighway__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lengthOfUnpavedHighway__m,s__Predicate) &
           s__lengthOfUnpavedHighway(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Discography) &
         s__instance(V__ROW2,s__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__discography__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__discography__m,s__Predicate) &
           s__discography(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Device) &
         s__instance(V__ROW2,s__Artifact) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__equipmentType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__equipmentType__m,s__Predicate) &
           s__equipmentType(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__surfaceWindVelocity__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__surfaceWindVelocity__m,s__Predicate) &
           s__surfaceWindVelocity(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__ROW2,s__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__subsumingExternalConcept__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__subsumingExternalConcept__m,s__Predicate) &
           s__subsumingExternalConcept(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__enemy__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__enemy__m,s__Predicate) &
           s__enemy(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__Physical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__length__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__length__m,s__Predicate) &
           s__length(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__externalDebtInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__externalDebtInPeriod__m,s__Predicate) &
           s__externalDebtInPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__FunctionQuantity) &
         s__instance(V__ROW4,s__Agreement) &
         s__subclass(V__ROW2,s__Physical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__contractedRentalPrice__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contractedRentalPrice__m,s__Predicate) &
           s__contractedRentalPrice(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Organization) &
         s__instance(V__ROW2,s__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__ancestorOrganization__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__ancestorOrganization__m,s__Predicate) &
           s__ancestorOrganization(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__GeopoliticalArea) &
         s__instance(V__ROW4,s__PositiveInteger) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__exportPartnerByRank__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exportPartnerByRank__m,s__Predicate) &
           s__exportPartnerByRank(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Circle) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__radius__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__radius__m,s__Predicate) &
           s__radius(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Proposition) &
         s__instance(V__ROW2,s__Reservation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__reservedPackage__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__reservedPackage__m,s__Predicate) &
           s__reservedPackage(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Experimenting) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__treatedPageDefinition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__treatedPageDefinition__m,s__Predicate) &
           s__treatedPageDefinition(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__IntentionalProcess) &
         s__instance(V__ROW2,s__IndustryAttribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__industryServiceType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__industryServiceType__m,s__Predicate) &
           s__industryServiceType(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__illicitDrugShipmentDestination__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__illicitDrugShipmentDestination__m,s__Predicate) &
           s__illicitDrugShipmentDestination(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__LegalAction) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__witness__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__witness__m,s__Predicate) &
           s__witness(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__CurrencyMeasure) &
         s__instance(V__ROW2,s__Loan) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__loanInterest__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__loanInterest__m,s__Predicate) &
           s__loanInterest(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__Physical) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__viewType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__viewType__m,s__Predicate) &
           s__viewType(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__PhysicalQuantity) &
         s__instance(V__ROW2,s__PowerSource) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__voltageMeasure__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__voltageMeasure__m,s__Predicate) &
           s__voltageMeasure(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__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__domainSubclass(s__exhaustiveDecomposition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exhaustiveDecomposition__m,s__Predicate) &
           s__exhaustiveDecomposition__3(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Organization) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__legislativeBranch__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__legislativeBranch__m,s__Predicate) &
           s__legislativeBranch(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__GeographicArea) &
         s__instance(V__ROW4,s__LengthMeasure) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__sharedBorderLength__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__sharedBorderLength__m,s__Predicate) &
           s__sharedBorderLength(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Abstract) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__offers__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__offers__m,s__Predicate) &
           s__offers(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__dressCode__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__dressCode__m,s__Predicate) &
           s__dressCode(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Experimenting) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__confidenceInterval__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__confidenceInterval__m,s__Predicate) &
           s__confidenceInterval(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__vesselDisplacement__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__vesselDisplacement__m,s__Predicate) &
           s__vesselDisplacement(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__ROW2,s__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__subsumedExternalConcept__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__subsumedExternalConcept__m,s__Predicate) &
           s__subsumedExternalConcept(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW2,s__Organism) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__mothersSistersHusband__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__mothersSistersHusband__m,s__Predicate) &
           s__mothersSistersHusband(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Human) &
         s__instance(V__ROW2,s__TelecomNumber) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__personalPhoneNumber__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__personalPhoneNumber__m,s__Predicate) &
           s__personalPhoneNumber(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__CognitiveAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__checkOutTime__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__checkOutTime__m,s__Predicate) &
           s__checkOutTime(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__exportPartner__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exportPartner__m,s__Predicate) &
           s__exportPartner(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW2,s__Class) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__exhaustiveDecomposition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exhaustiveDecomposition__m,s__Predicate) &
           s__exhaustiveDecomposition__2(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__localShortName__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__localShortName__m,s__Predicate) &
           s__localShortName(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__lastRenovation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lastRenovation__m,s__Predicate) &
           s__lastRenovation(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Recording) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__recordingLength__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__recordingLength__m,s__Predicate) &
           s__recordingLength(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Woman) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__stepmother__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__stepmother__m,s__Predicate) &
           s__stepmother(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__SetOrClass) &
         s__instance(V__ROW4,s__SetOrClass) &
         s__instance(V__ROW2,s__SetOrClass) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__classIntersection__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__classIntersection__m,s__Predicate) &
           s__classIntersection(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__immediateInstance__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__immediateInstance__m,s__Predicate) &
           s__immediateInstance(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__TerrainAttribute) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__terrainInArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__terrainInArea__m,s__Predicate) &
           s__terrainInArea(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__PlacingUnderArrest) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__arrestingOfficer__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__arrestingOfficer__m,s__Predicate) &
           s__arrestingOfficer(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__uses__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__uses__m,s__Predicate) &
           s__uses(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Album) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__albumArtist__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__albumArtist__m,s__Predicate) &
           s__albumArtist(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__caliber__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__caliber__m,s__Predicate) &
           s__caliber(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Collection) &
         s__instance(V__ROW2,s__Physical) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__member__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__member__m,s__Predicate) &
           s__member(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__conversionEvent__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__conversionEvent__m,s__Predicate) &
           s__conversionEvent(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__UniformResourceLocator) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__urlString__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__urlString__m,s__Predicate) &
           s__urlString(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__TimeDuration) &
         s__instance(V__ROW4,s__ConstantQuantity) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__averagePrecipitationForPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__averagePrecipitationForPeriod__m,s__Predicate) &
           s__averagePrecipitationForPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__domainSubclass(s__highestTemperatureForPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__highestTemperatureForPeriod__m,s__Predicate) &
           s__highestTemperatureForPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__ComputerProtocol) &
         s__instance(V__ROW2,s__ComputerProgram) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__implementsProtocol__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__implementsProtocol__m,s__Predicate) &
           s__implementsProtocol(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__SymbolicString) &
         s__instance(V__ROW4,s__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__comment__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__comment__m,s__Predicate) &
           s__comment(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__FinancialAccount) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__totalBalance__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__totalBalance__m,s__Predicate) &
           s__totalBalance(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__electricityConsumptionInPeriod__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__electricityConsumptionInPeriod__m,s__Predicate) &
           s__electricityConsumptionInPeriod(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__lengthOfPavedHighway__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lengthOfPavedHighway__m,s__Predicate) &
           s__lengthOfPavedHighway(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__son__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__son__m,s__Predicate) &
           s__son(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__dateOpenedForSignature__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__dateOpenedForSignature__m,s__Predicate) &
           s__dateOpenedForSignature(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__MonitoringProgram) &
         s__instance(V__ROW4,s__Quantity) &
         s__instance(V__ROW2,s__ComputationalSystem) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__benchmarkPerformance__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__benchmarkPerformance__m,s__Predicate) &
           s__benchmarkPerformance(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__WearableItem) &
         s__instance(V__ROW2,s__Animal) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__wears__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__wears__m,s__Predicate) &
           s__wears(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__mother__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__mother__m,s__Predicate) &
           s__mother(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__IndustryAttribute) &
         s__instance(V__ROW4,s__PositiveInteger) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__industryRankByOutput__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__industryRankByOutput__m,s__Predicate) &
           s__industryRankByOutput(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__FinancialTransaction) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__transactionAmount__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__transactionAmount__m,s__Predicate) &
           s__transactionAmount(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__Holiday) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__nationalCelebration__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__nationalCelebration__m,s__Predicate) &
           s__nationalCelebration(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__fills__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__fills__m,s__Predicate) &
           s__fills(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__maternalAunt__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__maternalAunt__m,s__Predicate) &
           s__maternalAunt(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__HotelPackage) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__processInclusion__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__processInclusion__m,s__Predicate) &
           s__processInclusion(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__PermanentResidence) &
         s__instance(V__ROW2,s__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__landlord__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__landlord__m,s__Predicate) &
           s__landlord(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Radiating) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__wavelength__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__wavelength__m,s__Predicate) &
           s__wavelength(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Loan) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__borrower__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__borrower__m,s__Predicate) &
           s__borrower(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__TimePosition) &
         s__instance(V__ROW4,s__Proposition) &
         s__instance(V__ROW2,s__Proposition) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__agreementRevisionDate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__agreementRevisionDate__m,s__Predicate) &
           s__agreementRevisionDate(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Object) &
         s__instance(V__ROW2,s__Translocation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__changesLocation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__changesLocation__m,s__Predicate) &
           s__changesLocation(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__treatedUser__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__treatedUser__m,s__Predicate) &
           s__treatedUser(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__contraryAttribute__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contraryAttribute__m,s__Predicate) &
           s__contraryAttribute__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
       =>
       (s__subclass(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__Human) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__domesticPartner__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__domesticPartner__m,s__Predicate) &
           s__domesticPartner(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Computer) &
         s__instance(V__ROW2,s__ComputerProcess) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__computerRunning__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__computerRunning__m,s__Predicate) &
           s__computerRunning(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__ClimateZone) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__climateTypeInArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__climateTypeInArea__m,s__Predicate) &
           s__climateTypeInArea(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__GeopoliticalArea) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__primaryGeopoliticalSubdivision__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__primaryGeopoliticalSubdivision__m,s__Predicate) &
           s__primaryGeopoliticalSubdivision(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__Agent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__viewedItemList__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__viewedItemList__m,s__Predicate) &
           s__viewedItemList(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__reagent__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__reagent__m,s__Predicate) &
           s__reagent(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Virus) &
         s__instance(V__ROW2,s__ViralCellInvasion) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__invadingVirus__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__invadingVirus__m,s__Predicate) &
           s__invadingVirus(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__familyRelation__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__familyRelation__m,s__Predicate) &
           s__familyRelation(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__TimeInterval) &
         s__instance(V__ROW2,s__GeographicArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__hotSeasonInArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__hotSeasonInArea__m,s__Predicate) &
           s__hotSeasonInArea(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__subclass(V__ROW3,s__Object) &
         s__instance(V__ROW2,s__GeopoliticalArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__exportCommodityType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__exportCommodityType__m,s__Predicate) &
           s__exportCommodityType(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__third__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__third__m,s__Predicate) &
           s__third(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__RelationalAttribute) &
         s__instance(V__ROW2,s__MealPlan) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__includedMeal__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__includedMeal__m,s__Predicate) &
           s__includedMeal(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__WebSite) &
         s__instance(V__ROW2,s__FinancialTransaction) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__eCommerceSite__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__eCommerceSite__m,s__Predicate) &
           s__eCommerceSite(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__minDeviceStorageTemp__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__minDeviceStorageTemp__m,s__Predicate) &
           s__minDeviceStorageTemp(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__Class) &
         s__instance(V__ROW8,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__domainSubclass(s__partition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__partition__m,s__Predicate) &
           s__partition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
       =>
       (s__subclass(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__Class) &
         s__instance(V__ROW2,s__BinaryRelation) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__partialOrderingOn__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__partialOrderingOn__m,s__Predicate) &
           s__partialOrderingOn(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__conditionalProbability__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__conditionalProbability__m,s__Predicate) &
           s__conditionalProbability(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__FunctionQuantity) &
         s__instance(V__ROW2,s__SpeedGovernor) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__governorSpeed__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__governorSpeed__m,s__Predicate) &
           s__governorSpeed(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Human) &
         s__subclass(V__ROW4,s__MakingMusic) &
         s__instance(V__ROW2,s__MusicRecording) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__musician__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__musician__m,s__Predicate) &
           s__musician(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__Substance) &
         s__instance(V__ROW2,s__LandArea) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__groundSurfaceType__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__groundSurfaceType__m,s__Predicate) &
           s__groundSurfaceType(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__domainSubclass(s__hinders__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__hinders__m,s__Predicate) &
           s__hinders(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__believes__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__believes__m,s__Predicate) &
           s__believes(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW2,s__Object) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__windRelativePosition__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__windRelativePosition__m,s__Predicate) &
           s__windRelativePosition(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__lowestDecileShareOfHouseholdIncome__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__lowestDecileShareOfHouseholdIncome__m,s__Predicate) &
           s__lowestDecileShareOfHouseholdIncome(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__agreementExpirationDate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__agreementExpirationDate__m,s__Predicate) &
           s__agreementExpirationDate(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__attends__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__attends__m,s__Predicate) &
           s__attends(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Agent) &
         s__instance(V__ROW2,s__SymbolicString) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__dayPhone__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__dayPhone__m,s__Predicate) &
           s__dayPhone(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__grandparent__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__grandparent__m,s__Predicate) &
           s__grandparent(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__Agreement) &
         s__subclass(V__ROW2,s__Entity) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__negotiatedPrice__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__negotiatedPrice__m,s__Predicate) &
           s__negotiatedPrice(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(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__ROW4,s__SymbolicString) &
         s__instance(V__ROW2,s__Language) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__termFormat__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__termFormat__m,s__Predicate) &
           s__termFormat(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,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__domainSubclass(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__subclass(s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW2,s__CriminalAction) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__perpetrator__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__perpetrator__m,s__Predicate) &
           s__perpetrator(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__responseRate__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__responseRate__m,s__Predicate) &
           s__responseRate(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__ComputerProcess) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__accountUsed__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__accountUsed__m,s__Predicate) &
           s__accountUsed(V__ROW2,V__ROW3))
       =>
       (s__subclass(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__SentientAgent) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__detainedAtTimeInPlace__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__detainedAtTimeInPlace__m,s__Predicate) &
           s__detainedAtTimeInPlace(V__ROW2,V__ROW3,V__ROW4))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW2,s__Attribute) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__contraryAttribute__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__contraryAttribute__m,s__Predicate) &
           s__contraryAttribute__1(V__ROW2))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__ComputerProgram) &
         s__instance(V__ROW2,s__ShutdownBlock) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__shutdownOf__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__shutdownOf__m,s__Predicate) &
           s__shutdownOf(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   (((s__instance(V__ROW3,s__Woman) &
         s__instance(V__ROW2,s__Human) &
         s__instance(V__NUMBER,s__PositiveInteger) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__domainSubclass(s__grandmother__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__grandmother__m,s__Predicate) &
           s__grandmother(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(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__domainSubclass(s__capitalExpendituresOfArea__m,V__NUMBER,V__CLASS)
           &
           s__instance(s__capitalExpendituresOfArea__m,s__Predicate) &
           s__capitalExpendituresOfArea(V__ROW2,V__ROW3))
       =>
       (s__subclass(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
      ,V__NUMBER)
    ,V__CLASS)))))
)
)