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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - domain
domain

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


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

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

Merge.kif 232-240
s__domain(s__domain__m,1,s__Relation)

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

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

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

s__instance(s__domain__m,s__TernaryPredicate)

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

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


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

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

english_format.kif 178-178
s__termFormat(s__ChineseLanguage,s__domain__m,'定义域')

chinese_format.kif 292-292 "定义域" is the printable form of domain in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__domain__m,'domain')

domainEnglishFormat.kif 3773-3773 "domain" is the printable form of domain in english language

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


( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePoint)s__and__ms__instance(V__ROW2,s__Album)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__albumRelease__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__albumRelease__m,s__Predicate)s__and__ms__albumRelease(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__Organism)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__paternalAunt__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__paternalAunt__m,s__Predicate)s__and__ms__paternalAunt(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__totalLengthOfHighwaySystem__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__totalLengthOfHighwaySystem__m,s__Predicate)s__and__ms__totalLengthOfHighwaySystem(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Website)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__confirmedRegisteredUser__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__confirmedRegisteredUser__m,s__Predicate)s__and__ms__confirmedRegisteredUser(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeographicArea)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__deliveryRegion__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__deliveryRegion__m,s__Predicate)s__and__ms__deliveryRegion(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object)s__and__ms__instance(V__ROW2,s__Organization)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__organizationProductType__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__organizationProductType__m,s__Predicate)s__and__ms__organizationProductType(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Device)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__minDeviceStorageTemp__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__minDeviceStorageTemp__m,s__Predicate)s__and__ms__minDeviceStorageTemp(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AbstractionLevelAttribute)s__and__ms__instance(V__ROW2,s__RealtimeSystem)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__abstractionLevel__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__abstractionLevel__m,s__Predicate)s__and__ms__abstractionLevel(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Process)s__and__ms__subclass(V__ROW2,s__Process)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__typicallyContainsTemporalPart__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__typicallyContainsTemporalPart__m,s__Predicate)s__and__ms__typicallyContainsTemporalPart(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Investment)s__and__ms__instance(V__ROW4,s__CurrencyMeasure)s__and__ms__instance(V__ROW2,s__CognitiveAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__potentialLoss__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__potentialLoss__m,s__Predicate)s__and__ms__potentialLoss(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent)s__and__ms__instance(V__ROW4,s__NonnegativeInteger)s__and__ms__instance(V__ROW2,s__Organization)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__seatsHeldInOrganization__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__seatsHeldInOrganization__m,s__Predicate)s__and__ms__seatsHeldInOrganization(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__NonnegativeRealNumber)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__incomeDistributionByGiniIndexInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__incomeDistributionByGiniIndexInPeriod__m,s__Predicate)s__and__ms__incomeDistributionByGiniIndexInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__importPartnerInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__importPartnerInPeriod__m,s__Predicate)s__and__ms__importPartnerInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerProgram)s__and__ms__instance(V__ROW2,s__ComputerProcess)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__programRunning__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__programRunning__m,s__Predicate)s__and__ms__programRunning(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__DirectionalAttribute)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__surfaceWindDirection__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__surfaceWindDirection__m,s__Predicate)s__and__ms__surfaceWindDirection(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day)s__and__ms__instance(V__ROW4,s__InterestRate)s__and__ms__instance(V__ROW2,s__FinancialAccount)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__currentInterestRate__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__currentInterestRate__m,s__Predicate)s__and__ms__currentInterestRate(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical)s__and__ms__instance(V__ROW2,s__Bidding)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__objectOfBid__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__objectOfBid__m,s__Predicate)s__and__ms__objectOfBid(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__highestDecileShareOfHouseholdIncomeInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__highestDecileShareOfHouseholdIncomeInPeriod__m,s__Predicate)s__and__ms__highestDecileShareOfHouseholdIncomeInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__Class)s__and__ms__instance(V__ROW6,s__Class)s__and__ms__instance(V__ROW3,s__Class)s__and__ms__instance(V__ROW4,s__Class)s__and__ms__instance(V__ROW2,s__Class)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__disjointDecomposition__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__disjointDecomposition__m,s__Predicate)s__and__ms__disjointDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
  s__=>s__instance(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW4,V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW4,s__Language)s__and__ms__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__misspelledTitle__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__misspelledTitle__m,s__Predicate)s__and__ms__misspelledTitle(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS,V__ROW4] :
   ((s__instance(V__ROW3,s__SymbolicString)s__and__ms__instance(V__ROW2,s__CodeMap)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__codeMapping__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__codeMapping__m,s__Predicate)s__and__ms__codeMapping(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object)s__and__ms__instance(V__ROW4,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__exportCommodityTypeByRank__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__exportCommodityTypeByRank__m,s__Predicate)s__and__ms__exportCommodityTypeByRank(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__totalGDPInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__totalGDPInPeriod__m,s__Predicate)s__and__ms__totalGDPInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeopoliticalArea)s__and__ms__instance(V__ROW4,s__NonnegativeInteger)s__and__ms__instance(V__ROW2,s__MerchantMarine)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__fOCShipsByOrigin__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__fOCShipsByOrigin__m,s__Predicate)s__and__ms__fOCShipsByOrigin(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human)s__and__ms__instance(V__ROW2,s__TelecomNumber)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__personalPhoneNumber__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__personalPhoneNumber__m,s__Predicate)s__and__ms__personalPhoneNumber(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__Computer)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__numberOfCPUs__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__numberOfCPUs__m,s__Predicate)s__and__ms__numberOfCPUs(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__ContactSite)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__siteForContact__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__siteForContact__m,s__Predicate)s__and__ms__siteForContact(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Recording)s__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__produced__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__produced__m,s__Predicate)s__and__ms__produced(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Class)s__and__ms__instance(V__ROW4,s__Class)s__and__ms__instance(V__ROW2,s__Class)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__disjointDecomposition__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__disjointDecomposition__m,s__Predicate)s__and__ms__disjointDecomposition__3(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__annualRevenuesOfAreaInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__annualRevenuesOfAreaInPeriod__m,s__Predicate)s__and__ms__annualRevenuesOfAreaInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent)s__and__ms__instance(V__ROW2,s__CognitiveAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__potentialCustomer__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__potentialCustomer__m,s__Predicate)s__and__ms__potentialCustomer(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Demonstrating)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__attends__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__attends__m,s__Predicate)s__and__ms__attends(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__subclass(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__defaultMinimumSphereRadius__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__defaultMinimumSphereRadius__m,s__Predicate)s__and__ms__defaultMinimumSphereRadius(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__tributary__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__tributary__m,s__Predicate)s__and__ms__tributary(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__HotelUnit)s__and__ms__instance(V__ROW2,s__HotelReservation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__reservedRoom__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__reservedRoom__m,s__Predicate)s__and__ms__reservedRoom(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ConstantQuantity)s__and__ms__instance(V__ROW2,s__WaterArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__seaSurfaceTemperature__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__seaSurfaceTemperature__m,s__Predicate)s__and__ms__seaSurfaceTemperature(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Transitway)s__and__ms__instance(V__ROW2,s__ConstantQuantity)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__distanceOnPath__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__distanceOnPath__m,s__Predicate)s__and__ms__distanceOnPath(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__ServiceProcess)s__and__ms__instance(V__ROW2,s__RoomInventory)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__someRoomsServiceAmenity__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__someRoomsServiceAmenity__m,s__Predicate)s__and__ms__someRoomsServiceAmenity(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__NUMBER,V__CLASS,V__ROW2] :
   ((s__instance(V__ROW3,s__Formula)s__and__ms__instance(V__ROW4,s__ObjectiveNorm)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__deprivesNorm__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__deprivesNorm__m,s__Predicate)s__and__ms__deprivesNorm(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerOutputDevice)s__and__ms__instance(V__ROW2,s__ComputerProcess)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__standardErrorDevice__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__standardErrorDevice__m,s__Predicate)s__and__ms__standardErrorDevice(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__NUMBER,V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__processList__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__processList__m,s__Predicate)s__and__ms__processList__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
  s__=>s__instance(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__CognitiveAgent)s__and__ms__instance(V__ROW3,s__DeonticAttribute)s__and__ms__instance(V__ROW4,s__Agreement)s__and__ms__instance(V__ROW2,s__Proposition)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__agreementClause__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__agreementClause__m,s__Predicate)s__and__ms__agreementClause(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Organism)s__and__ms__subclass(V__ROW2,s__BiologicalAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__biologicalAgentCarrier__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__biologicalAgentCarrier__m,s__Predicate)s__and__ms__biologicalAgentCarrier(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__BankCard)s__and__ms__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__pin__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__pin__m,s__Predicate)s__and__ms__pin(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Collection)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__controlGroup__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__controlGroup__m,s__Predicate)s__and__ms__controlGroup(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__GraphPath)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__pathLength__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__pathLength__m,s__Predicate)s__and__ms__pathLength(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__relativeHumidity__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__relativeHumidity__m,s__Predicate)s__and__ms__relativeHumidity(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Satellite)s__and__ms__instance(V__ROW4,s__Integer)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__communicationSatelliteForArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__communicationSatelliteForArea__m,s__Predicate)s__and__ms__communicationSatelliteForArea(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CaseRole)s__and__ms__instance(V__ROW4,s__Process)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__playsRoleInEvent__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__playsRoleInEvent__m,s__Predicate)s__and__ms__playsRoleInEvent(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Experimenting)s__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__treatedUser__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__treatedUser__m,s__Predicate)s__and__ms__treatedUser(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SetOrClass)s__and__ms__instance(V__ROW4,s__SetOrClass)s__and__ms__instance(V__ROW2,s__SetOrClass)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__classIntersection__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__classIntersection__m,s__Predicate)s__and__ms__classIntersection(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(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__and__ms__instance(V__ROW8,s__Attribute)s__and__ms__instance(V__ROW5,s__Attribute)s__and__ms__instance(V__ROW6,s__Attribute)s__and__ms__instance(V__ROW3,s__Attribute)s__and__ms__instance(V__ROW4,s__Attribute)s__and__ms__subclass(V__ROW2,s__Attribute)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__exhaustiveAttribute__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__exhaustiveAttribute__m,s__Predicate)s__and__ms__exhaustiveAttribute__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
  s__=>s__instance(s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FunctionQuantity)s__and__ms__instance(V__ROW2,s__MusicalTone)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__soundFrequency__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__soundFrequency__m,s__Predicate)s__and__ms__soundFrequency(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Woman)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__aunt__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__aunt__m,s__Predicate)s__and__ms__aunt(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__unpaidItem__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__unpaidItem__m,s__Predicate)s__and__ms__unpaidItem(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Organization)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__executiveBranch__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__executiveBranch__m,s__Predicate)s__and__ms__executiveBranch(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__possesses__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__possesses__m,s__Predicate)s__and__ms__possesses(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__StrictnessAttribute)s__and__ms__instance(V__ROW2,s__RealtimeSystem)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__strictness__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__strictness__m,s__Predicate)s__and__ms__strictness(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__lowestDecileShareOfHouseholdIncomeInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__lowestDecileShareOfHouseholdIncomeInPeriod__m,s__Predicate)s__and__ms__lowestDecileShareOfHouseholdIncomeInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__annualElectricityProduction__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__annualElectricityProduction__m,s__Predicate)s__and__ms__annualElectricityProduction(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Loan)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__loanForPurchase__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__loanForPurchase__m,s__Predicate)s__and__ms__loanForPurchase(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PlaneAngleMeasure)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__headingWRTTrueNorth__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__headingWRTTrueNorth__m,s__Predicate)s__and__ms__headingWRTTrueNorth(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimePosition)s__and__ms__instance(V__ROW2,s__Proposition)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__dateOpenedForSignature__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__dateOpenedForSignature__m,s__Predicate)s__and__ms__dateOpenedForSignature(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Reservation)s__and__ms__instance(V__ROW2,s__TimePoint)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__reservationEnd__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__reservationEnd__m,s__Predicate)s__and__ms__reservationEnd(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__NUMBER,V__CLASS,V__ROW2] :
   ((s__instance(V__ROW3,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__externalImage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__externalImage__m,s__Predicate)s__and__ms__externalImage(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__ServiceProcess)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__serviceRecipient__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__serviceRecipient__m,s__Predicate)s__and__ms__serviceRecipient(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration)s__and__ms__instance(V__ROW4,s__ConstantQuantity)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__totalPrecipitationForPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__totalPrecipitationForPeriod__m,s__Predicate)s__and__ms__totalPrecipitationForPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePoint)s__and__ms__instance(V__ROW4,s__Agent)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__dateUsed__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__dateUsed__m,s__Predicate)s__and__ms__dateUsed(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__names__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__names__m,s__Predicate)s__and__ms__names(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Device)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__maxDeviceStorageTemp__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__maxDeviceStorageTemp__m,s__Predicate)s__and__ms__maxDeviceStorageTemp(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TelecomNumber)s__and__ms__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__telecomCode2__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__telecomCode2__m,s__Predicate)s__and__ms__telecomCode2(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__List)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__average__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__average__m,s__Predicate)s__and__ms__average(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GeographicArea)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__geographicSubregion__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__geographicSubregion__m,s__Predicate)s__and__ms__geographicSubregion(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SearchAttempt)s__and__ms__instance(V__ROW2,s__WebListing)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__searchResult__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__searchResult__m,s__Predicate)s__and__ms__searchResult(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__Process)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__result__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__result__m,s__Predicate)s__and__ms__result(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__MassMeasure)s__and__ms__instance(V__ROW2,s__WaterVehicle)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__vesselDeadWeightTonnage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__vesselDeadWeightTonnage__m,s__Predicate)s__and__ms__vesselDeadWeightTonnage(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__operator__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__operator__m,s__Predicate)s__and__ms__operator(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Recording)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__recordingLength__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__recordingLength__m,s__Predicate)s__and__ms__recordingLength(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SetOrClass)s__and__ms__instance(V__ROW2,s__BinaryRelation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__equivalenceRelationOn__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__equivalenceRelationOn__m,s__Predicate)s__and__ms__equivalenceRelationOn(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__MealPlan)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__includedMeal__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__includedMeal__m,s__Predicate)s__and__ms__includedMeal(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ConstantQuantity)s__and__ms__instance(V__ROW2,s__ComputationalSystem)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__memorySize__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__memorySize__m,s__Predicate)s__and__ms__memorySize(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Attribute)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__successorAttribute__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__successorAttribute__m,s__Predicate)s__and__ms__successorAttribute(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__UnitOfMeasure)s__and__ms__instance(V__ROW6,s__SymbolicString)s__and__ms__subclass(V__ROW3,s__ComputerComponent)s__and__ms__instance(V__ROW4,s__ComputerComponent)s__and__ms__instance(V__ROW2,s__TimePosition)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__componentDataID__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__componentDataID__m,s__Predicate)s__and__ms__componentDataID(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
  s__=>s__instance(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AstronomicalBody)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__orbits__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__orbits__m,s__Predicate)s__and__ms__orbits(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Translocation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__changesLocation__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__changesLocation__m,s__Predicate)s__and__ms__changesLocation(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW7,s__Class)s__and__ms__instance(V__ROW5,s__Class)s__and__ms__instance(V__ROW6,s__Class)s__and__ms__instance(V__ROW3,s__Class)s__and__ms__instance(V__ROW4,s__Class)s__and__ms__instance(V__ROW2,s__Class)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__partition__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__partition__m,s__Predicate)s__and__ms__partition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
  s__=>s__instance(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CorpuscularObject)s__and__ms__instance(V__ROW2,s__CorpuscularObject)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__component__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__component__m,s__Predicate)s__and__ms__component(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePosition)s__and__ms__instance(V__ROW4,s__Object)s__and__ms__instance(V__ROW2,s__SentientAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__detainedAtTimeInPlace__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__detainedAtTimeInPlace__m,s__Predicate)s__and__ms__detainedAtTimeInPlace(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human)s__and__ms__instance(V__ROW4,s__Website)s__and__ms__instance(V__ROW2,s__Collection)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__webSales__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__webSales__m,s__Predicate)s__and__ms__webSales(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agreement)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__unratifiedSignatoryToAgreement__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__unratifiedSignatoryToAgreement__m,s__Predicate)s__and__ms__unratifiedSignatoryToAgreement(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity)s__and__ms__instance(V__ROW4,s__DirectionalAttribute)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__surfaceWindVelocity__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__surfaceWindVelocity__m,s__Predicate)s__and__ms__surfaceWindVelocity(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TransitSystem)s__and__ms__instance(V__ROW2,s__Transitway)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__pathInSystem__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__pathInSystem__m,s__Predicate)s__and__ms__pathInSystem(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__WaterVehicle)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__vesselDisplacement__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__vesselDisplacement__m,s__Predicate)s__and__ms__vesselDisplacement(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__totalLengthOfRailwaySystem__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__totalLengthOfRailwaySystem__m,s__Predicate)s__and__ms__totalLengthOfRailwaySystem(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Abort)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__processAborted__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__processAborted__m,s__Predicate)s__and__ms__processAborted(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerNetwork)s__and__ms__instance(V__ROW2,s__HardwareSystem)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__defaultNetwork__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__defaultNetwork__m,s__Predicate)s__and__ms__defaultNetwork(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__IllicitDrug)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__illicitDrugProducer__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__illicitDrugProducer__m,s__Predicate)s__and__ms__illicitDrugProducer(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__domesticPartner__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__domesticPartner__m,s__Predicate)s__and__ms__domesticPartner(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__BiologicallyActiveSubstance)s__and__ms__subclass(V__ROW4,s__Process)s__and__ms__instance(V__ROW2,s__BiochemicalAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__biochemicalAgentAntidote__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__biochemicalAgentAntidote__m,s__Predicate)s__and__ms__biochemicalAgentAntidote(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__perCapitaGDPInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__perCapitaGDPInPeriod__m,s__Predicate)s__and__ms__perCapitaGDPInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FormOfGovernment)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__governmentType__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__governmentType__m,s__Predicate)s__and__ms__governmentType(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__uses__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__uses__m,s__Predicate)s__and__ms__uses(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Album)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__albumArtist__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__albumArtist__m,s__Predicate)s__and__ms__albumArtist(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human)s__and__ms__instance(V__ROW4,s__Day)s__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__weddingdate__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__weddingdate__m,s__Predicate)s__and__ms__weddingdate(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__exportTotalInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__exportTotalInPeriod__m,s__Predicate)s__and__ms__exportTotalInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW5,s__TimeInterval)s__and__ms__instance(V__ROW3,s__GeopoliticalArea)s__and__ms__instance(V__ROW4,s__PositiveRealNumber)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__importPartnerByFractionInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__importPartnerByFractionInPeriod__m,s__Predicate)s__and__ms__importPartnerByFractionInPeriod(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object)s__and__ms__instance(V__ROW4,s__Object)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__connects__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__connects__m,s__Predicate)s__and__ms__connects(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__CognitiveAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__inScopeOfInterest__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__inScopeOfInterest__m,s__Predicate)s__and__ms__inScopeOfInterest(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical)s__and__ms__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__cooccur__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__cooccur__m,s__Predicate)s__and__ms__cooccur(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__InterestRate)s__and__ms__instance(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__FinancialAccount)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__interestRatePerPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__interestRatePerPeriod__m,s__Predicate)s__and__ms__interestRatePerPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__MoleculeStructuralAttribute)s__and__ms__instance(V__ROW2,s__Molecule)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__hasMolecularStructuralAttribute__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__hasMolecularStructuralAttribute__m,s__Predicate)s__and__ms__hasMolecularStructuralAttribute(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__PricingScheme)s__and__ms__instance(V__ROW3,s__FunctionQuantity)s__and__ms__instance(V__ROW4,s__CognitiveAgent)s__and__ms__subclass(V__ROW2,s__Entity)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__unitPrice__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__unitPrice__m,s__Predicate)s__and__ms__unitPrice(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration)s__and__ms__instance(V__ROW2,s__ComputerProgram)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__settlingTime__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__settlingTime__m,s__Predicate)s__and__ms__settlingTime(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__RealtimeSystem)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__granularity__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__granularity__m,s__Predicate)s__and__ms__granularity(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__coworker__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__coworker__m,s__Predicate)s__and__ms__coworker(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Process)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__activityCapability__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__activityCapability__m,s__Predicate)s__and__ms__activityCapability(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object)s__and__ms__subclass(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__initiallyContainsPart__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__initiallyContainsPart__m,s__Predicate)s__and__ms__initiallyContainsPart(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__CurrencyMeasure)s__and__ms__instance(V__ROW3,s__Human)s__and__ms__instance(V__ROW4,s__TimeDuration)s__and__ms__instance(V__ROW2,s__Organization)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__monetaryWage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__monetaryWage__m,s__Predicate)s__and__ms__monetaryWage(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Object)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__carries__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__carries__m,s__Predicate)s__and__ms__carries(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW2,s__Relation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__domain__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__domain__m,s__Predicate)s__and__ms__domain(V__ROW2))
  s__=>s__instance(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__electricityProductionInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__electricityProductionInPeriod__m,s__Predicate)s__and__ms__electricityProductionInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePoint)s__and__ms__instance(V__ROW4,s__TimePoint)s__and__ms__instance(V__ROW2,s__TimePoint)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__temporallyBetween__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__temporallyBetween__m,s__Predicate)s__and__ms__temporallyBetween(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW4,V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW4,s__Language)s__and__ms__instance(V__ROW2,s__LinguisticExpression)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__representsInLanguage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__representsInLanguage__m,s__Predicate)s__and__ms__representsInLanguage(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite)s__and__ms__instance(V__ROW4,s__Collection)s__and__ms__instance(V__ROW2,s__TimeInterval)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__firstTimeBuyers__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__firstTimeBuyers__m,s__Predicate)s__and__ms__firstTimeBuyers(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber)s__and__ms__instance(V__ROW2,s__DiseaseOrSyndrome)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__diseaseMortality__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__diseaseMortality__m,s__Predicate)s__and__ms__diseaseMortality(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Policy)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__propertyPolicy__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__propertyPolicy__m,s__Predicate)s__and__ms__propertyPolicy(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FinancialAccount)s__and__ms__instance(V__ROW2,s__Check)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__checkAccount__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__checkAccount__m,s__Predicate)s__and__ms__checkAccount(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GUIElement)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__guiElementPartiallyCoveredBy__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__guiElementPartiallyCoveredBy__m,s__Predicate)s__and__ms__guiElementPartiallyCoveredBy(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__IndustryAttribute)s__and__ms__instance(V__ROW4,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__industryRankByOutput__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__industryRankByOutput__m,s__Predicate)s__and__ms__industryRankByOutput(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePoint)s__and__ms__instance(V__ROW2,s__Recording)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__producedOn__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__producedOn__m,s__Predicate)s__and__ms__producedOn(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__annualExportTotal__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__annualExportTotal__m,s__Predicate)s__and__ms__annualExportTotal(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW4,V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW4,s__Language)s__and__ms__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__relatedExternalConcept__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__relatedExternalConcept__m,s__Predicate)s__and__ms__relatedExternalConcept(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration)s__and__ms__instance(V__ROW2,s__ComputerPath)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__simpleDeadline__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__simpleDeadline__m,s__Predicate)s__and__ms__simpleDeadline(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__ContentBearingPhysical)s__and__ms__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__titles__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__titles__m,s__Predicate)s__and__ms__titles(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__NormativeAttribute)s__and__ms__instance(V__ROW2,s__Formula)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__modalAttribute__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__modalAttribute__m,s__Predicate)s__and__ms__modalAttribute(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__PhysicalSystem)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__dampingRatio__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__dampingRatio__m,s__Predicate)s__and__ms__dampingRatio(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__ComputerProcess)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__processID__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__processID__m,s__Predicate)s__and__ms__processID(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__NUMBER,V__CLASS,V__ROW2] :
   ((s__instance(V__ROW3,s__CognitiveAgent)s__and__ms__instance(V__ROW4,s__Contest)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__contestEntry__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__contestEntry__m,s__Predicate)s__and__ms__contestEntry(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__List)s__and__ms__instance(V__ROW2,s__ComputerProgram)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__commandLineArguments__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__commandLineArguments__m,s__Predicate)s__and__ms__commandLineArguments(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Image)s__and__ms__instance(V__ROW2,s__Album)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__albumCoverImage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__albumCoverImage__m,s__Predicate)s__and__ms__albumCoverImage(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Interest)s__and__ms__instance(V__ROW2,s__Bond)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__accruedInterest__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__accruedInterest__m,s__Predicate)s__and__ms__accruedInterest(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer)s__and__ms__subclass(V__ROW4,s__HotelUnit)s__and__ms__instance(V__ROW2,s__HotelPackage)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__roomStay__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__roomStay__m,s__Predicate)s__and__ms__roomStay(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CognitiveAgent)s__and__ms__instance(V__ROW4,s__Organization)s__and__ms__instance(V__ROW2,s__CognitiveAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__customerRepresentative__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__customerRepresentative__m,s__Predicate)s__and__ms__customerRepresentative(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula)s__and__ms__instance(V__ROW2,s__CognitiveAgent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__expects__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__expects__m,s__Predicate)s__and__ms__expects(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__NUMBER,V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__catalyst__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__catalyst__m,s__Predicate)s__and__ms__catalyst(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
  s__=>s__instance(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CaseRole)s__and__ms__instance(V__ROW4,s__Object)s__and__ms__subclass(V__ROW2,s__Process)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__capability__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__capability__m,s__Predicate)s__and__ms__capability(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__militaryExpendituresInUSDollars__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__militaryExpendituresInUSDollars__m,s__Predicate)s__and__ms__militaryExpendituresInUSDollars(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FinancialOrganization)s__and__ms__instance(V__ROW2,s__FinancialAccount)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__accountAt__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__accountAt__m,s__Predicate)s__and__ms__accountAt(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__earthAltitude__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__earthAltitude__m,s__Predicate)s__and__ms__earthAltitude(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber)s__and__ms__instance(V__ROW4,s__GeographicArea)s__and__ms__instance(V__ROW2,s__Language)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__languagePercentInRegion__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__languagePercentInRegion__m,s__Predicate)s__and__ms__languagePercentInRegion(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__annualElectricityExport__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__annualElectricityExport__m,s__Predicate)s__and__ms__annualElectricityExport(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Album)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__albumType__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__albumType__m,s__Predicate)s__and__ms__albumType(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__LegalAction)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__prosecutor__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__prosecutor__m,s__Predicate)s__and__ms__prosecutor(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Process)s__and__ms__instance(V__ROW2,s__Experimenting)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__experimentalVariableProcess__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__experimentalVariableProcess__m,s__Predicate)s__and__ms__experimentalVariableProcess(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Device)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__maxDeviceOperatingTemp__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__maxDeviceOperatingTemp__m,s__Predicate)s__and__ms__maxDeviceOperatingTemp(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Bank_FinancialOrganization)s__and__ms__subclass(V__ROW2,s__FinancialAccount)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__bankAccount__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__bankAccount__m,s__Predicate)s__and__ms__bankAccount(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AreaOfConcern)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__regionalIssue__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__regionalIssue__m,s__Predicate)s__and__ms__regionalIssue(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__laborForceTotal__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__laborForceTotal__m,s__Predicate)s__and__ms__laborForceTotal(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WearableItem)s__and__ms__instance(V__ROW2,s__Animal)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__wears__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__wears__m,s__Predicate)s__and__ms__wears(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Physical)s__and__ms__instance(V__ROW2,s__Text)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__registeredItem__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__registeredItem__m,s__Predicate)s__and__ms__registeredItem(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Collection)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__experimentalTreatmentCollection__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__experimentalTreatmentCollection__m,s__Predicate)s__and__ms__experimentalTreatmentCollection(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__Organism)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__paternalUncle__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__paternalUncle__m,s__Predicate)s__and__ms__paternalUncle(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__MilitaryUnit)s__and__ms__subclass(V__ROW2,s__MilitaryUnit)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__subEchelon__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__subEchelon__m,s__Predicate)s__and__ms__subEchelon(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__FinancialAccount)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__accountHolder__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__accountHolder__m,s__Predicate)s__and__ms__accountHolder(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula)s__and__ms__instance(V__ROW4,s__WebSite)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__visitorParameter__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__visitorParameter__m,s__Predicate)s__and__ms__visitorParameter(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__Organism)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__fathersBrothersWife__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__fathersBrothersWife__m,s__Predicate)s__and__ms__fathersBrothersWife(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__Attribute)s__and__ms__instance(V__ROW6,s__Attribute)s__and__ms__instance(V__ROW3,s__Attribute)s__and__ms__instance(V__ROW4,s__Attribute)s__and__ms__subclass(V__ROW2,s__Attribute)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__exhaustiveAttribute__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__exhaustiveAttribute__m,s__Predicate)s__and__ms__exhaustiveAttribute__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
  s__=>s__instance(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__unemploymentRateOfArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__unemploymentRateOfArea__m,s__Predicate)s__and__ms__unemploymentRateOfArea(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__ServiceProcess)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__serviceProvider__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__serviceProvider__m,s__Predicate)s__and__ms__serviceProvider(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Precipitation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__precipitationRate__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__precipitationRate__m,s__Predicate)s__and__ms__precipitationRate(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration)s__and__ms__instance(V__ROW4,s__ConstantQuantity)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__averagePrecipitationForPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__averagePrecipitationForPeriod__m,s__Predicate)s__and__ms__averagePrecipitationForPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__GUIElement)s__and__ms__instance(V__ROW2,s__UncoveringGraphicalWindow)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__guiElementUncovered__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__guiElementUncovered__m,s__Predicate)s__and__ms__guiElementUncovered(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Formula)s__and__ms__instance(V__ROW4,s__Agent)s__and__ms__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__hasPurposeForAgent__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__hasPurposeForAgent__m,s__Predicate)s__and__ms__hasPurposeForAgent(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SetOrClass)s__and__ms__instance(V__ROW2,s__BinaryRelation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__irreflexiveOn__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__irreflexiveOn__m,s__Predicate)s__and__ms__irreflexiveOn(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__LandArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__slopeGradient__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__slopeGradient__m,s__Predicate)s__and__ms__slopeGradient(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SelfConnectedObject)s__and__ms__instance(V__ROW2,s__SelfConnectedObject)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__top__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__top__m,s__Predicate)s__and__ms__top(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__NUMBER,V__CLASS,V__ROW2,V__ROW3] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__judge__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__judge__m,s__Predicate)s__and__ms__judge(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__FinancialAccount)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__originalBalance__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__originalBalance__m,s__Predicate)s__and__ms__originalBalance(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ConstantQuantity)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__otherLandUseArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__otherLandUseArea__m,s__Predicate)s__and__ms__otherLandUseArea(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Radiating)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__wavelength__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__wavelength__m,s__Predicate)s__and__ms__wavelength(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Animal)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__grasps__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__grasps__m,s__Predicate)s__and__ms__grasps(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Experimenting)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__pValue__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__pValue__m,s__Predicate)s__and__ms__pValue(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__fullName__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__fullName__m,s__Predicate)s__and__ms__fullName(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__realGrowthRateOfGDP__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__realGrowthRateOfGDP__m,s__Predicate)s__and__ms__realGrowthRateOfGDP(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__NUMBER,V__CLASS,V__ROW2] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__processList__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__processList__m,s__Predicate)s__and__ms__processList__1(V__ROW2))
  s__=>s__instance(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Collection)s__and__ms__instance(V__ROW2,s__ContentBearingObject)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__inventory__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__inventory__m,s__Predicate)s__and__ms__inventory(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger)s__and__ms__subclass(V__ROW2,s__ElementalSubstance)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__atomicNumber__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__atomicNumber__m,s__Predicate)s__and__ms__atomicNumber(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Quantity)s__and__ms__subclass(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__defaultMaximumMeasure__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__defaultMaximumMeasure__m,s__Predicate)s__and__ms__defaultMaximumMeasure(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__lengthOfBroadGaugeRailway__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__lengthOfBroadGaugeRailway__m,s__Predicate)s__and__ms__lengthOfBroadGaugeRailway(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__subclass(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__defaultMaximumHeight__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__defaultMaximumHeight__m,s__Predicate)s__and__ms__defaultMaximumHeight(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__lengthOfNaturalGasPipeline__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__lengthOfNaturalGasPipeline__m,s__Predicate)s__and__ms__lengthOfNaturalGasPipeline(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agreement)s__and__ms__instance(V__ROW2,s__ContentBearingPhysical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__recordForAgreement__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__recordForAgreement__m,s__Predicate)s__and__ms__recordForAgreement(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__elevation__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__elevation__m,s__Predicate)s__and__ms__elevation(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer)s__and__ms__instance(V__ROW2,s__Building)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__numberOfFloors__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__numberOfFloors__m,s__Predicate)s__and__ms__numberOfFloors(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Integer)s__and__ms__instance(V__ROW2,s__ComputerProgram)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__criticalityLevel__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__criticalityLevel__m,s__Predicate)s__and__ms__criticalityLevel(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__exactlyLocated__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__exactlyLocated__m,s__Predicate)s__and__ms__exactlyLocated(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day)s__and__ms__instance(V__ROW2,s__BankStatement)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__dateOfStatement__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__dateOfStatement__m,s__Predicate)s__and__ms__dateOfStatement(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__EngineeringComponent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__engineeringSubcomponent__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__engineeringSubcomponent__m,s__Predicate)s__and__ms__engineeringSubcomponent(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Interest)s__and__ms__instance(V__ROW2,s__Bond)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__couponInterest__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__couponInterest__m,s__Predicate)s__and__ms__couponInterest(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__importPartner__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__importPartner__m,s__Predicate)s__and__ms__importPartner(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Game)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__plays__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__plays__m,s__Predicate)s__and__ms__plays(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AreaMeasure)s__and__ms__instance(V__ROW2,s__Region)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__totalArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__totalArea__m,s__Predicate)s__and__ms__totalArea(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__flagDescription__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__flagDescription__m,s__Predicate)s__and__ms__flagDescription(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__colocatedAgent__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__colocatedAgent__m,s__Predicate)s__and__ms__colocatedAgent(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW5,s__TimeInterval)s__and__ms__instance(V__ROW3,s__IndustryAttribute)s__and__ms__instance(V__ROW4,s__CurrencyMeasure)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__sectorValueOfGDPInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__sectorValueOfGDPInPeriod__m,s__Predicate)s__and__ms__sectorValueOfGDPInPeriod(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration)s__and__ms__instance(V__ROW2,s__UserRequest)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__requestRate__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__requestRate__m,s__Predicate)s__and__ms__requestRate(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human)s__and__ms__instance(V__ROW4,s__Website)s__and__ms__instance(V__ROW2,s__Collection)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__webPurchases__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__webPurchases__m,s__Predicate)s__and__ms__webPurchases(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Reservation)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__reservingEntity__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__reservingEntity__m,s__Predicate)s__and__ms__reservingEntity(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Agreement)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__optionHolder__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__optionHolder__m,s__Predicate)s__and__ms__optionHolder(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Molecule)s__and__ms__instance(V__ROW2,s__Virus)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__geneticSubstrateOfVirus__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__geneticSubstrateOfVirus__m,s__Predicate)s__and__ms__geneticSubstrateOfVirus(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

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

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

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW2,s__Organism)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__mothersBrothersWife__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__mothersBrothersWife__m,s__Predicate)s__and__ms__mothersBrothersWife(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__PostalPlace)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__workAddress__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__workAddress__m,s__Predicate)s__and__ms__workAddress(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__RealNumber)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__industrialProductionGrowthRateInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__industrialProductionGrowthRateInPeriod__m,s__Predicate)s__and__ms__industrialProductionGrowthRateInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__instance(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__FinancialAccount)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__paymentsPerPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__paymentsPerPeriod__m,s__Predicate)s__and__ms__paymentsPerPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__economicAidReceivedNet__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__economicAidReceivedNet__m,s__Predicate)s__and__ms__economicAidReceivedNet(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW5,s__Agent)s__and__ms__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__instance(V__ROW4,s__CurrencyMeasure)s__and__ms__subclass(V__ROW2,s__Entity)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__priceRange__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__priceRange__m,s__Predicate)s__and__ms__priceRange(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SetOrClass)s__and__ms__instance(V__ROW2,s__SetOrClass)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__successorClass__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__successorClass__m,s__Predicate)s__and__ms__successorClass(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__NonNegativeInteger)s__and__ms__instance(V__ROW2,s__Engine)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__engineCylinders__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__engineCylinders__m,s__Predicate)s__and__ms__engineCylinders(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW5,s__TimeInterval)s__and__ms__instance(V__ROW3,s__GeopoliticalArea)s__and__ms__instance(V__ROW4,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__importPartnerByRankInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__importPartnerByRankInPeriod__m,s__Predicate)s__and__ms__importPartnerByRankInPeriod(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__coldSeasonInArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__coldSeasonInArea__m,s__Predicate)s__and__ms__coldSeasonInArea(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__NUMBER,V__CLASS,V__ROW2] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__judge__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__judge__m,s__Predicate)s__and__ms__judge(V__ROW2))
  s__=>s__instance(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite)s__and__ms__instance(V__ROW2,s__WebPage)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__homePage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__homePage__m,s__Predicate)s__and__ms__homePage(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__NUMBER,V__CLASS,V__ROW2] :
   ((s__instance(V__ROW3,s__List)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__inList__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__inList__m,s__Predicate)s__and__ms__inList(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Region)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__mapOfArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__mapOfArea__m,s__Predicate)s__and__ms__mapOfArea(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PhysicalQuantity)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__electricityExportInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__electricityExportInPeriod__m,s__Predicate)s__and__ms__electricityExportInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object)s__and__ms__subclass(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__havePartTypes__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__havePartTypes__m,s__Predicate)s__and__ms__havePartTypes(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object)s__and__ms__subclass(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__typicalPart__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__typicalPart__m,s__Predicate)s__and__ms__typicalPart(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__AreaMeasure)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__waterAreaOnly__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__waterAreaOnly__m,s__Predicate)s__and__ms__waterAreaOnly(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Region)s__and__ms__instance(V__ROW2,s__TransportationCompany)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__providesDestination__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__providesDestination__m,s__Predicate)s__and__ms__providesDestination(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__WaterVehicle)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__vesselGrossRegisteredTonnage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__vesselGrossRegisteredTonnage__m,s__Predicate)s__and__ms__vesselGrossRegisteredTonnage(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Region)s__and__ms__instance(V__ROW4,s__Region)s__and__ms__instance(V__ROW2,s__Transitway)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__routeBetween__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__routeBetween__m,s__Predicate)s__and__ms__routeBetween(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger)s__and__ms__instance(V__ROW4,s__SetOrClass)s__and__ms__instance(V__ROW2,s__Relation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__domainSubclass__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__domainSubclass__m,s__Predicate)s__and__ms__domainSubclass(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Region)s__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__baptismplace__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__baptismplace__m,s__Predicate)s__and__ms__baptismplace(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__ContentBearingPhysical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__experimentUpdate__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__experimentUpdate__m,s__Predicate)s__and__ms__experimentUpdate(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__SymbolicString)s__and__ms__instance(V__ROW4,s__GeopoliticalArea)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__chanceryAddressInArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__chanceryAddressInArea__m,s__Predicate)s__and__ms__chanceryAddressInArea(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day)s__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__birthdate__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__birthdate__m,s__Predicate)s__and__ms__birthdate(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeInterval)s__and__ms__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__anniversary__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__anniversary__m,s__Predicate)s__and__ms__anniversary(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__ComputerProgram)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__portNumber__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__portNumber__m,s__Predicate)s__and__ms__portNumber(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__MusicRecording)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__musicInterpretation__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__musicInterpretation__m,s__Predicate)s__and__ms__musicInterpretation(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW4,V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW4,s__Language)s__and__ms__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__sortingTitle__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__sortingTitle__m,s__Predicate)s__and__ms__sortingTitle(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Agent)s__and__ms__subclass(V__ROW2,s__Process)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__typicalAction__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__typicalAction__m,s__Predicate)s__and__ms__typicalAction(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__IPAddress)s__and__ms__instance(V__ROW2,s__Computer)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__ipAddressOf__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__ipAddressOf__m,s__Predicate)s__and__ms__ipAddressOf(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Agent)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__Agent)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__exportPartnerInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__exportPartnerInPeriod__m,s__Predicate)s__and__ms__exportPartnerInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Human)s__and__ms__instance(V__ROW2,s__PermanentResidence)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__homeAddress__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__homeAddress__m,s__Predicate)s__and__ms__homeAddress(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__InterestRate)s__and__ms__instance(V__ROW2,s__Day)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__primeInterestRate__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__primeInterestRate__m,s__Predicate)s__and__ms__primeInterestRate(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__List)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__identicalListItems__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__identicalListItems__m,s__Predicate)s__and__ms__identicalListItems(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__subclass(V__ROW2,s__HotelFunctionRoom)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__freeFunctionRoomAmenity__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__freeFunctionRoomAmenity__m,s__Predicate)s__and__ms__freeFunctionRoomAmenity(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TransitSystem)s__and__ms__instance(V__ROW2,s__Region)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__routeStart__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__routeStart__m,s__Predicate)s__and__ms__routeStart(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Loan)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__borrower__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__borrower__m,s__Predicate)s__and__ms__borrower(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__IllicitDrug)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__illicitDrugConsumer__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__illicitDrugConsumer__m,s__Predicate)s__and__ms__illicitDrugConsumer(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Phrase)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__grammaticalRelation__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__grammaticalRelation__m,s__Predicate)s__and__ms__grammaticalRelation(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__FinancialRequest)s__and__ms__instance(V__ROW2,s__FinancialResponse)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__financialResponseTo__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__financialResponseTo__m,s__Predicate)s__and__ms__financialResponseTo(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Transportation)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__transported__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__transported__m,s__Predicate)s__and__ms__transported(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Organization)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__aimOfOrganization__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__aimOfOrganization__m,s__Predicate)s__and__ms__aimOfOrganization(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimePosition)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__holidayTimeInArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__holidayTimeInArea__m,s__Predicate)s__and__ms__holidayTimeInArea(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__LegalSystemAttribute)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__legalSystemType__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__legalSystemType__m,s__Predicate)s__and__ms__legalSystemType(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__subclass(V__ROW4,s__TimeInterval)s__and__ms__instance(V__ROW2,s__GeopoliticalArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__externalDebtInPeriod__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__externalDebtInPeriod__m,s__Predicate)s__and__ms__externalDebtInPeriod(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration)s__and__ms__instance(V__ROW2,s__UserRequest)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__responseTime__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__responseTime__m,s__Predicate)s__and__ms__responseTime(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__TimeInterval)s__and__ms__instance(V__ROW2,s__CurrencyMeasure)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__currencyExchangePerUSDollar__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__currencyExchangePerUSDollar__m,s__Predicate)s__and__ms__currencyExchangePerUSDollar(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__MonitoringProgram)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__dataID__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__dataID__m,s__Predicate)s__and__ms__dataID(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ComputerDisplay)s__and__ms__instance(V__ROW2,s__Image)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__displayedUpon__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__displayedUpon__m,s__Predicate)s__and__ms__displayedUpon(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__WebSite)s__and__ms__instance(V__ROW4,s__Collection)s__and__ms__instance(V__ROW2,s__TimeInterval)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__firstTimeSellers__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__firstTimeSellers__m,s__Predicate)s__and__ms__firstTimeSellers(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__DirectionalAttribute)s__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__faces__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__faces__m,s__Predicate)s__and__ms__faces(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Process)s__and__ms__subclass(V__ROW2,s__Process)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__preventsSubclass__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__preventsSubclass__m,s__Predicate)s__and__ms__preventsSubclass(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__ShapeAttribute)s__and__ms__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__shape__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__shape__m,s__Predicate)s__and__ms__shape(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__NUMBER,V__CLASS,V__ROW2,V__ROW3,V__ROW4] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__judge__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__judge__m,s__Predicate)s__and__ms__judge(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Day)s__and__ms__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__date__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__date__m,s__Predicate)s__and__ms__date(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__cousin__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__cousin__m,s__Predicate)s__and__ms__cousin(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__Object)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__axis__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__axis__m,s__Predicate)s__and__ms__axis(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Quantity)s__and__ms__instance(V__ROW2,s__Quantity)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__greaterThanOrEqualTo__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__greaterThanOrEqualTo__m,s__Predicate)s__and__ms__greaterThanOrEqualTo(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__subclass(V__ROW3,s__Object)s__and__ms__instance(V__ROW4,s__Agent)s__and__ms__instance(V__ROW2,s__CurrencyMeasure)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__corkageFee__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__corkageFee__m,s__Predicate)s__and__ms__corkageFee(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__NUMBER,V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__catalyst__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__catalyst__m,s__Predicate)s__and__ms__catalyst(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
  s__=>s__instance(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TerrainAttribute)s__and__ms__instance(V__ROW2,s__GeographicArea)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__terrainInArea__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__terrainInArea__m,s__Predicate)s__and__ms__terrainInArea(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveRealNumber)s__and__ms__instance(V__ROW2,s__Computer)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__thresholdOf__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__thresholdOf__m,s__Predicate)s__and__ms__thresholdOf(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

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

( ! [V__ROW4,V__ROW2,V__NUMBER,V__CLASS,V__ROW3] :
   ((s__instance(V__ROW4,s__Language)s__and__ms__instance(V__ROW2,s__SymbolicString)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__titleInLanguage__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__titleInLanguage__m,s__Predicate)s__and__ms__titleInLanguage(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Organization)s__and__ms__instance(V__ROW2,s__HotelPackage)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__accommodationProvider__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__accommodationProvider__m,s__Predicate)s__and__ms__accommodationProvider(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Graph)s__and__ms__instance(V__ROW2,s__Graph)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__subGraph__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__subGraph__m,s__Predicate)s__and__ms__subGraph(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Position)s__and__ms__instance(V__ROW4,s__Organization)s__and__ms__instance(V__ROW2,s__Human)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__occupiesPosition__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__occupiesPosition__m,s__Predicate)s__and__ms__occupiesPosition(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositiveInteger)s__and__ms__instance(V__ROW2,s__StationaryArtifact)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__humanCapacity__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__humanCapacity__m,s__Predicate)s__and__ms__humanCapacity(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__instance(V__ROW4,s__Agent)s__and__ms__instance(V__ROW2,s__Physical)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__price__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__price__m,s__Predicate)s__and__ms__price(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(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__Class)s__and__ms__instance(V__ROW8,s__Class)s__and__ms__instance(V__ROW5,s__Class)s__and__ms__instance(V__ROW6,s__Class)s__and__ms__instance(V__ROW3,s__Class)s__and__ms__instance(V__ROW4,s__Class)s__and__ms__instance(V__ROW2,s__Class)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__disjointDecomposition__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__disjointDecomposition__m,s__Predicate)s__and__ms__disjointDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
  s__=>s__instance(s__ListOrderFn(s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW4,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__CurrencyMeasure)s__and__ms__instance(V__ROW4,s__Agreement)s__and__ms__subclass(V__ROW2,s__Entity)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__negotiatedPrice__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__negotiatedPrice__m,s__Predicate)s__and__ms__negotiatedPrice(V__ROW2,V__ROW3,V__ROW4))
  s__=>s__instance(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__TimeDuration)s__and__ms__instance(V__ROW2,s__ComputerProgram)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__dependencyDelay__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__dependencyDelay__m,s__Predicate)s__and__ms__dependencyDelay(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(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__and__ms__instance(V__ROW2,s__NonnegativeInteger)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__stringLength__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__stringLength__m,s__Predicate)s__and__ms__stringLength(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__Computer)s__and__ms__instance(V__ROW2,s__ComputerHardware)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__connectedPeripheral__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__connectedPeripheral__m,s__Predicate)s__and__ms__connectedPeripheral(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

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

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,s__PositionalAttribute)s__and__ms__instance(V__ROW2,s__PositionalAttribute)s__and__ms__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__oppositeDirection__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__oppositeDirection__m,s__Predicate)s__and__ms__oppositeDirection(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__NUMBER,V__CLASS,V__ROW2,V__ROW3] :
   ((s__instance(V__NUMBER,s__PositiveInteger)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__domain(s__catalyst__m,V__NUMBER,V__CLASS)
      s__and__ms__instance(s__catalyst__m,s__Predicate)s__and__ms__catalyst(V__ROW2,V__ROW3))
  s__=>s__instance(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,V__NUMBER)
,V__CLASS)))
)

( ! [V__ROW3,V__ROW2,V__NUMBER,V__CLASS] :
   ((s__instance(V__ROW3,